Pawlowski, Pawel Tree-like proof systems for finitely-many valued non-deterministic consequence relations. (English) Zbl 07311772 Log. Univers. 14, No. 4, 407-420 (2020). MSC: 03B60 03B50 PDF BibTeX XML Cite \textit{P. Pawlowski}, Log. Univers. 14, No. 4, 407--420 (2020; Zbl 07311772) Full Text: DOI
Dean, Walter Incompleteness via paradox and completeness. (English) Zbl 07239857 Rev. Symb. Log. 13, No. 3, 541-592 (2020). MSC: 03C62 03H15 03C57 00A30 PDF BibTeX XML Cite \textit{W. Dean}, Rev. Symb. Log. 13, No. 3, 541--592 (2020; Zbl 07239857) Full Text: DOI
Picollo, Lavinia Reference and truth. (English) Zbl 07218659 J. Philos. Log. 49, No. 3, 439-474 (2020). MSC: 03 PDF BibTeX XML Cite \textit{L. Picollo}, J. Philos. Log. 49, No. 3, 439--474 (2020; Zbl 07218659) Full Text: DOI
Picollo, Lavinia Alethic reference. (English) Zbl 07218658 J. Philos. Log. 49, No. 3, 417-438 (2020). MSC: 03 PDF BibTeX XML Cite \textit{L. Picollo}, J. Philos. Log. 49, No. 3, 417--438 (2020; Zbl 07218658) Full Text: DOI
Oms, Sergi A remark on probabilistic measures of coherence. (English) Zbl 1437.81010 Notre Dame J. Formal Logic 61, No. 1, 129-140 (2020). MSC: 81P05 03A10 81P10 PDF BibTeX XML Cite \textit{S. Oms}, Notre Dame J. Formal Logic 61, No. 1, 129--140 (2020; Zbl 1437.81010) Full Text: DOI Euclid
Pailos, Federico Matías A fully classical truth theory characterized by substructural means. (English) Zbl 07193987 Rev. Symb. Log. 13, No. 2, 249-268 (2020). MSC: 03B47 03B50 03B60 03B53 PDF BibTeX XML Cite \textit{F. M. Pailos}, Rev. Symb. Log. 13, No. 2, 249--268 (2020; Zbl 07193987) Full Text: DOI
Enayat, Ali; Łełyk, Mateusz; Wcisło, Bartosz Truth and feasible reducibility. (English) Zbl 1444.03164 J. Symb. Log. 85, No. 1, 367-421 (2020). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03F30 03C62 03D15 03H15 PDF BibTeX XML Cite \textit{A. Enayat} et al., J. Symb. Log. 85, No. 1, 367--421 (2020; Zbl 1444.03164) Full Text: DOI
Rivello, Edoardo Formal representations of dependence and groundedness. (English) Zbl 07181945 Rev. Symb. Log. 13, No. 1, 105-140 (2020). MSC: 03E20 03E75 PDF BibTeX XML Cite \textit{E. Rivello}, Rev. Symb. Log. 13, No. 1, 105--140 (2020; Zbl 07181945) Full Text: DOI
Barrio, Eduardo Alejandro; Pailos, Federico; Szmuc, Damian A recovery operator for nontransitive approaches. (English) Zbl 1452.03062 Rev. Symb. Log. 13, No. 1, 80-104 (2020). Reviewer: Gemma Robles (León) MSC: 03B47 03B05 03B53 03B50 PDF BibTeX XML Cite \textit{E. A. Barrio} et al., Rev. Symb. Log. 13, No. 1, 80--104 (2020; Zbl 1452.03062) Full Text: DOI
Priest, Graham Some comments and replies. (English) Zbl 07229661 Başkent, Can (ed.) et al., Graham Priest on dialetheism and paraconsistency. Cham: Springer (ISBN 978-3-030-25364-6/hbk; 978-3-030-25365-3/ebook). Outstanding Contributions to Logic 18, 575-675 (2019). MSC: 03A05 PDF BibTeX XML Cite \textit{G. Priest}, Outst. Contrib. Log. 18, 575--675 (2019; Zbl 07229661) Full Text: DOI
Field, Hartry Paraconsistent or paracomplete? (English) Zbl 07229640 Başkent, Can (ed.) et al., Graham Priest on dialetheism and paraconsistency. Cham: Springer (ISBN 978-3-030-25364-6/hbk; 978-3-030-25365-3/ebook). Outstanding Contributions to Logic 18, 73-125 (2019). MSC: 03A05 PDF BibTeX XML Cite \textit{H. Field}, Outst. Contrib. Log. 18, 73--125 (2019; Zbl 07229640) Full Text: DOI
Rosenblatt, Lucas Noncontractive classical logic. (English) Zbl 07167758 Notre Dame J. Formal Logic 60, No. 4, 559-585 (2019). MSC: 03A05 03B47 PDF BibTeX XML Cite \textit{L. Rosenblatt}, Notre Dame J. Formal Logic 60, No. 4, 559--585 (2019; Zbl 07167758) Full Text: DOI Euclid
Alessi, Fabio; Ciaffaglione, Alberto; Di Gianantonio, Pietro; Honsell, Furio; Lenisa, Marina; Scagnetto, Ivan \(\mathrm{LF}^+\) in Coq for fast-and-loose reasoning. (English) Zbl 1427.68344 J. Formaliz. Reason. 12, No. 1, 11-51 (2019). MSC: 68V15 03B38 03B70 68V20 PDF BibTeX XML Cite \textit{F. Alessi} et al., J. Formaliz. Reason. 12, No. 1, 11--51 (2019; Zbl 1427.68344) Full Text: DOI
Kripke, Saul A. Ungroundedness in Tarskian languages. (English) Zbl 07075020 J. Philos. Log. 48, No. 3, 603-609 (2019). MSC: 03 PDF BibTeX XML Cite \textit{S. A. Kripke}, J. Philos. Log. 48, No. 3, 603--609 (2019; Zbl 07075020) Full Text: DOI
Rivello, Edoardo Revision without revision sequences: self-referential truth. (English) Zbl 07075017 J. Philos. Log. 48, No. 3, 523-551 (2019). MSC: 03 PDF BibTeX XML Cite \textit{E. Rivello}, J. Philos. Log. 48, No. 3, 523--551 (2019; Zbl 07075017) Full Text: DOI
Leitgeb, Hannes HYPE: a system of hyperintensional logic (with an application to semantic paradoxes). (English) Zbl 07066820 J. Philos. Log. 48, No. 2, 305-405 (2019); correction ibid. 48, No. 2, 407 (2019). MSC: 03 PDF BibTeX XML Cite \textit{H. Leitgeb}, J. Philos. Log. 48, No. 2, 305--405 (2019; Zbl 07066820) Full Text: DOI
Rossi, Lorenzo A unified theory of truth and paradox. (English) Zbl 07063890 Rev. Symb. Log. 12, No. 2, 209-254 (2019). MSC: 03B50 PDF BibTeX XML Cite \textit{L. Rossi}, Rev. Symb. Log. 12, No. 2, 209--254 (2019; Zbl 07063890) Full Text: DOI
Łełyk, Mateusz; Wcisło, Bartosz Models of positive truth. (English) Zbl 07063884 Rev. Symb. Log. 12, No. 1, 144-172 (2019). Reviewer: Roman Kossak (New York) MSC: 03H15 PDF BibTeX XML Cite \textit{M. Łełyk} and \textit{B. Wcisło}, Rev. Symb. Log. 12, No. 1, 144--172 (2019; Zbl 07063884) Full Text: DOI arXiv
Mackereth, Stephen Fixed-point posets in theories of truth. (English) Zbl 07063650 J. Philos. Log. 48, No. 1, 189-203 (2019). MSC: 03 PDF BibTeX XML Cite \textit{S. Mackereth}, J. Philos. Log. 48, No. 1, 189--203 (2019; Zbl 07063650) Full Text: DOI
Zardini, Elia Instability and contraction. Méditations hégéliennes. I. (English) Zbl 07063649 J. Philos. Log. 48, No. 1, 155-188 (2019). MSC: 03 PDF BibTeX XML Cite \textit{E. Zardini}, J. Philos. Log. 48, No. 1, 155--188 (2019; Zbl 07063649) Full Text: DOI
Orilia, Francesco; Landini, Gregory Truth, predication and a family of contingent paradoxes. (English) Zbl 07063647 J. Philos. Log. 48, No. 1, 113-136 (2019). MSC: 03 PDF BibTeX XML Cite \textit{F. Orilia} and \textit{G. Landini}, J. Philos. Log. 48, No. 1, 113--136 (2019; Zbl 07063647) Full Text: DOI
Rivello, Edoardo Revision without revision sequences: circular definitions. (English) Zbl 07063645 J. Philos. Log. 48, No. 1, 57-85 (2019). MSC: 03 PDF BibTeX XML Cite \textit{E. Rivello}, J. Philos. Log. 48, No. 1, 57--85 (2019; Zbl 07063645) Full Text: DOI
Bruni, Riccardo (ed.); Standefer, Shawn (ed.) Guest editors’ introduction. (English) Zbl 07063642 J. Philos. Log. 48, No. 1, 1-9 (2019). MSC: 00Bxx PDF BibTeX XML Cite \textit{R. Bruni} (ed.) and \textit{S. Standefer} (ed.), J. Philos. Log. 48, No. 1, 1--9 (2019; Zbl 07063642) Full Text: DOI
Hellman, Geoffrey; Cook, Roy T. Extendability and paradox. (English) Zbl 1429.03027 Hellman, Geoffrey (ed.) et al., Hilary Putnam on logic and mathematics. Cham: Springer. Outst. Contrib. Log. 9, 51-73 (2018). MSC: 03A05 03B45 03E30 03E70 PDF BibTeX XML Cite \textit{G. Hellman} and \textit{R. T. Cook}, Outst. Contrib. Log. 9, 51--73 (2018; Zbl 1429.03027) Full Text: DOI
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
Stephanou, Yannis A propositional theory of truth. (English) Zbl 06996542 Notre Dame J. Formal Logic 59, No. 4, 503-545 (2018). MSC: 03B20 03B50 03B80 03A99 PDF BibTeX XML Cite \textit{Y. Stephanou}, Notre Dame J. Formal Logic 59, No. 4, 503--545 (2018; Zbl 06996542) Full Text: DOI Euclid
Stern, Johannes Supervaluation-style truth without supervaluations. (English) Zbl 06995842 J. Philos. Log. 47, No. 5, 817-850 (2018); correction ibid. 49, No. 1, 219 (2020). MSC: 03 PDF BibTeX XML Cite \textit{J. Stern}, J. Philos. Log. 47, No. 5, 817--850 (2018; Zbl 06995842) Full Text: DOI
Picollo, Lavinia; Schindler, Thomas Disquotation and infinite conjunctions. (English) Zbl 1398.03028 Erkenntnis 83, No. 5, 899-928 (2018). MSC: 03A05 03B05 03B10 PDF BibTeX XML Cite \textit{L. Picollo} and \textit{T. Schindler}, Erkenntnis 83, No. 5, 899--928 (2018; Zbl 1398.03028) Full Text: DOI
Schatz, Jeffrey R. On the status of reflection and conservativity in replacement theories of truth. (English) Zbl 1406.03029 Notre Dame J. Formal Logic 59, No. 3, 437-454 (2018). Reviewer: Jim Mackenzie (Sydney) MSC: 03A05 PDF BibTeX XML Cite \textit{J. R. Schatz}, Notre Dame J. Formal Logic 59, No. 3, 437--454 (2018; Zbl 1406.03029) Full Text: DOI Euclid
Pawlowski, Pawel; Urbaniak, Rafal Many-valued logic of informal provability: a non-deterministic strategy. (English) Zbl 06914162 Rev. Symb. Log. 11, No. 2, 207-223 (2018). MSC: 03A05 00A30 PDF BibTeX XML Cite \textit{P. Pawlowski} and \textit{R. Urbaniak}, Rev. Symb. Log. 11, No. 2, 207--223 (2018; Zbl 06914162) Full Text: DOI
Fischer, Martin; Gratzl, Norbert Truth, partial logic and infinitary proof systems. (English) Zbl 1437.03160 Stud. Log. 106, No. 3, 515-540 (2018). MSC: 03F03 03F05 03F30 PDF BibTeX XML Cite \textit{M. Fischer} and \textit{N. Gratzl}, Stud. Log. 106, No. 3, 515--540 (2018; Zbl 1437.03160) Full Text: DOI
Nicolai, Carlo; Rossi, Lorenzo Principles for object-linguistic consequence: from logical to irreflexive. (English) Zbl 1436.03059 J. Philos. Log. 47, No. 3, 549-577 (2018). MSC: 03A05 03B65 PDF BibTeX XML Cite \textit{C. Nicolai} and \textit{L. Rossi}, J. Philos. Log. 47, No. 3, 549--577 (2018; Zbl 1436.03059) Full Text: DOI
Schindler, Thomas Some notes on truths and comprehension. (English) Zbl 1436.03308 J. Philos. Log. 47, No. 3, 449-479 (2018). MSC: 03F35 03F25 03A05 PDF BibTeX XML Cite \textit{T. Schindler}, J. Philos. Log. 47, No. 3, 449--479 (2018; Zbl 1436.03308) Full Text: DOI
Halbach, Volker; Nicolai, Carlo On the costs of nonclassical logic. (English) Zbl 1436.03167 J. Philos. Log. 47, No. 2, 227-257 (2018). MSC: 03B60 03A05 PDF BibTeX XML Cite \textit{V. Halbach} and \textit{C. Nicolai}, J. Philos. Log. 47, No. 2, 227--257 (2018; Zbl 1436.03167) Full Text: DOI
Fritz, Peter; Lederman, Harvey; Liu, Tiankai; Scott, Dana Can modalities save naive set theory? (English) Zbl 06866167 Rev. Symb. Log. 11, No. 1, 21-47 (2018). MSC: 03B45 PDF BibTeX XML Cite \textit{P. Fritz} et al., Rev. Symb. Log. 11, No. 1, 21--47 (2018; Zbl 06866167) Full Text: DOI
Ledda, Antonio Stone-type representations and dualities for varieties of bisemilattices. (English) Zbl 1437.06003 Stud. Log. 106, No. 2, 417-448 (2018). MSC: 06A12 06E15 06D50 18B35 PDF BibTeX XML Cite \textit{A. Ledda}, Stud. Log. 106, No. 2, 417--448 (2018; Zbl 1437.06003) Full Text: DOI
Nicolai, Carlo Provably true sentences across axiomatizations of Kripke’s theory of truth. (English) Zbl 1437.03162 Stud. Log. 106, No. 1, 101-130 (2018). MSC: 03F03 03A05 03F30 PDF BibTeX XML Cite \textit{C. Nicolai}, Stud. Log. 106, No. 1, 101--130 (2018; Zbl 1437.03162) Full Text: DOI
Marques, Teresa This is not an instance of (E). (English) Zbl 06853384 Synthese 195, No. 3, 1035-1063 (2018). MSC: 03A05 PDF BibTeX XML Cite \textit{T. Marques}, Synthese 195, No. 3, 1035--1063 (2018; Zbl 06853384) Full Text: DOI
Simmons, Keith Three questions for minimalism. (English) Zbl 06853383 Synthese 195, No. 3, 1011-1034 (2018). MSC: 03A05 PDF BibTeX XML Cite \textit{K. Simmons}, Synthese 195, No. 3, 1011--1034 (2018; Zbl 06853383) Full Text: DOI
Cantini, Andrea; Fujimoto, Kentaro; Halbach, Volker Feferman and the truth. (English) Zbl 1429.03190 Jäger, Gerhard (ed.) et al., Feferman on foundations. Logic, mathematics, philosophy. Cham: Springer. Outst. Contrib. Log. 13, 287-314 (2017). MSC: 03F03 03F25 03F35 03F40 PDF BibTeX XML Cite \textit{A. Cantini} et al., Outst. Contrib. Log. 13, 287--314 (2017; Zbl 1429.03190) Full Text: DOI
Strahm, Thomas Unfolding schematic systems. (English) Zbl 1429.03195 Jäger, Gerhard (ed.) et al., Feferman on foundations. Logic, mathematics, philosophy. Cham: Springer. Outst. Contrib. Log. 13, 187-208 (2017). MSC: 03F03 03F30 03D75 PDF BibTeX XML Cite \textit{T. Strahm}, Outst. Contrib. Log. 13, 187--208 (2017; Zbl 1429.03195) Full Text: DOI
Restall, Greg First degree entailment, symmetry and paradox. (English) Zbl 1419.03026 Log. Log. Philos. 26, No. 1, 3-18 (2017). MSC: 03B53 03B47 03B50 03A05 PDF BibTeX XML Cite \textit{G. Restall}, Log. Log. Philos. 26, No. 1, 3--18 (2017; Zbl 1419.03026) Full Text: DOI
Beringer, Timo; Schindler, Thomas A graph-theoretic analysis of the semantic paradoxes. (English) Zbl 1437.03017 Bull. Symb. Log. 23, No. 4, 442-492 (2017). Reviewer: Teun Koetsier (Amsterdam) MSC: 03A05 03B10 05C20 PDF BibTeX XML Cite \textit{T. Beringer} and \textit{T. Schindler}, Bull. Symb. Log. 23, No. 4, 442--492 (2017; Zbl 1437.03017) Full Text: DOI
Brown, Joshua D. K.; Garson, James W. A new semantics for vagueness. (English) Zbl 1417.03047 Erkenntnis 82, No. 1, 65-85 (2017). MSC: 03A05 03B52 PDF BibTeX XML Cite \textit{J. D. K. Brown} and \textit{J. W. Garson}, Erkenntnis 82, No. 1, 65--85 (2017; Zbl 1417.03047) Full Text: DOI
Whittle, Bruno Self-referential propositions. (English) Zbl 1382.03028 Synthese 194, No. 12, 5023-5037 (2017). MSC: 03A05 PDF BibTeX XML Cite \textit{B. Whittle}, Synthese 194, No. 12, 5023--5037 (2017; Zbl 1382.03028) Full Text: DOI
Albuquerque, Hugo; Přenosil, Adam; Rivieccio, Umberto An algebraic view of super-Belnap logics. (English) Zbl 1417.03175 Stud. Log. 105, No. 6, 1051-1086 (2017). MSC: 03B50 03B53 03G27 03B47 PDF BibTeX XML Cite \textit{H. Albuquerque} et al., Stud. Log. 105, No. 6, 1051--1086 (2017; Zbl 1417.03175) Full Text: DOI
Nicolai, Carlo Equivalences for truth predicates. (English) Zbl 1417.03293 Rev. Symb. Log. 10, No. 2, 322-356 (2017). MSC: 03F25 03F30 03F35 03A05 PDF BibTeX XML Cite \textit{C. Nicolai}, Rev. Symb. Log. 10, No. 2, 322--356 (2017; Zbl 1417.03293) Full Text: DOI
Whittle, Bruno Proving unprovability. (English) Zbl 1417.03296 Rev. Symb. Log. 10, No. 1, 92-115 (2017). MSC: 03F40 03A05 PDF BibTeX XML Cite \textit{B. Whittle}, Rev. Symb. Log. 10, No. 1, 92--115 (2017; Zbl 1417.03296) Full Text: DOI
Speranski, Stanislav O. Notes on the computational aspects of Kripke’s theory of truth. (English) Zbl 1417.03244 Stud. Log. 105, No. 2, 407-429 (2017). MSC: 03D65 03D70 03F35 03F40 PDF BibTeX XML Cite \textit{S. O. Speranski}, Stud. Log. 105, No. 2, 407--429 (2017; Zbl 1417.03244) Full Text: DOI
Archambault, Jacob Monotonic and non-monotonic embeddings of Anselm’s proof. (English) Zbl 1365.01005 Log. Univers. 11, No. 1, 121-138 (2017). Reviewer: V. N. Saliĭ (Saratov) MSC: 01A35 03A05 03B42 01A85 PDF BibTeX XML Cite \textit{J. Archambault}, Log. Univers. 11, No. 1, 121--138 (2017; Zbl 1365.01005) Full Text: DOI
Fjellstad, Andreas Non-classical elegance for sequent calculus enthusiasts. (English) Zbl 1417.03200 Stud. Log. 105, No. 1, 93-119 (2017). MSC: 03B60 03B50 03F05 PDF BibTeX XML Cite \textit{A. Fjellstad}, Stud. Log. 105, No. 1, 93--119 (2017; Zbl 1417.03200) Full Text: DOI
Feferman, Solomon The operational perspective: three routes. (English) Zbl 1439.03018 Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 269-289 (2016). MSC: 03A05 03F03 03F50 PDF BibTeX XML Cite \textit{S. Feferman}, Prog. Comput. Sci. Appl. Log. 28, 269--289 (2016; Zbl 1439.03018) Full Text: DOI
Akama, Seiki; da Costa, Newton C. A. Why paraconsistent logics? (English) Zbl 1429.03101 Akama, Seiki (ed.), Towards paraconsistent engineering. Cham: Springer. Intell. Syst. Ref. Libr. 110, 7-24 (2016). MSC: 03B53 PDF BibTeX XML Cite \textit{S. Akama} and \textit{N. C. A. da Costa}, Intell. Syst. Ref. Libr. 110, 7--24 (2016; Zbl 1429.03101) Full Text: DOI
Hansen, Casper Storm Unified grounding. (English) Zbl 1384.03034 Erkenntnis 81, No. 5, 993-1010 (2016). MSC: 03A05 PDF BibTeX XML Cite \textit{C. S. Hansen}, Erkenntnis 81, No. 5, 993--1010 (2016; Zbl 1384.03034) Full Text: DOI
Rossi, Lorenzo Adding a conditional to Kripke’s theory of truth. (English) Zbl 1392.03016 J. Philos. Log. 45, No. 5, 485-529 (2016). MSC: 03A05 03B50 PDF BibTeX XML Cite \textit{L. Rossi}, J. Philos. Log. 45, No. 5, 485--529 (2016; Zbl 1392.03016) Full Text: DOI
Meadows, Toby Sets and supersets. (English) Zbl 1384.03057 Synthese 193, No. 6, 1875-1907 (2016). MSC: 03A05 03E70 PDF BibTeX XML Cite \textit{T. Meadows}, Synthese 193, No. 6, 1875--1907 (2016; Zbl 1384.03057) Full Text: DOI
Talbott, William J. A non-probabilist principle of higher-order reasoning. (English) Zbl 1360.03047 Synthese 193, No. 10, 3099-3145 (2016). MSC: 03A05 03B42 03B48 PDF BibTeX XML Cite \textit{W. J. Talbott}, Synthese 193, No. 10, 3099--3145 (2016; Zbl 1360.03047) Full Text: DOI
Smith, Nicholas J. J. Truthier than thou: truth, supertruth and probability of truth. (English) Zbl 1384.03072 Nôus 50, No. 4, 740-758 (2016). MSC: 03A05 03B48 PDF BibTeX XML Cite \textit{N. J. J. Smith}, Nôus 50, No. 4, 740--758 (2016; Zbl 1384.03072) Full Text: DOI
Ésik, Zoltán Ternary equational languages. (English) Zbl 06650024 Han, Yo-Sub (ed.) et al., Implementation and application of automata. 21st international conference, CIAA 2016, Seoul, South Korea, July 19–22, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40945-0/pbk; 978-3-319-40946-7/ebook). Lecture Notes in Computer Science 9705, 77-88 (2016). MSC: 68Q45 PDF BibTeX XML Cite \textit{Z. Ésik}, Lect. Notes Comput. Sci. 9705, 77--88 (2016; Zbl 06650024) Full Text: DOI
Tourville, Nicholas; Cook, Roy T. Embracing the technicalities: expressive completeness and revenge. (English) Zbl 1391.03016 Rev. Symb. Log. 9, No. 2, 325-358 (2016). MSC: 03A05 PDF BibTeX XML Cite \textit{N. Tourville} and \textit{R. T. Cook}, Rev. Symb. Log. 9, No. 2, 325--358 (2016; Zbl 1391.03016) Full Text: DOI
Øgaard, Tore Fjetland Paths to triviality. (English) Zbl 1392.03038 J. Philos. Log. 45, No. 3, 237-276 (2016). MSC: 03B53 03B47 PDF BibTeX XML Cite \textit{T. F. Øgaard}, J. Philos. Log. 45, No. 3, 237--276 (2016; Zbl 1392.03038) Full Text: DOI
Zardini, Elia Restriction by noncontraction. (English) Zbl 1417.03110 Notre Dame J. Formal Logic 57, No. 2, 287-327 (2016). MSC: 03A05 03B47 03B53 03B20 03B65 PDF BibTeX XML Cite \textit{E. Zardini}, Notre Dame J. Formal Logic 57, No. 2, 287--327 (2016; Zbl 1417.03110) Full Text: DOI Euclid
Wintein, Stefan From closure games to strong Kleene truth. (English) Zbl 1384.03117 Notre Dame J. Formal Logic 57, No. 2, 153-179 (2016). MSC: 03B50 03A05 91A80 PDF BibTeX XML Cite \textit{S. Wintein}, Notre Dame J. Formal Logic 57, No. 2, 153--179 (2016; Zbl 1384.03117) Full Text: DOI Euclid
Field, Hartry Indicative conditionals, restricted quantification, and naive truth. (English) Zbl 1381.03007 Rev. Symb. Log. 9, No. 1, 181-208 (2016). Reviewer: Branislav Boričić (Beograd) MSC: 03A05 03B42 PDF BibTeX XML Cite \textit{H. Field}, Rev. Symb. Log. 9, No. 1, 181--208 (2016; Zbl 1381.03007) Full Text: DOI
Pelosse, Yohan The intrinsic quantum nature of Nash equilibrium mixtures. (English) Zbl 1348.91015 J. Philos. Log. 45, No. 1, 25-64 (2016). MSC: 91A10 91A06 03B50 03B45 81P45 PDF BibTeX XML Cite \textit{Y. Pelosse}, J. Philos. Log. 45, No. 1, 25--64 (2016; Zbl 1348.91015) Full Text: DOI
Tranchini, Luca Paradox and inconsistency: revising Tennant’s distinction through Schroeder-Heister’s assumption rules. (English) Zbl 1429.03196 Lolli, Gabriele (ed.) et al., From logic to practice. Italian studies in the philosophy of mathematics. Cham: Springer. Boston Stud. Philos. Hist. Sci. 308, 111-121 (2015). MSC: 03F03 03A05 PDF BibTeX XML Cite \textit{L. Tranchini}, Boston Stud. Philos. Hist. Sci. 308, 111--121 (2015; Zbl 1429.03196) Full Text: DOI
Simmons, Keith Paradox, repetition, revenge. (English) Zbl 1382.03023 Topoi 34, No. 1, 121-131 (2015). MSC: 03A05 PDF BibTeX XML Cite \textit{K. Simmons}, Topoi 34, No. 1, 121--131 (2015; Zbl 1382.03023) Full Text: DOI
Murzi, Julien; Carrara, Massimiliano Denial and disagreement. (English) Zbl 1382.03021 Topoi 34, No. 1, 109-119 (2015). MSC: 03A05 03B53 PDF BibTeX XML Cite \textit{J. Murzi} and \textit{M. Carrara}, Topoi 34, No. 1, 109--119 (2015; Zbl 1382.03021) Full Text: DOI
Caret, Colin R.; Weber, Zach A note on contraction-free logic for validity. (English) Zbl 1382.03050 Topoi 34, No. 1, 63-74 (2015). MSC: 03B60 03B22 03B47 03F07 PDF BibTeX XML Cite \textit{C. R. Caret} and \textit{Z. Weber}, Topoi 34, No. 1, 63--74 (2015; Zbl 1382.03050) Full Text: DOI
Terzian, Giulia Norms of truth and logical revision. (English) Zbl 1382.03027 Topoi 34, No. 1, 15-23 (2015). MSC: 03A05 PDF BibTeX XML Cite \textit{G. Terzian}, Topoi 34, No. 1, 15--23 (2015; Zbl 1382.03027) Full Text: DOI
Murzi, Julien; Carrara, Massimiliano Paradox and logical revision. A short introduction. (English) Zbl 1382.03049 Topoi 34, No. 1, 7-14 (2015). MSC: 03B53 03A05 03B60 PDF BibTeX XML Cite \textit{J. Murzi} and \textit{M. Carrara}, Topoi 34, No. 1, 7--14 (2015; Zbl 1382.03049) Full Text: DOI
Asay, Jamin Epistemicism and the liar. (English) Zbl 1360.03015 Synthese 192, No. 3, 679-699 (2015). MSC: 03A05 PDF BibTeX XML Cite \textit{J. Asay}, Synthese 192, No. 3, 679--699 (2015; Zbl 1360.03015) Full Text: DOI
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
Barrio, Eduardo; Rosenblatt, Lucas; Tajer, Diego The logics of strict-tolerant logic. (English) Zbl 1350.03007 J. Philos. Log. 44, No. 5, 551-571 (2015). Reviewer: Louis F. Goble (Salem) MSC: 03A05 03B47 03B50 03B53 PDF BibTeX XML Cite \textit{E. Barrio} et al., J. Philos. Log. 44, No. 5, 551--571 (2015; Zbl 1350.03007) Full Text: DOI
Schurz, Christine Contextual-hierarchical reconstructions of the strengthened liar problem. (English) Zbl 1337.03011 J. Philos. Log. 44, No. 5, 517-550 (2015). Reviewer: Branislav Boričić (Beograd) MSC: 03A05 PDF BibTeX XML Cite \textit{C. Schurz}, J. Philos. Log. 44, No. 5, 517--550 (2015; Zbl 1337.03011) Full Text: DOI
Schindler, Thomas A disquotational theory of truth as strong as \(Z_2^-\). (English) Zbl 1329.03025 J. Philos. Log. 44, No. 4, 395-410 (2015). MSC: 03A05 03F35 PDF BibTeX XML Cite \textit{T. Schindler}, J. Philos. Log. 44, No. 4, 395--410 (2015; Zbl 1329.03025) Full Text: DOI
Fischer, Martin; Halbach, Volker; Kriener, Jönne; Stern, Johannes Axiomatizing semantic theories of truth? (English) Zbl 1350.03009 Rev. Symb. Log. 8, No. 2, 257-278 (2015). Reviewer: Branislav Boričić (Beograd) MSC: 03A05 PDF BibTeX XML Cite \textit{M. Fischer} et al., Rev. Symb. Log. 8, No. 2, 257--278 (2015; Zbl 1350.03009) Full Text: DOI
Meadows, Toby Infinitary tableau for semantic truth. (English) Zbl 1337.03083 Rev. Symb. Log. 8, No. 2, 207-235 (2015). MSC: 03F07 03F03 03A05 PDF BibTeX XML Cite \textit{T. Meadows}, Rev. Symb. Log. 8, No. 2, 207--235 (2015; Zbl 1337.03083) Full Text: DOI
Meadows, Toby Naive infinitism: the case for an inconsistency approach to infinite collections. (English) Zbl 1371.03011 Notre Dame J. Formal Logic 56, No. 1, 191-212 (2015). MSC: 03A05 03E99 PDF BibTeX XML Cite \textit{T. Meadows}, Notre Dame J. Formal Logic 56, No. 1, 191--212 (2015; Zbl 1371.03011) Full Text: DOI Euclid
Orilia, Francesco Degrees of validity and the logical paradoxes. (English) Zbl 1436.03063 Weber, Erik (ed.) et al., Logic, reasoning, and rationality. Selected papers based on the presentations at the congress, Ghent, Belgium, September 20–22, 2010. Dordrecht: Springer. Log. Argum. Reason. 5, 179-196 (2014). MSC: 03A05 PDF BibTeX XML Cite \textit{F. Orilia}, Log. Argum. Reason. 5, 179--196 (2014; Zbl 1436.03063) Full Text: DOI
Martínez-Fernández, José Remarks on the Gupta-Belnap fixed-point property for \(k\)-valued clones. (English) Zbl 1398.03108 J. Appl. Non-Class. Log. 24, No. 1-2, 118-131 (2014). MSC: 03B50 08A40 PDF BibTeX XML Cite \textit{J. Martínez-Fernández}, J. Appl. Non-Class. Log. 24, No. 1--2, 118--131 (2014; Zbl 1398.03108) Full Text: DOI
Cobreros, Pablo; Égré, Paul; Ripley, David; van Rooij, Robert Foreword: three-valued logics and their applications. (English) Zbl 1398.00089 J. Appl. Non-Class. Log. 24, No. 1-2, 1-11 (2014). MSC: 00B25 03-06 03B50 PDF BibTeX XML Cite \textit{P. Cobreros} et al., J. Appl. Non-Class. Log. 24, No. 1--2, 1--11 (2014; Zbl 1398.00089) Full Text: DOI
Rosenblatt, Lucas; Szmuc, Damián E. On pathological truths. (English) Zbl 1319.03019 Rev. Symb. Log. 7, No. 4, 601-617 (2014). MSC: 03A05 PDF BibTeX XML Cite \textit{L. Rosenblatt} and \textit{D. E. Szmuc}, Rev. Symb. Log. 7, No. 4, 601--617 (2014; Zbl 1319.03019) Full Text: DOI
Hjortland, Ole Thomassen Speech acts, categoricity, and the meanings of logical connectives. (English) Zbl 1342.03024 Notre Dame J. Formal Logic 55, No. 4, 445-467 (2014). MSC: 03B50 03B20 03A05 PDF BibTeX XML Cite \textit{O. T. Hjortland}, Notre Dame J. Formal Logic 55, No. 4, 445--467 (2014; Zbl 1342.03024) Full Text: DOI Euclid
Zardini, Elia Naive truth and naive logical properties. (English) Zbl 1345.03014 Rev. Symb. Log. 7, No. 2, 351-384 (2014). MSC: 03A05 PDF BibTeX XML Cite \textit{E. Zardini}, Rev. Symb. Log. 7, No. 2, 351--384 (2014; Zbl 1345.03014) Full Text: DOI
Stern, Johannes Modality and axiomatic theories of truth. I: Friedman-Sheard. (English) Zbl 1345.03043 Rev. Symb. Log. 7, No. 2, 273-298 (2014). MSC: 03B45 PDF BibTeX XML Cite \textit{J. Stern}, Rev. Symb. Log. 7, No. 2, 273--298 (2014; Zbl 1345.03043) Full Text: DOI
Schindler, Thomas Axioms for grounded truth. (English) Zbl 1329.03024 Rev. Symb. Log. 7, No. 1, 73-83 (2014). MSC: 03A05 03F30 PDF BibTeX XML Cite \textit{T. Schindler}, Rev. Symb. Log. 7, No. 1, 73--83 (2014; Zbl 1329.03024) Full Text: DOI
Correia, Fabrice Logical grounds. (English) Zbl 1344.03005 Rev. Symb. Log. 7, No. 1, 31-59 (2014). MSC: 03A05 03B05 PDF BibTeX XML Cite \textit{F. Correia}, Rev. Symb. Log. 7, No. 1, 31--59 (2014; Zbl 1344.03005) Full Text: DOI
Welch, P. D. Some observations on truth hierarchies. (English) Zbl 1329.03028 Rev. Symb. Log. 7, No. 1, 1-30 (2014). MSC: 03A05 PDF BibTeX XML Cite \textit{P. D. Welch}, Rev. Symb. Log. 7, No. 1, 1--30 (2014; Zbl 1329.03028) Full Text: DOI
Dyrkolbotn, Sjur; Walicki, Michał Propositional discourse logic. (English) Zbl 1310.03040 Synthese 191, No. 5, 863-899 (2014). MSC: 03B60 03B65 PDF BibTeX XML Cite \textit{S. Dyrkolbotn} and \textit{M. Walicki}, Synthese 191, No. 5, 863--899 (2014; Zbl 1310.03040) Full Text: DOI
Wintein, Stefan Alternative ways for truth to behave when there’s no vicious reference. (English) Zbl 1342.03011 J. Philos. Log. 43, No. 4, 665-690 (2014). MSC: 03A05 PDF BibTeX XML Cite \textit{S. Wintein}, J. Philos. Log. 43, No. 4, 665--690 (2014; Zbl 1342.03011) Full Text: DOI
Griffiths, Owen Reinflating logical consequence. (English) Zbl 1342.03008 J. Philos. Log. 43, No. 1, 171-179 (2014). MSC: 03A05 PDF BibTeX XML Cite \textit{O. Griffiths}, J. Philos. Log. 43, No. 1, 171--179 (2014; Zbl 1342.03008) Full Text: DOI
Dean, Walter Montague’s paradox, informal provability, and explicit modal logic. (English) Zbl 1352.03062 Notre Dame J. Formal Logic 55, No. 2, 157-196 (2014). MSC: 03F03 03F45 03F50 PDF BibTeX XML Cite \textit{W. Dean}, Notre Dame J. Formal Logic 55, No. 2, 157--196 (2014; Zbl 1352.03062) Full Text: DOI Euclid
Dean, Walter; Kurokawa, Hidenori The paradox of the knower revisited. (English) Zbl 1348.03057 Ann. Pure Appl. Logic 165, No. 1, 199-224 (2014). MSC: 03F30 03B42 03F40 03F45 PDF BibTeX XML Cite \textit{W. Dean} and \textit{H. Kurokawa}, Ann. Pure Appl. Logic 165, No. 1, 199--224 (2014; Zbl 1348.03057) Full Text: DOI
Shapiro, Stewart Tarski’s theorem and the extensionality of truth. (English) Zbl 1303.03029 Erkenntnis 78, No. 5, 1197-1204 (2013). MSC: 03A05 PDF BibTeX XML Cite \textit{S. Shapiro}, Erkenntnis 78, No. 5, 1197--1204 (2013; Zbl 1303.03029) Full Text: DOI
Beall, Jc \(\mathrm{LP}^{+}\), \(\mathrm{K3}^{+}\), \(\mathrm{FDE}^{+}\), and their ‘classical collapse’. (English) Zbl 1315.03002 Rev. Symb. Log. 6, No. 4, 742-754 (2013). MSC: 03A05 03B53 PDF BibTeX XML Cite \textit{J. Beall}, Rev. Symb. Log. 6, No. 4, 742--754 (2013; Zbl 1315.03002) Full Text: DOI
Schwarz, Wolfgang Variations on a Montagovian theme. (English) Zbl 1284.03093 Synthese 190, No. 16, 3377-3395 (2013). MSC: 03A05 03B42 PDF BibTeX XML Cite \textit{W. Schwarz}, Synthese 190, No. 16, 3377--3395 (2013; Zbl 1284.03093) Full Text: DOI
Rabern, Landon; Rabern, Brian; Macauley, Matthew Dangerous reference graphs and semantic paradoxes. (English) Zbl 1328.03005 J. Philos. Log. 42, No. 5, 727-765 (2013). MSC: 03A05 05C90 PDF BibTeX XML Cite \textit{L. Rabern} et al., J. Philos. Log. 42, No. 5, 727--765 (2013; Zbl 1328.03005) Full Text: DOI
Meadows, Toby Truth, dependence and supervaluation: living with the ghost. (English) Zbl 1309.03005 J. Philos. Log. 42, No. 2, 221-240 (2013). MSC: 03A05 PDF BibTeX XML Cite \textit{T. Meadows}, J. Philos. Log. 42, No. 2, 221--240 (2013; Zbl 1309.03005) Full Text: DOI
Picollo, Lavinia María Yablo’s paradox in second-order languages: consistency and unsatisfiability. (English) Zbl 1316.03004 Stud. Log. 101, No. 3, 601-617 (2013). Reviewer: Max A. Freund (San José) MSC: 03A05 03F35 PDF BibTeX XML Cite \textit{L. M. Picollo}, Stud. Log. 101, No. 3, 601--617 (2013; Zbl 1316.03004) Full Text: DOI