Picollo, Lavinia; Schindler, Thomas Higher-order logic and disquotational truth. (English) Zbl 07557917 J. Philos. Log. 51, No. 4, 879-918 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{L. Picollo} and \textit{T. Schindler}, J. Philos. Log. 51, No. 4, 879--918 (2022; Zbl 07557917) Full Text: DOI OpenURL
Hsiung, Ming Designing paradoxes: a revision-theoretic approach. (English) Zbl 07557913 J. Philos. Log. 51, No. 4, 739-789 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{M. Hsiung}, J. Philos. Log. 51, No. 4, 739--789 (2022; Zbl 07557913) Full Text: DOI OpenURL
Hayashi, Daichi On cut-elimination arguments for axiomatic theories of truth. (English) Zbl 07535458 Stud. Log. 110, No. 3, 785-818 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{D. Hayashi}, Stud. Log. 110, No. 3, 785--818 (2022; Zbl 07535458) Full Text: DOI OpenURL
Castaldo, Luca Fixed-point models for paradoxical predicates. (English) Zbl 07458048 Australas. J. Log. 18, No. 7, 688-723 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{L. Castaldo}, Australas. J. Log. 18, No. 7, 688--723 (2021; Zbl 07458048) Full Text: DOI OpenURL
Cramer, Marcos Paracomplete truth theory with KFS-definable determinateness. (English) Zbl 07451584 J. Log. Comput. 31, No. 8, 2218-2239 (2021). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{M. Cramer}, J. Log. Comput. 31, No. 8, 2218--2239 (2021; Zbl 07451584) Full Text: DOI OpenURL
Hsiung, Ming Solovay functions and paradoxes. (English) Zbl 07451580 J. Log. Comput. 31, No. 8, 2107-2132 (2021). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{M. Hsiung}, J. Log. Comput. 31, No. 8, 2107--2132 (2021; Zbl 07451580) Full Text: DOI OpenURL
Belikov, Alex Peirce’s triadic logic and its (overlooked) connexive expansion. (English) Zbl 07437993 Log. Log. Philos. 30, No. 3, 535-559 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{A. Belikov}, Log. Log. Philos. 30, No. 3, 535--559 (2021; Zbl 07437993) Full Text: DOI OpenURL
Davey, Kevin A note on the unprovability of consistency in formal theories of truth. (English) Zbl 07437459 J. Philos. Log. 50, No. 6, 1313-1340 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{K. Davey}, J. Philos. Log. 50, No. 6, 1313--1340 (2021; Zbl 07437459) Full Text: DOI OpenURL
Bolotin, Arkady Wave-particle duality and the objectiveness of “true” and “false”. (English) Zbl 07422296 Found. Phys. 51, No. 4, Paper No. 78, 27 p. (2021). MSC: 81Pxx 03Bxx 03-XX 03Gxx 00Axx PDF BibTeX XML Cite \textit{A. Bolotin}, Found. Phys. 51, No. 4, Paper No. 78, 27 p. (2021; Zbl 07422296) Full Text: DOI arXiv OpenURL
Henderson, Jared Truth and gradability. (English) Zbl 07413736 J. Philos. Log. 50, No. 4, 755-779 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{J. Henderson}, J. Philos. Log. 50, No. 4, 755--779 (2021; Zbl 07413736) Full Text: DOI OpenURL
Lin, Qiqing; Liu, Hu Comparing more revision and fixed-point theories of truth. (English) Zbl 07413732 J. Philos. Log. 50, No. 4, 615-671 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{Q. Lin} and \textit{H. Liu}, J. Philos. Log. 50, No. 4, 615--671 (2021; Zbl 07413732) Full Text: DOI OpenURL
Florio, Salvatore; Nicolas, David Plurals and mereology. (English) Zbl 07365447 J. Philos. Log. 50, No. 3, 415-445 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{S. Florio} and \textit{D. Nicolas}, J. Philos. Log. 50, No. 3, 415--445 (2021; Zbl 07365447) Full Text: DOI OpenURL
Nielsen, Michael Convergence to the truth without countable additivity. (English) Zbl 07345741 J. Philos. Log. 50, No. 2, 395-414 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{M. Nielsen}, J. Philos. Log. 50, No. 2, 395--414 (2021; Zbl 07345741) Full Text: DOI OpenURL
Hsiung, Ming Unwinding modal paradoxes on digraphs. (English) Zbl 07345739 J. Philos. Log. 50, No. 2, 319-362 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{M. Hsiung}, J. Philos. Log. 50, No. 2, 319--362 (2021; Zbl 07345739) Full Text: DOI OpenURL
Stuhlmann-Laeisz, Rainer Gottlob Frege’s Basic laws of arithmetic. A commentary on the foreword, the afterword and the introductory paragraphs. (Gottlob Freges Grundgesetze der Arithmetik. Ein Kommentar des Vorworts, des Nachworts und der einleitenden Paragrafen.) (German) Zbl 1481.01035 Münster: Mentis Verlag (ISBN 978-3-95743-160-8/pbk; 978-3-95743-717-4/ebook). 163 p. (2020). Reviewer: Volker Peckhaus (Paderborn) MSC: 01A75 03-03 01A55 01A60 03A05 00A30 PDF BibTeX XML Cite \textit{R. Stuhlmann-Laeisz}, Gottlob Freges \textit{Grundgesetze der Arithmetik}. Ein Kommentar des Vorworts, des Nachworts und der einleitenden Paragrafen. Münster: Mentis Verlag (2020; Zbl 1481.01035) Full Text: DOI OpenURL
Downey, Rodney G.; Ng, Keng Meng; Solomon, Reed Minimal weak truth table degrees and computably enumerable Turing degrees. (English) Zbl 1460.03002 Memoirs of the American Mathematical Society 1284. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4162-3/pbk; 978-1-4704-6136-2/ebook). vii, 90 p. (2020). Reviewer: Patrizio Cintioli (Camerino) MSC: 03-02 03D25 03D28 03D30 PDF BibTeX XML Cite \textit{R. G. Downey} et al., Minimal weak truth table degrees and computably enumerable Turing degrees. Providence, RI: American Mathematical Society (AMS) (2020; Zbl 1460.03002) Full Text: DOI OpenURL
Zou, Li; Gao, Yunhui; Liu, Qingkun; Liu, Xin An approach for decision making with linguistic intuitionistic fuzzy interval value. (English) Zbl 1452.03126 J. Mult.-Val. Log. Soft Comput. 33, No. 4-5, 341-362 (2019). MSC: 03E72 03G10 03G25 91B06 91B86 PDF BibTeX XML Cite \textit{L. Zou} et al., J. Mult.-Val. Log. Soft Comput. 33, No. 4--5, 341--362 (2019; Zbl 1452.03126) Full Text: Link OpenURL
Garfield, Jay L. Belnap and Nāgārjuna on how computers and sentient beings should think: truth, trust and the catuṣkoṭi. (English) Zbl 1469.03016 Omori, Hitoshi (ed.) et al., New essays on Belnap-Dunn logic. Cham: Springer. Synth. Libr. 418, 147-153 (2019). MSC: 03A05 03B50 03B47 03B53 03-03 01A32 PDF BibTeX XML Cite \textit{J. L. Garfield}, Synth. Libr. 418, 147--153 (2019; Zbl 1469.03016) Full Text: DOI OpenURL
Clay, Graham Aristotle’s argument from truth in Metaphysics \(\Gamma 4\). (English) Zbl 1428.03011 Analysis, Oxf. 79, No. 1, 17-24 (2018). MSC: 03A05 03-03 01A20 PDF BibTeX XML Cite \textit{G. Clay}, Analysis, Oxf. 79, No. 1, 17--24 (2019; Zbl 1428.03011) Full Text: DOI OpenURL
Woleński, Jan Semantics and truth. (English) Zbl 1454.03007 Logic, Epistemology, and the Unity of Science 45. Cham: Springer (ISBN 978-3-030-24535-1/hbk; 978-3-030-24536-8/ebook). xxiii, 375 p. (2019). Reviewer: Branislav Boričić (Beograd) MSC: 03-02 03-03 03A05 01A60 PDF BibTeX XML Cite \textit{J. Woleński}, Semantics and truth. Cham: Springer (2019; Zbl 1454.03007) Full Text: DOI OpenURL
Mojtahedi, Mojtaba Localizing finite-depth Kripke models. (English) Zbl 07067260 Log. J. IGPL 27, No. 3, 239-251 (2019). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{M. Mojtahedi}, Log. J. IGPL 27, No. 3, 239--251 (2019; Zbl 07067260) Full Text: DOI arXiv OpenURL
Gottwald, Siegfried Fuzzy logic and the Linz seminar: themes and some personal reminiscences. (English) Zbl 1429.03003 Saminger-Platz, Susanne (ed.) et al., On logical, algebraic, and probabilistic aspects of fuzzy set theory. Cham: Springer. Stud. Fuzziness Soft Comput. 336, 1-11 (2018). MSC: 03-03 03B52 03E72 01A60 PDF BibTeX XML Cite \textit{S. Gottwald}, Stud. Fuzziness Soft Comput. 336, 1--11 (2018; Zbl 1429.03003) Full Text: DOI OpenURL
Kopylova, Anastasiya Olegovna Tense propositions in W. Ockham’s logic. (Russian. English summary) Zbl 1431.03016 Log. Issled. 24, No. 1, 99-114 (2018). MSC: 03A05 03B44 03-03 01A35 PDF BibTeX XML Cite \textit{A. O. Kopylova}, Log. Issled. 24, No. 1, 99--114 (2018; Zbl 1431.03016) Full Text: DOI OpenURL
Woleński, Jan Some philosophical aspects of semantic theory of truth. (English) Zbl 1406.03031 Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser (ISBN 978-3-319-65429-4/hbk; 978-3-319-65430-0/ebook). Studies in Universal Logic, 373-389 (2018). MSC: 03A05 03-03 01A60 PDF BibTeX XML Cite \textit{J. Woleński}, in: The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. 373--389 (2018; Zbl 1406.03031) Full Text: DOI OpenURL
Woleński, Jan In memoriam: Alfred Tarski (1901–1983). (English) Zbl 1405.01028 Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser (ISBN 978-3-319-65429-4/hbk; 978-3-319-65430-0/ebook). Studies in Universal Logic, 361-371 (2018). MSC: 01A60 01A70 03-03 PDF BibTeX XML Cite \textit{J. Woleński}, in: The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. 361--371 (2018; Zbl 1405.01028) Full Text: DOI OpenURL
Kublikowski, Robert What is reasoning? (English) Zbl 1406.03028 Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser (ISBN 978-3-319-65429-4/hbk; 978-3-319-65430-0/ebook). Studies in Universal Logic, 153-163 (2018). MSC: 03A05 03B65 03B42 03-03 01A60 PDF BibTeX XML Cite \textit{R. Kublikowski}, in: The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. 153--163 (2018; Zbl 1406.03028) Full Text: DOI OpenURL
Łukasiewicz, Dariusz Tadeusz Czeżowski’s theory of knowledge and beliefs. (English) Zbl 1406.03012 Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser (ISBN 978-3-319-65429-4/hbk; 978-3-319-65430-0/ebook). Studies in Universal Logic, 137-152 (2018). MSC: 03-03 03B42 01A60 01A70 PDF BibTeX XML Cite \textit{D. Łukasiewicz}, in: The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. 137--152 (2018; Zbl 1406.03012) Full Text: DOI OpenURL
Kannisto, Toni Kant and Frege on existence. (English) Zbl 1398.03023 Synthese 195, No. 8, 3407-3432 (2018). MSC: 03A05 03-03 01A50 01A55 PDF BibTeX XML Cite \textit{T. Kannisto}, Synthese 195, No. 8, 3407--3432 (2018; Zbl 1398.03023) Full Text: DOI OpenURL
Beall, Jc; Glanzberg, Michael; Ripley, David Formal theories of truth. (English) Zbl 1400.03003 Oxford: Oxford University Press (ISBN 978-0-19-881567-9/hbk; 978-0-19-881568-6/pbk). xii, 138 p. (2018). Reviewer: Louis F. Goble (Salem) MSC: 03-02 03A05 00A30 PDF BibTeX XML Cite \textit{J. Beall} et al., Formal theories of truth. Oxford: Oxford University Press (2018; Zbl 1400.03003) OpenURL
Martino, Enrico Intuitionistic proof versus classical truth. The role of Brouwer’s creative subject in intuitionistic mathematics. (English) Zbl 1390.03004 Logic, Epistemology, and the Unity of Science 42. Cham: Springer (ISBN 978-3-319-74356-1/hbk; 978-3-319-74357-8/ebook). xiii, 170 p. (2018). Reviewer: Roman Murawski (Poznań) MSC: 03-02 03A05 00A30 03F50 PDF BibTeX XML Cite \textit{E. Martino}, Intuitionistic proof versus classical truth. The role of Brouwer's creative subject in intuitionistic mathematics. Cham: Springer (2018; Zbl 1390.03004) Full Text: DOI OpenURL
Toffalori, Carlo H for Hilbert. …and M for mathematics. (English) Zbl 1435.03011 Lett. Mat., Int. Ed. 5, No. 2, 119-123 (2017). MSC: 03-03 01A60 PDF BibTeX XML Cite \textit{C. Toffalori}, Lett. Mat., Int. Ed. 5, No. 2, 119--123 (2017; Zbl 1435.03011) Full Text: DOI OpenURL
Leonesi, Stefano; Toffalori, Carlo Logic on trial. (English) Zbl 1435.03020 Lett. Mat., Int. Ed. 4, No. 3-4, 141-150 (2017). MSC: 03A05 00A30 PDF BibTeX XML Cite \textit{S. Leonesi} and \textit{C. Toffalori}, Lett. Mat., Int. Ed. 4, No. 3--4, 141--150 (2017; Zbl 1435.03020) Full Text: DOI OpenURL
Wagner, Pierre Carnapian and Tarskian semantics. (English) Zbl 1417.03037 Synthese 194, No. 1, 97-119 (2017). MSC: 03-03 03A05 01A60 PDF BibTeX XML Cite \textit{P. Wagner}, Synthese 194, No. 1, 97--119 (2017; Zbl 1417.03037) Full Text: DOI OpenURL
Eastaugh, Benedict Tarski. (English) Zbl 1386.03002 Malpass, Alex (ed.) et al., The history of philosophical and formal logic. From Aristotle to Tarski. New York, NY: Bloomsbury Academic (ISBN 978-1-4725-1350-2/hbk). 293-313 (2017). Reviewer: Roman Murawski (Poznań) MSC: 03-03 01A60 01A70 03A05 03B25 PDF BibTeX XML Cite \textit{B. Eastaugh}, in: The history of philosophical and formal logic. From Aristotle to Tarski. New York, NY: Bloomsbury Academic. 293--313 (2017; Zbl 1386.03002) OpenURL
Polkowski, Lech T. From Łeśniewski, Łukasiewicz, Tarski to Pawlak: enriching rough set based data analysis. A retrospective survey. (English) Zbl 1387.68007 Fundam. Inform. 154, No. 1-4, 343-358 (2017). MSC: 68-03 03-03 03E72 68T37 PDF BibTeX XML Cite \textit{L. T. Polkowski}, Fundam. Inform. 154, No. 1--4, 343--358 (2017; Zbl 1387.68007) Full Text: DOI OpenURL
Mostowski, Marcin; Czarnecki, Marek Concrete mathematics. finitistic approach to foundations. (English) Zbl 06820475 Kennedy, Juliette (ed.) et al., Logic, language, information, and computation. 24th international workshop, WoLLIC 2017, London, UK, July 18–21, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10388, 271-280 (2017). MSC: 03-XX PDF BibTeX XML Cite \textit{M. Mostowski} and \textit{M. Czarnecki}, Lect. Notes Comput. Sci. 10388, 271--280 (2017; Zbl 06820475) Full Text: DOI OpenURL
Bencivenga, Ermanno Theories of the logos. (English) Zbl 1390.03003 Historical-Analytical Studies on Nature, Mind and Action 4. Cham: Springer (ISBN 978-3-319-63395-4/hbk; 978-3-319-63396-1/ebook). vii, 164 p. (2017). Reviewer: Branislav Boričić (Beograd) MSC: 03-02 03A05 00A30 PDF BibTeX XML Cite \textit{E. Bencivenga}, Theories of the logos. Cham: Springer (2017; Zbl 1390.03003) Full Text: DOI OpenURL
Putnam, Hilary On Davis’s “pragmatic Platonism”. (English) Zbl 1439.03025 Omodeo, Eugenio G. (ed.) et al., Martin Davis on computability, computational logic, and mathematical foundations. Cham: Springer. Outst. Contrib. Log. 10, 337-347 (2016). MSC: 03A05 00A30 PDF BibTeX XML Cite \textit{H. Putnam}, Outst. Contrib. Log. 10, 337--347 (2016; Zbl 1439.03025) Full Text: DOI OpenURL
Murawski, Roman Some historical, philosophical and methodological remarks on proof in mathematics. (English) Zbl 1433.00031 Probst, Dieter (ed.) et al., Concepts of proof in mathematics, philosophy, and computer science. Based on the Humboldt-Kolleg, Bern, Switzerland, September 9–13, 2013. Ontos Mathematical Logic 6. Berlin: De Gruyter. 251-268 (2016). MSC: 00A30 03A05 00A35 PDF BibTeX XML Cite \textit{R. Murawski}, Ontos Math. Log. 6, 251--268 (2016; Zbl 1433.00031) Full Text: DOI OpenURL
Hodges, Wilfrid Remarks on compositionality. (English) Zbl 1429.03118 Abramsky, Samson (ed.) et al., Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on ‘Dependence logic: theory and applications’, Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 99-107 (2016). MSC: 03B60 03-03 01A60 PDF BibTeX XML Cite \textit{W. Hodges}, in: Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on `Dependence logic: theory and applications', Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 99--107 (2016; Zbl 1429.03118) Full Text: DOI OpenURL
de Rouilhan, Philippe Tarski’s recantation: reading the postscript to “Wahrheitsbegriff”. (English) Zbl 1418.03004 Abeles, Francine F. (ed.) et al., Modern logic 1850–1950, East and West. Basel: Birkhäuser/Springer. Stud. Univers. Log., 119-134 (2016). MSC: 03-03 01A60 03A05 PDF BibTeX XML Cite \textit{P. de Rouilhan}, in: Modern logic 1850--1950, East and West. Basel: Birkhäuser/Springer. 119--134 (2016; Zbl 1418.03004) Full Text: DOI OpenURL
Cintula, Petr A note on axiomatizations of Pavelka-style complete fuzzy logics. (English) Zbl 1400.03054 Fuzzy Sets Syst. 292, 160-174 (2016). Reviewer: Michał Baczyński (Katowice) MSC: 03B52 PDF BibTeX XML Cite \textit{P. Cintula}, Fuzzy Sets Syst. 292, 160--174 (2016; Zbl 1400.03054) Full Text: DOI OpenURL
Gruber, Monika [Tarski, Alfred] Alfred Tarski and the “Concept of truth in formalized languages”. A running commentary with consideration of the Polish original and the German translation. (English) Zbl 1362.03002 Logic, Epistemology, and the Unity of Science 39. Cham: Springer (ISBN 978-3-319-32614-6/hbk; 978-3-319-32616-0/ebook). xii, 187 p. (2016). Reviewer: Roman Murawski (Poznań) MSC: 03-03 03-02 03A05 01A75 01A60 00A30 PDF BibTeX XML Cite \textit{M. Gruber}, Alfred Tarski and the ``Concept of truth in formalized languages''. A running commentary with consideration of the Polish original and the German translation. Cham: Springer (2016; Zbl 1362.03002) Full Text: DOI OpenURL
Berry, Sharon Chalmers, quantifier variance and mathematicians’ freedom. (English) Zbl 1437.03018 Torza, Alessandro (ed.), Quantifiers, quantifiers, and quantifiers: themes in logic, metaphysics, and language. Cham: Springer. Synth. Libr. 373, 191-219 (2015). MSC: 03A05 03C80 PDF BibTeX XML Cite \textit{S. Berry}, Synth. Libr. 373, 191--219 (2015; Zbl 1437.03018) Full Text: DOI OpenURL
Hirata, Nina S. T.; Julca-Aguilar, Frank D. Matching based ground-truth annotation for online handwritten mathematical expressions. (English) Zbl 1373.68351 Pattern Recognition 48, No. 3, 837-848 (2015). MSC: 68T10 PDF BibTeX XML Cite \textit{N. S. T. Hirata} and \textit{F. D. Julca-Aguilar}, Pattern Recognition 48, No. 3, 837--848 (2015; Zbl 1373.68351) Full Text: DOI OpenURL
Horsten, Leon One hundred years of semantic paradox. (English) Zbl 1334.03005 J. Philos. Log. 44, No. 6, 681-695 (2015). MSC: 03-03 03A05 01A60 PDF BibTeX XML Cite \textit{L. Horsten}, J. Philos. Log. 44, No. 6, 681--695 (2015; Zbl 1334.03005) Full Text: DOI OpenURL
Orlowska, Ewa; Radzikowsa, Anna Maria; Rewitzky, Ingrid Dualities for structures of applied logics. (English) Zbl 1337.03002 Studies in Logic (London) 56. Mathematical Logic and Foundations. London: College Publications (ISBN 978-1-84890-181-0/pbk). xii, 381 p. (2015). Reviewer: Jānis Cīrulis (Riga) MSC: 03-02 03G05 03G10 03G15 03G25 06-02 06B15 06C15 06D05 06D15 06D20 PDF BibTeX XML Cite \textit{E. Orlowska} et al., Dualities for structures of applied logics. London: College Publications (2015; Zbl 1337.03002) OpenURL
Gray, Jeremy Henri Poincaré and Hermann Weyl on the foundations of mathematics. (English) Zbl 1334.01016 Rowe, David E. (ed.) et al., A delicate balance: global perspectives on innovation and tradition in the history of mathematics. A Festschrift in honor of Joseph W. Dauben. Cham: Birkhäuser/Springer (ISBN 978-3-319-12029-4/hbk; 978-3-319-36594-7/pbk; 978-3-319-12030-0/ebook). Trends in the History of Science, 125-149 (2015). Reviewer: Reinhard Siegmund-Schultze (Kristiansand) MSC: 01A55 01A60 00A30 01A70 83-03 PDF BibTeX XML Cite \textit{J. Gray}, in: A delicate balance: global perspectives on innovation and tradition in the history of mathematics. A Festschrift in honor of Joseph W. Dauben. Cham: Birkhäuser/Springer. 125--149 (2015; Zbl 1334.01016) Full Text: DOI OpenURL
Weaver, Nik Truth and assertibility. (English) Zbl 1402.03007 Hackensack, NJ: World Scientific (ISBN 978-981-4619-95-0/hbk; 978-981-4619-98-1/ebook). xii, 192 p. (2015). Reviewer: Branislav Boričić (Beograd) MSC: 03-02 03A05 03F65 PDF BibTeX XML Cite \textit{N. Weaver}, Truth and assertibility. Hackensack, NJ: World Scientific (2015; Zbl 1402.03007) Full Text: DOI OpenURL
Piazza, Mario; Pulcini, Gabriele Strange case of Dr. soundness and Mr. consistency. (English) Zbl 1441.03008 Dančák, Michal (ed.) et al., The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17–21, 2013. London: College Publications. 161-172 (2014). Reviewer: Jaime Gaspar (Kent) MSC: 03A05 03F25 03F30 PDF BibTeX XML Cite \textit{M. Piazza} and \textit{G. Pulcini}, in: The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17--21, 2013. London: College Publications. 161--172 (2014; Zbl 1441.03008) OpenURL
Murzi, Julien; Carrara, Massimiliano More reflections on consequence. (English) Zbl 1369.03060 Log. Anal., Nouv. Sér. 57, No. 227, 223-258 (2014). MSC: 03A05 03C07 03F03 03-06 00B15 PDF BibTeX XML Cite \textit{J. Murzi} and \textit{M. Carrara}, Log. Anal., Nouv. Sér. 57, No. 227, 223--258 (2014; Zbl 1369.03060) Full Text: DOI OpenURL
Mates, Benson Stoic logic. An exact reproduction of the text originally published by the University of California Press in 1953 and reprinted with a new preface in 1973. (English) Zbl 1357.03007 Classic Reprints. Socorro, NM: Advanced Reasoning Forum (ISBN 978-1-938421-14-3/pbk). vii, 148 p. (2014). Reviewer: Branislav Boričić (Beograd) MSC: 03-03 01A75 03A05 03B05 01A20 PDF BibTeX XML Cite \textit{B. Mates}, Stoic logic. An exact reproduction of the text originally published by the University of California Press in 1953 and reprinted with a new preface in 1973. Socorro, NM: Advanced Reasoning Forum (2014; Zbl 1357.03007) OpenURL
Manzano, María Henkin on completeness. (English) Zbl 1347.03003 Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 149-175 (2014). MSC: 03-03 01A60 03B10 03B15 PDF BibTeX XML Cite \textit{M. Manzano}, in: The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer. 149--175 (2014; Zbl 1347.03003) Full Text: DOI OpenURL
Zenker, Frank (ed.); Proietti, Carlo (ed.) Editors’ introduction: social dynamics and collective rationality. (English) Zbl 1317.00016 Synthese 191, No. 11, 2353-2358 (2014). MSC: 00B15 03-06 91-06 03A05 03B42 91D10 91D30 PDF BibTeX XML Cite \textit{F. Zenker} (ed.) and \textit{C. Proietti} (ed.), Synthese 191, No. 11, 2353--2358 (2014; Zbl 1317.00016) Full Text: DOI OpenURL
Loeb, Iris Towards transfinite type theory: rereading Tarski’s Wahrheitsbegriff. (English) Zbl 1318.03016 Synthese 191, No. 10, 2281-2299 (2014). MSC: 03A05 03-03 01A60 PDF BibTeX XML Cite \textit{I. Loeb}, Synthese 191, No. 10, 2281--2299 (2014; Zbl 1318.03016) Full Text: DOI OpenURL
Krysztofiak, Wojciech Do we need mathematical facts? (English) Zbl 1312.03013 Hist. Philos. Log. 35, No. 1, 76-107 (2014). MSC: 03A05 00A30 PDF BibTeX XML Cite \textit{W. Krysztofiak}, Hist. Philos. Log. 35, No. 1, 76--107 (2014; Zbl 1312.03013) Full Text: DOI OpenURL
Dubois, Didier (ed.); Godo, Lluís (ed.); Prade, Henri (ed.) Editorial: Weighted logics for artificial intelligence – an introductory discussion. (English) Zbl 1329.00195 Int. J. Approx. Reasoning 55, No. 9, 1819-1829 (2014). MSC: 00B25 03-06 68-06 68T37 PDF BibTeX XML Cite \textit{D. Dubois} (ed.) et al., Int. J. Approx. Reasoning 55, No. 9, 1819--1829 (2014; Zbl 1329.00195) Full Text: DOI OpenURL
McCall, Storrs The consistency of arithmetic. And other essays. (English) Zbl 1296.03006 Oxford: Oxford University Press (ISBN 978-0-19-931654-0/hbk). vii, 222 p. (2014). Reviewer: Roman Murawski (Poznań) MSC: 03-06 03A05 00B15 PDF BibTeX XML Cite \textit{S. McCall}, The consistency of arithmetic. And other essays. Oxford: Oxford University Press (2014; Zbl 1296.03006) OpenURL
Calvert, Wesley; Miller, Russell; Chubb Reimann, Jennifer Approximating functions and measuring distance on a graph. (English) Zbl 1364.03050 Downey, Rod (ed.) et al., Proceedings of the 12th Asian logic conference, Wellington, New Zealand, December 15–20, 2011. Hackensack, NJ: World Scientific (ISBN 978-981-4449-26-7/hbk; 978-981-4449-28-1/ebook). 24-52 (2013). MSC: 03C57 03C65 03D80 05C12 PDF BibTeX XML Cite \textit{W. Calvert} et al., in: Proceedings of the 12th Asian logic conference, Wellington, New Zealand, December 15--20, 2011. Hackensack, NJ: World Scientific. 24--52 (2013; Zbl 1364.03050) Full Text: DOI OpenURL
Carter, Jessica Handling mathematical objects: representations and context. (English) Zbl 1302.00052 Synthese 190, No. 17, 3983-3999 (2013). MSC: 00A30 00A35 PDF BibTeX XML Cite \textit{J. Carter}, Synthese 190, No. 17, 3983--3999 (2013; Zbl 1302.00052) Full Text: DOI OpenURL
Esteva, Francesc; Godo, Lluís; Noguera, Carles A logical approach to fuzzy truth hedges. (English) Zbl 1293.03014 Inf. Sci. 232, 366-385 (2013). MSC: 03B52 PDF BibTeX XML Cite \textit{F. Esteva} et al., Inf. Sci. 232, 366--385 (2013; Zbl 1293.03014) Full Text: DOI Link OpenURL
Pudlák, Pavel Logical foundations of mathematics and computational complexity. A gentle introduction. (English) Zbl 1270.03001 Springer Monographs in Mathematics. Cham: Springer (ISBN 978-3-319-00118-0/hbk; 978-3-319-00119-7/ebook). xiv, 695 p. (2013). Reviewer: Branislav Boričić (Beograd) MSC: 03-01 03D15 03E30 03E35 03F03 03F20 03F30 03F40 68Q15 PDF BibTeX XML Cite \textit{P. Pudlák}, Logical foundations of mathematics and computational complexity. A gentle introduction. Cham: Springer (2013; Zbl 1270.03001) Full Text: DOI OpenURL
Restall, Greg Bradwardine hypersequents. (English) Zbl 1320.03023 Dutilh Novaes, Catarina (ed.) et al., Insolubles and consequences. Essays in honour of Stephen Read. London: College Publications (ISBN 978-1-84890-086-8/pbk). Tributes 18, 187-202 (2012). MSC: 03A05 01A35 03-03 03F07 03F05 PDF BibTeX XML Cite \textit{G. Restall}, Tributes 18, 187--202 (2012; Zbl 1320.03023) OpenURL
Ballarin, Roberta Quine on intensional entities: modality and quantification, truth and satisfaction. (English) Zbl 1264.03011 J. Appl. Log. 10, No. 3, 238-249 (2012). MSC: 03A05 01A60 03-03 03B45 03B65 PDF BibTeX XML Cite \textit{R. Ballarin}, J. Appl. Log. 10, No. 3, 238--249 (2012; Zbl 1264.03011) Full Text: DOI OpenURL
Anellis, Irving H. Peirce’s truth-functional analysis and the origin of the truth table. (English) Zbl 1270.03008 Hist. Philos. Log. 33, No. 1, 87-97 (2012). MSC: 03-03 03B05 03B35 01A55 01A60 PDF BibTeX XML Cite \textit{I. H. Anellis}, Hist. Philos. Log. 33, No. 1, 87--97 (2012; Zbl 1270.03008) Full Text: DOI arXiv OpenURL
Correia, Manuel Boethius on the square of opposition. (English) Zbl 1270.03010 Béziau, Jean-Yves (ed.) et al., Around and beyond the square of opposition. Basel: Birkhäuser (ISBN 978-3-0348-0378-6/pbk; 978-3-0348-0379-3/ebook). Studies in Universal Logic, 41-52 (2012). MSC: 03-03 01A20 01A35 03B65 PDF BibTeX XML Cite \textit{M. Correia}, in: Around and beyond the square of opposition. Basel: Birkhäuser. 41--52 (2012; Zbl 1270.03010) Full Text: DOI OpenURL
Cobreros, Pablo; Egré, Paul; Ripley, David; van Rooij, Robert Tolerant, classical, strict. (English) Zbl 1243.03038 J. Philos. Log. 41, No. 2, 347-385 (2012). MSC: 03B60 03A05 91E99 PDF BibTeX XML Cite \textit{P. Cobreros} et al., J. Philos. Log. 41, No. 2, 347--385 (2012; Zbl 1243.03038) Full Text: DOI OpenURL
Esteva, Francesc; Godo, Lluís; Noguera, Carles Fuzzy logics with truth hedges revisited. (English) Zbl 1254.03051 Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) and 17th annual LFA meeting, Aix-Les-Bains, France, July 18–22, 2011. Amsterdam: Atlantis Press (ISBN 9978-90-78677-00-0). Paper No. 23, 146-152 (2011). MSC: 03B52 PDF BibTeX XML Cite \textit{F. Esteva} et al., in: Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) and 17th annual LFA meeting, Aix-Les-Bains, France, July 18--22, 2011. Amsterdam: Atlantis Press. Paper No. 23, 146--152 (2011; Zbl 1254.03051) Full Text: DOI OpenURL
Shramko, Yaroslav; Wansing, Heinrich Truth and falsehood. An inquiry into generalized logical values. (English) Zbl 1251.03002 Trends in Logic–Studia Logica Library 36. Berlin: Springer (ISBN 978-94-007-0906-5/hbk; 978-94-007-0907-2/ebook). xiii, 246 p. (2011). Reviewer: Albert Hoogewijs (Gent) MSC: 03-02 03A05 03B50 03B60 PDF BibTeX XML Cite \textit{Y. Shramko} and \textit{H. Wansing}, Truth and falsehood. An inquiry into generalized logical values. Berlin: Springer (2011; Zbl 1251.03002) Full Text: DOI OpenURL
Halbach, Volker Axiomatic theories of truth. (English) Zbl 1223.03001 Cambridge: Cambridge University Press (ISBN 978-0-521-11581-0). x, 364 p. (2011). Reviewer: Branislav Boričić (Beograd) MSC: 03-02 03A05 PDF BibTeX XML Cite \textit{V. Halbach}, Axiomatic theories of truth. Cambridge: Cambridge University Press (2011; Zbl 1223.03001) Full Text: Link OpenURL
Agazzi, Evandro Consistency, truth and ontology. (English) Zbl 1215.03011 Stud. Log. 97, No. 1, 7-29 (2011). MSC: 03A05 00A30 03B10 03C07 PDF BibTeX XML Cite \textit{E. Agazzi}, Stud. Log. 97, No. 1, 7--29 (2011; Zbl 1215.03011) Full Text: DOI OpenURL
Weir, Alan Truth through proof. A formalist foundation for mathematics. (English) Zbl 1243.03002 Oxford: Oxford University Press (ISBN 978-0-19-954149-2/hbk). xiv, 281 p. (2010). Reviewer: Louis F. Goble (Salem) MSC: 03-02 03A05 00A30 PDF BibTeX XML Cite \textit{A. Weir}, Truth through proof. A formalist foundation for mathematics. Oxford: Oxford University Press (2010; Zbl 1243.03002) OpenURL
Murawski, Roman Truth vs. provability. Philosophical and historical remarks. (English) Zbl 1267.03013 Murawski, Roman, Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi (ISBN 978-90-420-3090-9/hbk). Poznań Studies in the Philosophy of the Sciences and the Humanities 98, 41-57 (2010). MSC: 03A05 03-03 00A30 PDF BibTeX XML Cite \textit{R. Murawski}, in: Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi. 41--57 (2010; Zbl 1267.03013) OpenURL
Goldfarb, Warren On Gödel’s way in: the influence of Rudolf Carnap. (English) Zbl 1208.03004 Feferman, Solomon (ed.) et al., Kurt Gödel. Essays for his centennial. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-0-521-11514-8/hbk). Lecture Notes in Logic 33, 242-251 (2010). MSC: 03-03 01A60 03A05 PDF BibTeX XML Cite \textit{W. Goldfarb}, Lect. Notes Log. 33, 242--251 (2010; Zbl 1208.03004) OpenURL
Kanamori, Akihiro Gödel and set theory. (English) Zbl 1208.03005 Feferman, Solomon (ed.) et al., Kurt Gödel. Essays for his centennial. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-0-521-11514-8/hbk). Lecture Notes in Logic 33, 145-180 (2010). MSC: 03-03 00A30 01A60 03A05 03E25 03E50 03E55 PDF BibTeX XML Cite \textit{A. Kanamori}, Lect. Notes Log. 33, 145--180 (2010; Zbl 1208.03005) OpenURL
Mancosu, Paolo [Zach, R.; Badesa, C.; Marion, M.; Ryckman, T.] The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900–1940. (English) Zbl 1237.03005 Oxford: Oxford University Press (ISBN 978-0-19-954653-4/hbk). x, 618 p. (2010). Reviewer: Chris Pincock (Columbia) MSC: 03A05 00A30 01A60 03-02 03-03 PDF BibTeX XML Cite \textit{P. Mancosu}, The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900--1940. Oxford: Oxford University Press (2010; Zbl 1237.03005) OpenURL
Read, Stephen Field’s paradox and its medieval solution. (English) Zbl 1207.03014 Hist. Philos. Log. 31, No. 2, 161-176 (2010). Reviewer: Jim Mackenzie (Sydney) MSC: 03A05 01A35 03-03 PDF BibTeX XML Cite \textit{S. Read}, Hist. Philos. Log. 31, No. 2, 161--176 (2010; Zbl 1207.03014) Full Text: DOI OpenURL
Garcıá-Cerdaña, Àngel; Armengol, Eva; Esteva, Francesc Fuzzy description logics and \(t\)-norm based fuzzy logics. (English) Zbl 1209.68522 Int. J. Approx. Reasoning 51, No. 6, 632-655 (2010). MSC: 68T27 03B52 68T30 PDF BibTeX XML Cite \textit{À. Garcıá-Cerdaña} et al., Int. J. Approx. Reasoning 51, No. 6, 632--655 (2010; Zbl 1209.68522) Full Text: DOI OpenURL
Esteva, Francesc; Godo, Lluís; Noguera, Carles Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics. (English) Zbl 1194.03022 Soft Comput. 14, No. 3, 273-284 (2010). Reviewer: Ion Iancu (Craiova) MSC: 03B52 68T27 PDF BibTeX XML Cite \textit{F. Esteva} et al., Soft Comput. 14, No. 3, 273--284 (2010; Zbl 1194.03022) Full Text: DOI Link OpenURL
Ciabattoni, Agata; Metcalfe, George; Montagna, Franco Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. (English) Zbl 1190.03026 Fuzzy Sets Syst. 161, No. 3, 369-389 (2010). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03B52 03B45 03B50 03F52 03G25 PDF BibTeX XML Cite \textit{A. Ciabattoni} et al., Fuzzy Sets Syst. 161, No. 3, 369--389 (2010; Zbl 1190.03026) Full Text: DOI Link OpenURL
Manin, Yu. I. [Zilber, Boris] A course in mathematical logic for mathematicians. Chapters I–VIII translated from the Russian by Neal Koblitz. With new chapters by Boris Zilber and Yuri I. Manin. 2nd ed. (English) Zbl 1180.03002 Graduate Texts in Mathematics 53. Berlin: Springer (ISBN 978-1-4419-0614-4/hbk; 978-1-4419-0615-1/ebook). xviii, 384 p. (2010). Reviewer: Branislav Boričić (Beograd) MSC: 03-01 03-02 03B10 03B25 03C07 03C10 03C35 03C45 03C98 03D20 03D35 03D80 03E30 03E35 03E50 03F20 03F30 03F40 11U05 20A15 68Q05 68Q15 81P10 94C10 PDF BibTeX XML Cite \textit{Yu. I. Manin}, A course in mathematical logic for mathematicians. Chapters I--VIII translated from the Russian by Neal Koblitz. With new chapters by Boris Zilber and Yuri I. Manin. 2nd ed. Berlin: Springer (2010; Zbl 1180.03002) Full Text: DOI OpenURL
Maddy, Penelope Second philosophy. A naturalistic method. (English) Zbl 1190.03009 Oxford: Oxford University Press (ISBN 978-0-19-956624-2/pbk). xii, 448 p. (2009). Reviewer: Louis F. Goble (Salem) MSC: 03A05 00A30 00-02 03-02 03A10 03E30 PDF BibTeX XML Cite \textit{P. Maddy}, Second philosophy. A naturalistic method. Oxford: Oxford University Press (2009; Zbl 1190.03009) OpenURL
Lavers, Gregory Benacerraf’s dilemma and informal mathematics. (English) Zbl 1194.03012 Rev. Symb. Log. 2, No. 4, 769-785 (2009). MSC: 03A05 00A30 03A10 PDF BibTeX XML Cite \textit{G. Lavers}, Rev. Symb. Log. 2, No. 4, 769--785 (2009; Zbl 1194.03012) Full Text: DOI OpenURL
Shramko, Yaroslav; Wansing, Heinrich Editorial introduction. Truth values. II. (English) Zbl 1177.03005 Stud. Log. 92, No. 2, 143-146 (2009). MSC: 03-02 03A05 03B50 03B52 PDF BibTeX XML Cite \textit{Y. Shramko} and \textit{H. Wansing}, Stud. Log. 92, No. 2, 143--146 (2009; Zbl 1177.03005) Full Text: DOI OpenURL
Esteva, Francesc; Godo, Lluís; Noguera, Carles First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties. (English) Zbl 1222.03027 Ann. Pure Appl. Logic 161, No. 2, 185-202 (2009). MSC: 03B50 03B52 03G25 PDF BibTeX XML Cite \textit{F. Esteva} et al., Ann. Pure Appl. Logic 161, No. 2, 185--202 (2009; Zbl 1222.03027) Full Text: DOI Link OpenURL
Gómez-Torrente, Mario Rereading Tarski on logical consequence. (English) Zbl 1186.03010 Rev. Symb. Log. 2, No. 2, 249-297 (2009). Reviewer: Jim Mackenzie (Sydney) MSC: 03A05 03-03 03B22 PDF BibTeX XML Cite \textit{M. Gómez-Torrente}, Rev. Symb. Log. 2, No. 2, 249--297 (2009; Zbl 1186.03010) Full Text: DOI OpenURL
Shramko, Yaroslav; Wansing, Heinrich Editorial introduction. Truth values. I. (English) Zbl 1163.03300 Stud. Log. 91, No. 3, 295-304 (2009). MSC: 03-02 03A05 03B50 03B52 PDF BibTeX XML Cite \textit{Y. Shramko} and \textit{H. Wansing}, Stud. Log. 91, No. 3, 295--304 (2009; Zbl 1163.03300) Full Text: DOI OpenURL
Field, Hartry Saving truth from paradox. (English) Zbl 1225.03006 Oxford: Oxford University Press (ISBN 978-0-19-923074-7/pbk; 978-0-19-923075-4/hbk). xvi, 406 p. (2008). Reviewer: Jim Mackenzie (Sydney) MSC: 03A05 03-02 PDF BibTeX XML Cite \textit{H. Field}, Saving truth from paradox. Oxford: Oxford University Press (2008; Zbl 1225.03006) OpenURL
Rahman, Shahid (ed.); Tulenheimo, Tero (ed.); Genot, Emmanuel (ed.) Unity, truth and the liar. The modern relevance of medieval solutions to the liar paradox. (English) Zbl 1196.03001 Logic, Epistemology, and the Unity of Science 8. Dordrecht: Springer (ISBN 978-1-402-08467-6/hbk; 978-1-4020-8468-3/ebook). 350 p. (2008). MSC: 03-03 03-06 03A05 00B15 PDF BibTeX XML Cite \textit{S. Rahman} (ed.) et al., Unity, truth and the liar. The modern relevance of medieval solutions to the liar paradox. Dordrecht: Springer (2008; Zbl 1196.03001) Full Text: DOI OpenURL
Restall, Greg Modal models for Bradwardine’s theory of truth. (English) Zbl 1204.03013 Rev. Symb. Log. 1, No. 2, 225-240 (2008). MSC: 03A05 03-03 01A35 PDF BibTeX XML Cite \textit{G. Restall}, Rev. Symb. Log. 1, No. 2, 225--240 (2008; Zbl 1204.03013) Full Text: DOI OpenURL
Hayek, Nácere The mathematical theorem. Reflections on the history and the nature of proof. (El teorema matemático. Reflexiones sobre la historia y la naturaleza de la demostración.) (Spanish. English summary) Zbl 1154.00308 Rev. Acad. Canar. Cienc. 19(2007), No. 1-2, 95-120 (2008). MSC: 00A30 PDF BibTeX XML Cite \textit{N. Hayek}, Rev. Acad. Canar. Cienc. 19, No. 1--2, 95--120 (2008; Zbl 1154.00308) OpenURL
Incurvati, Luca Too naturalist and not naturalist enough: Reply to Horsten. (English) Zbl 1151.03002 Erkenntnis 69, No. 2, 261-274 (2008). MSC: 03A05 00A30 03E99 PDF BibTeX XML Cite \textit{L. Incurvati}, Erkenntnis 69, No. 2, 261--274 (2008; Zbl 1151.03002) Full Text: DOI OpenURL
Dutilh Novaes, C. A comparative taxonomy of medieval and modern approaches to liar sentences. (English) Zbl 1156.03008 Hist. Philos. Log. 29, No. 3, 227-261 (2008). Reviewer: Jim Mackenzie (Sydney) MSC: 03A05 01A35 03-03 PDF BibTeX XML Cite \textit{C. Dutilh Novaes}, Hist. Philos. Log. 29, No. 3, 227--261 (2008; Zbl 1156.03008) Full Text: DOI Link OpenURL
Baczyński, Michał; Jayaram, Balasubramaniam Fuzzy implications. (English) Zbl 1147.03012 Studies in Fuzziness and Soft Computing 231. Berlin: Springer (ISBN 978-3-540-69080-1/hbk). xviii, 310 p. (2008). Reviewer: Vilém Novák (Ostrava) MSC: 03B52 03-01 03-02 68T37 PDF BibTeX XML Cite \textit{M. Baczyński} and \textit{B. Jayaram}, Fuzzy implications. Berlin: Springer (2008; Zbl 1147.03012) Full Text: DOI OpenURL
Lavers, Gregory Carnap, formalism, and informal rigour. (English) Zbl 1141.03303 Philos. Math. (3) 16, No. 1, 4-24 (2008). MSC: 03A05 00A30 PDF BibTeX XML Cite \textit{G. Lavers}, Philos. Math. (3) 16, No. 1, 4--24 (2008; Zbl 1141.03303) Full Text: DOI OpenURL
Perini-Santos, Ernesto John Buridan on the bearer of logical relations. (English) Zbl 1139.03006 Log. Univers. 2, No. 1, 59-70 (2008). Reviewer: Jim Mackenzie (Sydney) MSC: 03A05 03-03 01A35 PDF BibTeX XML Cite \textit{E. Perini-Santos}, Log. Univers. 2, No. 1, 59--70 (2008; Zbl 1139.03006) Full Text: DOI OpenURL
Gabbay, Dov M. (ed.); Woods, John (ed.) Logic from Russell to Church. (English) Zbl 1177.03001 Handbook of the History of Logic 5. Amsterdam: Elsevier/North-Holland (ISBN 0-444-51620-4/hbk). xii, 1056 p. (2008). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 03-00 01A60 03-03 PDF BibTeX XML Cite \textit{D. M. Gabbay} (ed.) and \textit{J. Woods} (ed.), Logic from Russell to Church. Amsterdam: Elsevier/North-Holland (2008; Zbl 1177.03001) OpenURL
Yanov, Yu. I. Mathematics and metamathematics. (Russian) Zbl 1203.03001 Mat. Vopr. Kibern. 16, 129-154 (2007). Reviewer: G. E. Mints (Stanford) MSC: 03-01 PDF BibTeX XML Cite \textit{Yu. I. Yanov}, Mat. Vopr. Kibern. 16, 129--154 (2007; Zbl 1203.03001) OpenURL
Beziau, Jean-Yves From consequence operator to universal logic: a survey of general abstract logic. 2nd revised ed. (English) Zbl 1143.03327 Beziau, Jean-Yves (ed.), Logica universalis. Towards a general theory of logic. Basel: Birkhäuser (ISBN 978-3-7643-8353-4/pbk). 3-17 (2007). MSC: 03B22 03-02 03-03 03B50 03B47 03B53 03G10 PDF BibTeX XML Cite \textit{J.-Y. Beziau}, in: Logica universalis. Towards a general theory of logic. Basel: Birkhäuser. 3--17 (2007; Zbl 1143.03327) OpenURL
Chen, Ning; Feng, Boqin Component constraint detection based on proposition logic. (Chinese. English summary) Zbl 1150.68321 J. Xi’an Jiaotong Univ. 41, No. 2, 172-175 (2007). MSC: 68N30 03B05 PDF BibTeX XML Cite \textit{N. Chen} and \textit{B. Feng}, J. Xi'an Jiaotong Univ. 41, No. 2, 172--175 (2007; Zbl 1150.68321) OpenURL