-
A simple Henkin-style completeness proof for Gödel 3-valued logic G3s. 371 - 390CZYSTY TEKST
Gemma Robles, A simple Henkin-style completeness proof for Gödel 3-valued logic G3, Logic and Logical Philosophy, 2014 / Tom 23 / Numer 4, s. 371 - 390
BIBTEX@Article{ authors = " Gemma Robles", title = "A simple Henkin-style completeness proof for Gödel 3-valued logic G3", journal = "Logic and Logical Philosophy", issue = "2014 / Tom 23 / Numer 4", pages = "371 - 390" }
-
Computability and human symbolic outputs. 391 - 401CZYSTY TEKST
Jason Megill, Tim Melvin, Computability and human symbolic output, Logic and Logical Philosophy, 2014 / Tom 23 / Numer 4, s. 391 - 401
BIBTEX@Article{ authors = " Jason Megill, Tim Melvin", title = "Computability and human symbolic output", journal = "Logic and Logical Philosophy", issue = "2014 / Tom 23 / Numer 4", pages = "391 - 401" }
-
The logic of causal propositionss. 403 - 448CZYSTY TEKST
Stanisław Kiczuk, The logic of causal propositions, Logic and Logical Philosophy, 2014 / Tom 23 / Numer 4, s. 403 - 448
BIBTEX@Article{ authors = " Stanisław Kiczuk", title = "The logic of causal propositions", journal = "Logic and Logical Philosophy", issue = "2014 / Tom 23 / Numer 4", pages = "403 - 448" }
-
Pragmatic and dialogic interpretations of bi-intuitionism : Part Is. 449 - 480CZYSTY TEKST
Massimiliano Carrara, Daniele Chiffi, Gianluigi Bellin Massimiliano Carrara, Daniele Chiffi, Alessandro Menti, Alessandro Menti, Pragmatic and dialogic interpretations of bi-intuitionism : Part I, Logic and Logical Philosophy, 2014 / Tom 23 / Numer 4, s. 449 - 480
BIBTEX@Article{ authors = " Massimiliano Carrara, Daniele Chiffi, Gianluigi Bellin Massimiliano Carrara, Daniele Chiffi, Alessandro Menti, Alessandro Menti", title = "Pragmatic and dialogic interpretations of bi-intuitionism : Part I", journal = "Logic and Logical Philosophy", issue = "2014 / Tom 23 / Numer 4", pages = "449 - 480" }
-
Three-element non-finitely axiomatizable matrices and term-equivalences. 481 - 497CZYSTY TEKST
Katarzyna Pałasińska, Three-element non-finitely axiomatizable matrices and term-equivalence, Logic and Logical Philosophy, 2014 / Tom 23 / Numer 4, s. 481 - 497
BIBTEX@Article{ authors = " Katarzyna Pałasińska", title = "Three-element non-finitely axiomatizable matrices and term-equivalence", journal = "Logic and Logical Philosophy", issue = "2014 / Tom 23 / Numer 4", pages = "481 - 497" }
-
"One: Being an Investigation into the Unity of Reality and of its Parts", Graham Priest, [b.m.] 2014 : [recenzja]s. 499 - 508CZYSTY TEKST
Filippo Casati, Naoya Fujikawa, Graham Priest, "One: Being an Investigation into the Unity of Reality and of its Parts", Graham Priest, [b.m.] 2014 : [recenzja], Logic and Logical Philosophy, 2014 / Tom 23 / Numer 4, s. 499 - 508
BIBTEX@Article{ authors = " Filippo Casati, Naoya Fujikawa, Graham Priest", title = ""One: Being an Investigation into the Unity of Reality and of its Parts", Graham Priest, [b.m.] 2014 : [recenzja]", journal = "Logic and Logical Philosophy", issue = "2014 / Tom 23 / Numer 4", pages = "499 - 508" }
-
Acknowledgmentss. 509 - 510CZYSTY TEKST
Acknowledgments, Logic and Logical Philosophy, 2014 / Tom 23 / Numer 4, s. 509 - 510
BIBTEX@Article{ authors = "", title = "Acknowledgments", journal = "Logic and Logical Philosophy", issue = "2014 / Tom 23 / Numer 4", pages = "509 - 510" }
-
Contents of Volume 23s. 511 - 512CZYSTY TEKST
Contents of Volume 23, Logic and Logical Philosophy, 2014 / Tom 23 / Numer 4, s. 511 - 512
BIBTEX@Article{ authors = "", title = "Contents of Volume 23", journal = "Logic and Logical Philosophy", issue = "2014 / Tom 23 / Numer 4", pages = "511 - 512" }
