Tadeusz Prucnal
9 artykuły w 1 czasopismach
-
On Friedman's problem in mathematical logic Opublikowano w: Bulletin of the Section of Logic 1978 / Tom 7 / Numer 3 / s. 137 - 1401978CZYSTY TEKST
Tadeusz Prucnal, On Friedman's problem in mathematical logic, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 3, s. 137 - 140
BIBTEX@Article{ authors = " Tadeusz Prucnal", title = "On Friedman's problem in mathematical logic", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 3", pages = "137 - 140" }
-
On finitely E-based consequence determined by Wronski's matrix Opublikowano w: Bulletin of the Section of Logic 1985 / Tom 14 / Numer 1 / s. 15 - 181985CZYSTY TEKST
Tadeusz Prucnal, On finitely E-based consequence determined by Wronski's matrix, Bulletin of the Section of Logic, 1985 / Tom 14 / Numer 1, s. 15 - 18
BIBTEX@Article{ authors = " Tadeusz Prucnal", title = "On finitely E-based consequence determined by Wronski's matrix", journal = "Bulletin of the Section of Logic", issue = "1985 / Tom 14 / Numer 1", pages = "15 - 18" }
-
An algebraic characterization of the notion of structural completeness Opublikowano w: Bulletin of the Section of Logic 1974 / Tom 3 / Numer 1 / s. 30 - 321974CZYSTY TEKST
Tadeusz Prucnal, Andrzej Wroński, An algebraic characterization of the notion of structural completeness, Bulletin of the Section of Logic, 1974 / Tom 3 / Numer 1, s. 30 - 32
BIBTEX@Article{ authors = " Tadeusz Prucnal, Andrzej Wroński", title = "An algebraic characterization of the notion of structural completeness", journal = "Bulletin of the Section of Logic", issue = "1974 / Tom 3 / Numer 1", pages = "30 - 32" }
-
Structural completeness of some fragments of intermediate logics Opublikowano w: Bulletin of the Section of Logic 1983 / Tom 12 / Numer 1 / s. 41 - 491983CZYSTY TEKST
Tadeusz Prucnal, Structural completeness of some fragments of intermediate logics, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 1, s. 41 - 49
BIBTEX@Article{ authors = " Tadeusz Prucnal", title = "Structural completeness of some fragments of intermediate logics", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 1", pages = "41 - 49" }
-
A note on some property of purely implicational propositional calculi Opublikowano w: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 2 / s. 49 - 501990CZYSTY TEKST
Tadeusz Prucnal, A note on some property of purely implicational propositional calculi, Bulletin of the Section of Logic, 1990 / Tom 19 / Numer 2, s. 49 - 50
BIBTEX@Article{ authors = " Tadeusz Prucnal", title = "A note on some property of purely implicational propositional calculi", journal = "Bulletin of the Section of Logic", issue = "1990 / Tom 19 / Numer 2", pages = "49 - 50" }
-
Logics of relational systems Opublikowano w: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 2 / s. 58 - 601990CZYSTY TEKST
Tadeusz Prucnal, Logics of relational systems, Bulletin of the Section of Logic, 1990 / Tom 19 / Numer 2, s. 58 - 60
BIBTEX@Article{ authors = " Tadeusz Prucnal", title = "Logics of relational systems", journal = "Bulletin of the Section of Logic", issue = "1990 / Tom 19 / Numer 2", pages = "58 - 60" }
-
On finitely based consequence determined by a distributive lattice Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 2 / s. 60 - 671980CZYSTY TEKST
Kazimiera Dyrda, Tadeusz Prucnal, On finitely based consequence determined by a distributive lattice, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 2, s. 60 - 67
BIBTEX@Article{ authors = " Kazimiera Dyrda, Tadeusz Prucnal", title = "On finitely based consequence determined by a distributive lattice", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 2", pages = "60 - 67" }
-
Topological representation of atomic co-diagonalizable algebras Opublikowano w: Bulletin of the Section of Logic 1983 / Tom 12 / Numer 2 / s. 71 - 721983CZYSTY TEKST
Tadeusz Prucnal, Topological representation of atomic co-diagonalizable algebras, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 2, s. 71 - 72
BIBTEX@Article{ authors = " Tadeusz Prucnal", title = "Topological representation of atomic co-diagonalizable algebras", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 2", pages = "71 - 72" }
-
Structural completeness and the disjunction property of intermediate logics Opublikowano w: Bulletin of the Section of Logic 1975 / Tom 4 / Numer 2 / s. 72 - 731975CZYSTY TEKST
Tadeusz Prucnal, Structural completeness and the disjunction property of intermediate logics, Bulletin of the Section of Logic, 1975 / Tom 4 / Numer 2, s. 72 - 73
BIBTEX@Article{ authors = " Tadeusz Prucnal", title = "Structural completeness and the disjunction property of intermediate logics", journal = "Bulletin of the Section of Logic", issue = "1975 / Tom 4 / Numer 2", pages = "72 - 73" }
