- Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.details
|
|
Cut for core logic.Neil Tennant - 2012 - Review of Symbolic Logic 5 (3):450-479.details
|
|
A natural extension of natural deduction.Peter Schroeder-Heister - 1984 - Journal of Symbolic Logic 49 (4):1284-1300.details
|
|
Maximal Non-trivial Sets of Instances of Your Least Favorite Logical Principle.Lucas Rosenblatt - 2020 - Journal of Philosophy 117 (1):30-54.details
|
|
Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.details
|
|
Comparing Substructural Theories of Truth.David Ripley - 2015 - Ergo: An Open Access Journal of Philosophy 2.details
|
|
Conservatively extending classical logic with transparent truth.David Ripley - 2012 - Review of Symbolic Logic 5 (2):354-378.details
|
|
Self-reference and the languages of arithmetic.Richard Heck - 2007 - Philosophia Mathematica 15 (1):1-29.details
|
|
Generalized Revenge.Julien Murzi & Lorenzo Rossi - 2019 - Australasian Journal of Philosophy 98 (1):153-177.details
|
|
Naïve validity.Julien Murzi & Lorenzo Rossi - 2017 - Synthese 199 (Suppl 3):819-841.details
|
|
Principles for Object-Linguistic Consequence: from Logical to Irreflexive.Carlo Nicolai & Lorenzo Rossi - 2018 - Journal of Philosophical Logic 47 (3):549-577.details
|
|
Elementary induction on abstract structures.Yiannis Nicholas Moschovakis - 1974 - Mineola, N.Y.: Dover Publications.details
|
|
Fixed Points for Consequence Relations.Toby Meadows - unknowndetails
|
|
Maximal consistent sets of instances of Tarski’s schema.Vann McGee - 1992 - Journal of Philosophical Logic 21 (3):235 - 241.details
|
|
Logical Consequence and the Paradoxes.Edwin Mares & Francesco Paoli - 2014 - Journal of Philosophical Logic 43 (2-3):439-469.details
|
|
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.details
|
|
An Introduction to Substructural Logics.Greg Restall - 1999 - New York: Routledge.details
|
|
Understanding Truth.Scott Soames - 1998 - Oxford and New York: Oxford University Press USA.details
|
|
The Tarskian Turn: Deflationism and Axiomatic Truth.Leon Horsten - 2011 - MIT Press.details
|
|
Levity.Leon Horsten - 2009 - Mind 118 (471):555-581.details
|
|
Structural Reflexivity and the Paradoxes of Self-Reference.Rohan French - 2016 - Ergo: An Open Access Journal of Philosophy 3.details
|
|
Non-classical Elegance for Sequent Calculus Enthusiasts.Andreas Fjellstad - 2017 - Studia Logica 105 (1):93-119.details
|
|
Disarming a Paradox of Validity.Hartry Field - 2017 - Notre Dame Journal of Formal Logic 58 (1):1-19.details
|
|
Two Flavors of Curry’s Paradox.Jc Beall & Julien Murzi - 2013 - Journal of Philosophy 110 (3):143-165.details
|
|
Nonclassical theories of truth.Jc Beall & David Ripley - 2018 - In Jc Beall & David Ripley (eds.), Oxford Handbook of Truth.details
|
|
Saving truth from paradox.Hartry H. Field - 2008 - New York: Oxford University Press.details
|
|
Doubt truth to be a liar.Graham Priest - 2006 - New York: Oxford University Press.details
|
|
The inconsistency of certain formal logic.Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (3):115-117.details
|
|
Tolerant, Classical, Strict.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2012 - Journal of Philosophical Logic 41 (2):347-385.details
|
|
Reaching Transparent Truth.Pablo Cobreros, Paul Égré, David Ripley & Robert van Rooij - 2013 - Mind 122 (488):841-866.details
|
|
The Inconsistency of Certain Formal Logics.Alonzo Church & Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (4):170.details
|
|
Truth without contra(di)ction.Elia Zardini - 2011 - Review of Symbolic Logic 4 (4):498-535.details
|
|
Spandrels of truth.Jc Beall - 2010 - Bulletin of Symbolic Logic 16 (2):284-286.details
|
|
It Is Not the Case that [P and 'It Is Not the Case that P' Is True] nor Is It the Case that [P and 'P' Is Not True].Elia Zardini - 2012 - Thought: A Journal of Philosophy 1 (4):309-319.details
|
|
(2 other versions)Doubt Truth to Be a Liar.Graham Priest - 2007 - Bulletin of Symbolic Logic 13 (4):541-544.details
|
|
(2 other versions)Doubt Truth to Be a Liar.Graham Priest - 2007 - Studia Logica 87 (1):129-134.details
|
|
Naive truth and naive logical properties.Elia Zardini - 2014 - Review of Symbolic Logic 7 (2):351-384.details
|
|
Revising Up: Strengthening Classical Logic in the Face of Paradox.David Ripley - 2013 - Philosophers' Imprint 13.details
|
|
Naive Logical Properties and Structural Properties.Elia Zardini - 2013 - Journal of Philosophy 110 (11):633-644.details
|
|
Getting One for Two, or the Contractors’ Bad Deal. Towards a Unified Solution to the Semantic Paradoxes.Elia Zardini - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer.details
|
|