-
Kleene Logic and Inferences. 43 - 52CZYSTY TEKST
Grzegorz Malinowski, Kleene Logic and Inference, Bulletin of the Section of Logic, 2014 / Tom 43 / Numer 1-2, s. 43 - 52
BIBTEX@Article{ authors = " Grzegorz Malinowski", title = "Kleene Logic and Inference", journal = "Bulletin of the Section of Logic", issue = "2014 / Tom 43 / Numer 1-2", pages = "43 - 52" }
-
On Some Logic with a Relation Imposed on Formulae: Tableau System Fs. 53 - 72CZYSTY TEKST
Tomasz Jarmużek, Bartosz Jerzy Kaczkowski, On Some Logic with a Relation Imposed on Formulae: Tableau System F, Bulletin of the Section of Logic, 2014 / Tom 43 / Numer 1-2, s. 53 - 72
BIBTEX@Article{ authors = " Tomasz Jarmużek, Bartosz Jerzy Kaczkowski", title = "On Some Logic with a Relation Imposed on Formulae: Tableau System F", journal = "Bulletin of the Section of Logic", issue = "2014 / Tom 43 / Numer 1-2", pages = "53 - 72" }
-
Modal Sense of the Classical Concepts Reason for the Existence of Beingss. 73 - 98CZYSTY TEKST
Edward Nieznański, Modal Sense of the Classical Concepts Reason for the Existence of Beings, Bulletin of the Section of Logic, 2014 / Tom 43 / Numer 1-2, s. 73 - 98
BIBTEX@Article{ authors = " Edward Nieznański", title = "Modal Sense of the Classical Concepts Reason for the Existence of Beings", journal = "Bulletin of the Section of Logic", issue = "2014 / Tom 43 / Numer 1-2", pages = "73 - 98" }
-
Minimal Sequent Calculi for Monotonic Chain Finitely-Valued Logicss. 99 - 112CZYSTY TEKST
Alexej Pynko, Minimal Sequent Calculi for Monotonic Chain Finitely-Valued Logics, Bulletin of the Section of Logic, 2014 / Tom 43 / Numer 1-2, s. 99 - 112
BIBTEX@Article{ authors = " Alexej Pynko", title = "Minimal Sequent Calculi for Monotonic Chain Finitely-Valued Logics", journal = "Bulletin of the Section of Logic", issue = "2014 / Tom 43 / Numer 1-2", pages = "99 - 112" }
-
Semantics for Słupecki's System of Syllogistics. 113 - 119CZYSTY TEKST
Mitio Takano, Semantics for Słupecki's System of Syllogistic, Bulletin of the Section of Logic, 2014 / Tom 43 / Numer 1-2, s. 113 - 119
BIBTEX@Article{ authors = " Mitio Takano", title = "Semantics for Słupecki's System of Syllogistic", journal = "Bulletin of the Section of Logic", issue = "2014 / Tom 43 / Numer 1-2", pages = "113 - 119" }
-
On a Four-Valued Modal Logic with Deductive Implications. 1 - 18CZYSTY TEKST
On a Four-Valued Modal Logic with Deductive Implication, Bulletin of the Section of Logic, 2014 / Tom 43 / Numer 1-2, s. 1 - 18
BIBTEX@Article{ authors = "", title = "On a Four-Valued Modal Logic with Deductive Implication", journal = "Bulletin of the Section of Logic", issue = "2014 / Tom 43 / Numer 1-2", pages = "1 - 18" }
-
Models of Cubic Theoriess. 19 - 34CZYSTY TEKST
Models of Cubic Theories, Bulletin of the Section of Logic, 2014 / Tom 43 / Numer 1-2, s. 19 - 34
BIBTEX@Article{ authors = "", title = "Models of Cubic Theories", journal = "Bulletin of the Section of Logic", issue = "2014 / Tom 43 / Numer 1-2", pages = "19 - 34" }
-
New Characterization of Skeleton of Finite Distributive Lattices. 35 - 42CZYSTY TEKST
New Characterization of Skeleton of Finite Distributive Lattice, Bulletin of the Section of Logic, 2014 / Tom 43 / Numer 1-2, s. 35 - 42
BIBTEX@Article{ authors = "", title = "New Characterization of Skeleton of Finite Distributive Lattice", journal = "Bulletin of the Section of Logic", issue = "2014 / Tom 43 / Numer 1-2", pages = "35 - 42" }
