-
Generalized Kripke modelss. 3 - 6CZYSTY TEKST
Bernd Dahn, Generalized Kripke models, Bulletin of the Section of Logic, 1974 / Tom 3 / Numer 1, s. 3 - 6
BIBTEX@Article{ authors = " Bernd Dahn", title = "Generalized Kripke models", journal = "Bulletin of the Section of Logic", issue = "1974 / Tom 3 / Numer 1", pages = "3 - 6" }
-
A note on generalized Kripke modelss. 8 - 10CZYSTY TEKST
Bernd Dahn, A note on generalized Kripke models, Bulletin of the Section of Logic, 1974 / Tom 3 / Numer 1, s. 8 - 10
BIBTEX@Article{ authors = " Bernd Dahn", title = "A note on generalized Kripke models", journal = "Bulletin of the Section of Logic", issue = "1974 / Tom 3 / Numer 1", pages = "8 - 10" }
-
EN-logics. 13CZYSTY TEKST
Aileen Michaels, Roman Suszko, EN-logic, Bulletin of the Section of Logic, 1974 / Tom 3 / Numer 1, s. 13
BIBTEX@Article{ authors = " Aileen Michaels, Roman Suszko", title = "EN-logic", journal = "Bulletin of the Section of Logic", issue = "1974 / Tom 3 / Numer 1", pages = "13" }
-
EN-semi-modelss. 14 - 15CZYSTY TEKST
Aileen Michaels, EN-semi-models, Bulletin of the Section of Logic, 1974 / Tom 3 / Numer 1, s. 14 - 15
BIBTEX@Article{ authors = " Aileen Michaels", title = "EN-semi-models", journal = "Bulletin of the Section of Logic", issue = "1974 / Tom 3 / Numer 1", pages = "14 - 15" }
-
Dual spaces for topological Boolean algebrass. 16 - 18CZYSTY TEKST
R. Quackenbush, R. Suszko, Dual spaces for topological Boolean algebras, Bulletin of the Section of Logic, 1974 / Tom 3 / Numer 1, s. 16 - 18
BIBTEX@Article{ authors = " R. Quackenbush, R. Suszko", title = "Dual spaces for topological Boolean algebras", journal = "Bulletin of the Section of Logic", issue = "1974 / Tom 3 / Numer 1", pages = "16 - 18" }
-
A note on intuitionistic sentential calculus (ISC)s. 20 - 21CZYSTY TEKST
Roman Suszko, A note on intuitionistic sentential calculus (ISC), Bulletin of the Section of Logic, 1974 / Tom 3 / Numer 1, s. 20 - 21
BIBTEX@Article{ authors = " Roman Suszko", title = "A note on intuitionistic sentential calculus (ISC)", journal = "Bulletin of the Section of Logic", issue = "1974 / Tom 3 / Numer 1", pages = "20 - 21" }
-
Binary functions definable in implicational Goedel algebrass. 22 - 24CZYSTY TEKST
Marek Tokarz, Binary functions definable in implicational Goedel algebras, Bulletin of the Section of Logic, 1974 / Tom 3 / Numer 1, s. 22 - 24
BIBTEX@Article{ authors = " Marek Tokarz", title = "Binary functions definable in implicational Goedel algebras", journal = "Bulletin of the Section of Logic", issue = "1974 / Tom 3 / Numer 1", pages = "22 - 24" }
-
Uber dem Begriff der Theories. 25 - 28CZYSTY TEKST
August Pieczkowski, Uber dem Begriff der Theorie, Bulletin of the Section of Logic, 1974 / Tom 3 / Numer 1, s. 25 - 28
BIBTEX@Article{ authors = " August Pieczkowski", title = "Uber dem Begriff der Theorie", journal = "Bulletin of the Section of Logic", issue = "1974 / Tom 3 / Numer 1", pages = "25 - 28" }
-
An algebraic characterization of the notion of structural completenesss. 30 - 32CZYSTY 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" }
-
On cardinality of matrices strongly adequate for the intuitionistic propositional logics. 34 - 38CZYSTY TEKST
Andrzej Wroński, On cardinality of matrices strongly adequate for the intuitionistic propositional logic, Bulletin of the Section of Logic, 1974 / Tom 3 / Numer 1, s. 34 - 38
BIBTEX@Article{ authors = " Andrzej Wroński", title = "On cardinality of matrices strongly adequate for the intuitionistic propositional logic", journal = "Bulletin of the Section of Logic", issue = "1974 / Tom 3 / Numer 1", pages = "34 - 38" }
-
Propositional calculi based on subresiduations. 41 - 42CZYSTY TEKST
George Epstein, Alfred Horn, Propositional calculi based on subresiduation, Bulletin of the Section of Logic, 1974 / Tom 3 / Numer 1, s. 41 - 42
BIBTEX@Article{ authors = " George Epstein, Alfred Horn", title = "Propositional calculi based on subresiduation", journal = "Bulletin of the Section of Logic", issue = "1974 / Tom 3 / Numer 1", pages = "41 - 42" }
-
Finite limitations on a propositional calculus for affirmation and negations. 43 - 44CZYSTY TEKST
George Epstein, Alfred Horn, Finite limitations on a propositional calculus for affirmation and negation, Bulletin of the Section of Logic, 1974 / Tom 3 / Numer 1, s. 43 - 44
BIBTEX@Article{ authors = " George Epstein, Alfred Horn", title = "Finite limitations on a propositional calculus for affirmation and negation", journal = "Bulletin of the Section of Logic", issue = "1974 / Tom 3 / Numer 1", pages = "43 - 44" }
-
Partial Boolean σ-algebrass. 45 - 48CZYSTY TEKST
Janusz Czelakowski, Partial Boolean σ-algebras, Bulletin of the Section of Logic, 1974 / Tom 3 / Numer 1, s. 45 - 48
BIBTEX@Article{ authors = " Janusz Czelakowski", title = "Partial Boolean σ-algebras", journal = "Bulletin of the Section of Logic", issue = "1974 / Tom 3 / Numer 1", pages = "45 - 48" }
