-
A Semantics for Equational Hybrid Propositional Type Theorys. 121 - 138CZYSTY TEKST
Antonia Huertas, María Manzano, Manuel A. Martins, A Semantics for Equational Hybrid Propositional Type Theory, Bulletin of the Section of Logic, 2014 / Tom 43 / Numer 3-4, s. 121 - 138
BIBTEX@Article{ authors = " Antonia Huertas, María Manzano, Manuel A. Martins", title = "A Semantics for Equational Hybrid Propositional Type Theory", journal = "Bulletin of the Section of Logic", issue = "2014 / Tom 43 / Numer 3-4", pages = "121 - 138" }
-
Contraction Contracteds. 139 - 154CZYSTY TEKST
Andrzej Indrzejczak, Contraction Contracted, Bulletin of the Section of Logic, 2014 / Tom 43 / Numer 3-4, s. 139 - 154
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Contraction Contracted", journal = "Bulletin of the Section of Logic", issue = "2014 / Tom 43 / Numer 3-4", pages = "139 - 154" }
-
An Argument for the Existence of God by Bolzano : a formalization with a Distinction between Menge and Inbegriffs. 155 - 172CZYSTY TEKST
Kordula Świętorzecka, An Argument for the Existence of God by Bolzano : a formalization with a Distinction between Menge and Inbegriff, Bulletin of the Section of Logic, 2014 / Tom 43 / Numer 3-4, s. 155 - 172
BIBTEX@Article{ authors = " Kordula Świętorzecka", title = "An Argument for the Existence of God by Bolzano : a formalization with a Distinction between Menge and Inbegriff", journal = "Bulletin of the Section of Logic", issue = "2014 / Tom 43 / Numer 3-4", pages = "155 - 172" }
-
Paraconsistent heap : a hierarchy of mbCn-systemss. 173 - 182CZYSTY TEKST
Janusz Ciuciura, Paraconsistent heap : a hierarchy of mbCn-systems, Bulletin of the Section of Logic, 2014 / Tom 43 / Numer 3-4, s. 173 - 182
BIBTEX@Article{ authors = " Janusz Ciuciura", title = "Paraconsistent heap : a hierarchy of mbCn-systems", journal = "Bulletin of the Section of Logic", issue = "2014 / Tom 43 / Numer 3-4", pages = "173 - 182" }
-
A Note on the Adequacy of Jerzy Kalinowski's K1 Logics. 183 - 190CZYSTY TEKST
Piotr Kulicki, A Note on the Adequacy of Jerzy Kalinowski's K1 Logic, Bulletin of the Section of Logic, 2014 / Tom 43 / Numer 3-4, s. 183 - 190
BIBTEX@Article{ authors = " Piotr Kulicki", title = "A Note on the Adequacy of Jerzy Kalinowski's K1 Logic", journal = "Bulletin of the Section of Logic", issue = "2014 / Tom 43 / Numer 3-4", pages = "183 - 190" }
-
A Representation for Finite Hilbert Algebrass. 191 - 202CZYSTY TEKST
A.V. Figallo, E. Pick, S. Saad, A Representation for Finite Hilbert Algebras, Bulletin of the Section of Logic, 2014 / Tom 43 / Numer 3-4, s. 191 - 202
BIBTEX@Article{ authors = " A.V. Figallo, E. Pick, S. Saad", title = "A Representation for Finite Hilbert Algebras", journal = "Bulletin of the Section of Logic", issue = "2014 / Tom 43 / Numer 3-4", pages = "191 - 202" }
-
About Simulating Polyadic Framess. 203 - 214CZYSTY TEKST
Szymon Frankowski, About Simulating Polyadic Frames, Bulletin of the Section of Logic, 2014 / Tom 43 / Numer 3-4, s. 203 - 214
BIBTEX@Article{ authors = " Szymon Frankowski", title = "About Simulating Polyadic Frames", journal = "Bulletin of the Section of Logic", issue = "2014 / Tom 43 / Numer 3-4", pages = "203 - 214" }
