-
Characterization of Medvedev's Logic by Means of Kubinski's Framess. 83 - 90CZYSTY TEKST
Marcin Łazarz, Characterization of Medvedev's Logic by Means of Kubinski's Frames, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 1-2, s. 83 - 90
BIBTEX@Article{ authors = " Marcin Łazarz", title = "Characterization of Medvedev's Logic by Means of Kubinski's Frames", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 1-2", pages = "83 - 90" }
-
Congruences and Ideals in a Distributive Lattice with Respect to a Derivations. 1 - 10CZYSTY TEKST
Congruences and Ideals in a Distributive Lattice with Respect to a Derivation, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 1-2, s. 1 - 10
BIBTEX@Article{ authors = "", title = "Congruences and Ideals in a Distributive Lattice with Respect to a Derivation", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 1-2", pages = "1 - 10" }
-
Regular Cuts in Models of Bounded Arithmetics. 11 - 20CZYSTY TEKST
Regular Cuts in Models of Bounded Arithmetic, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 1-2, s. 11 - 20
BIBTEX@Article{ authors = "", title = "Regular Cuts in Models of Bounded Arithmetic", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 1-2", pages = "11 - 20" }
-
Atoms in a Lattice of Theoriess. 21 - 32CZYSTY TEKST
Josep Maria Font, Atoms in a Lattice of Theories, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 1-2, s. 21 - 32
BIBTEX@Article{ authors = " Josep Maria Font", title = "Atoms in a Lattice of Theories", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 1-2", pages = "21 - 32" }
-
Pseudo-BCI-Logics. 33 - 42CZYSTY TEKST
Anna Kozanecka-Dymek, Pseudo-BCI-Logic, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 1-2, s. 33 - 42
BIBTEX@Article{ authors = " Anna Kozanecka-Dymek", title = "Pseudo-BCI-Logic", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 1-2", pages = "33 - 42" }
-
A Segerberg-Like Connection Between Certain Classes of Propositional Logicss. 43 - 52CZYSTY TEKST
Krystyna Mruczek-Nasieniewska, Marek Nasieniewski, A Segerberg-Like Connection Between Certain Classes of Propositional Logics, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 1-2, s. 43 - 52
BIBTEX@Article{ authors = " Krystyna Mruczek-Nasieniewska, Marek Nasieniewski", title = "A Segerberg-Like Connection Between Certain Classes of Propositional Logics", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 1-2", pages = "43 - 52" }
-
On Some Application of the Concept of Residuated Pair of Mappingss. 53 - 68CZYSTY TEKST
Marek Nowak, On Some Application of the Concept of Residuated Pair of Mappings, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 1-2, s. 53 - 68
BIBTEX@Article{ authors = " Marek Nowak", title = "On Some Application of the Concept of Residuated Pair of Mappings", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 1-2", pages = "53 - 68" }
-
Closure Extended Double Stone Algebrass. 69 - 82CZYSTY TEKST
Closure Extended Double Stone Algebras, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 1-2, s. 69 - 82
BIBTEX@Article{ authors = "", title = "Closure Extended Double Stone Algebras", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 1-2", pages = "69 - 82" }