- Validity and Truth-Preservation.Lionel Shapiro & Julien Murzi - 2015 - In D. Achourioti, H. Galinon & J. Martinez (eds.), Unifying the Philosophy of Truth. Springer. pp. 431-459.details
|
|
Principles of proof, etc.G. Kreisel - 1970 - In A. Kino, John Myhill & Richard Eugene Vesley (eds.), Intuitionism and proof theory. Amsterdam,: North-Holland Pub. Co.. pp. 489--5.details
|
|
Solving the paradoxes, escaping revenge.Hartry Field - 2007 - In J. C. Beall (ed.), The Revenge of the Liar: New Essays on the Paradox. Oxford, England: Oxford University Press UK.details
|
|
Systems of logic based on ordinals..Alan Turing - 1939 - London,: Printed by C.F. Hodgson & son.details
|
|
Truth without contra(di)ction.Elia Zardini - 2011 - Review of Symbolic Logic 4 (4):498-535.details
|
|
Naive Logical Properties and Structural Properties.Elia Zardini - 2013 - Journal of Philosophy 110 (11):633-644.details
|
|
Grounding, dependence, and paradox.Steve Yablo - 1982 - Journal of Philosophical Logic 11 (1):117 - 137.details
|
|
Naive Validity.Zach Weber - 2014 - Philosophical Quarterly 64 (254):99-114.details
|
|
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.details
|
|
Systems of Logic Based on Ordinals.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):128-129.details
|
|
A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Second edition of jsl lxiii 1605. Cambridge tracts in theoretical computer science, no. 43. cambridge university press, cambridge, new York, etc., 2000, XII + 417 pp.Roy Dyckhoff - 2001 - Bulletin of Symbolic Logic 7 (2):280-280.details
|
|
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.details
|
|
Transfinite Progressions: A Second Look At Completeness.Torkel Franzén - 2004 - Bulletin of Symbolic Logic 10 (3):367-389.details
|
|
Scott Soames: Understanding Truth.Matthew Mcgrath - 2002 - Philosophy and Phenomenological Research 65 (2):410-417.details
|
|
Précis of Understanding Truth.Scott Soames - 2002 - Philosophy and Phenomenological Research 65 (2):397-401.details
|
|
The very idea of a substructural approach to paradox.Lionel Shapiro - 2016 - Synthese 199 (Suppl 3):767-786.details
|
|
The Logic of Provability.Philip Scowcroft - 1995 - Philosophical Review 104 (4):627.details
|
|
Review: G. Kreisel, Ordinal Logics and the Characterization of Informal Concepts of Proof. [REVIEW]Dana Scott - 1962 - Journal of Symbolic Logic 27 (1):78-78.details
|
|
Conservatively extending classical logic with transparent truth.David Ripley - 2012 - Review of Symbolic Logic 5 (2):354-378.details
|
|
The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.details
|
|
In contradiction: a study of the transconsistent.Graham Priest - 1987 - New York: Oxford University Press.details
|
|
Principles for Object-Linguistic Consequence: from Logical to Irreflexive.Carlo Nicolai & Lorenzo Rossi - 2018 - Journal of Philosophical Logic 47 (3):549-577.details
|
|
Some remarks on the notion of proof.John Myhill - 1960 - Journal of Philosophy 57 (14):461-471.details
|
|
The inexpressibility of validity.Julien Murzi - 2014 - Analysis 74 (1):65-81.details
|
|
Generalized Revenge.Julien Murzi & Lorenzo Rossi - 2020 - Australasian Journal of Philosophy 98 (1):153-177.details
|
|
Fixed Points for Consequence Relations.Toby Meadows - unknowndetails
|
|
Field’s saving truth from paradox: Some things it doesn’t do.Donald A. Martin - 2011 - Review of Symbolic Logic 4 (3):339-347.details
|
|
What Truth Depends on.Hannes Leitgeb - 2005 - Journal of Philosophical Logic 34 (2):155-192.details
|
|
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.details
|
|
Validity as a primitive.J. Ketland - 2012 - Analysis 72 (3):421-430.details
|
|
Levity.Leon Horsten - 2009 - Mind 118 (471):555-581.details
|
|
Tarski hierarchies.Volker Halbach - 1995 - Erkenntnis 43 (3):339 - 367.details
|
|
Tarskian and Kripkean truth.Volker Halbach - 1997 - Journal of Philosophical Logic 26 (1):69-80.details
|
|
Axiomatizing semantic theories of truth?Martin Fischer, Volker Halbach, Jönne Kriener & Johannes Stern - 2015 - Review of Symbolic Logic 8 (2):257-278.details
|
|
Disarming a Paradox of Validity.Hartry Field - 2017 - Notre Dame Journal of Formal Logic 58 (1):1-19.details
|
|
Systems of predicative analysis, II: Representations of ordinals.Solomon Feferman - 1968 - Journal of Symbolic Logic 33 (2):193-220.details
|
|
Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.details
|
|
Transfinite Recursive Progressions of Axiomatic Theories.Solomon Feferman - 1967 - Journal of Symbolic Logic 32 (4):530-531.details
|
|
Systems of predicative analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.details
|
|
VIII.—Truth.Michael Dummett - 1959 - Proceedings of the Aristotelian Society 59 (1):141-162.details
|
|
Truth.Michael Dummett - 1959 - Proceedings of the Aristotelian Society 59 (1):141-62.details
|
|
VIII.—Truth.Michael Dummett - 1959 - Proceedings of the Aristotelian Society 59:141-162.details
|
|
Truth.Michael Dummett - 1968 - Journal of Symbolic Logic 33 (1):148-148.details
|
|
A paradox regained.D. Kaplan & R. Montague - 1960 - Notre Dame Journal of Formal Logic 1 (3):79-90.details
|
|
The inconsistency of certain formal logic.Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (3):115-117.details
|
|
There is No Paradox of Logical Validity.Roy T. Cook - 2014 - Logica Universalis 8 (3-4):447-467.details
|
|
The Inconsistency of Certain Formal Logics.Alonzo Church & Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (4):170.details
|
|
The Logic of Provability.Timothy Williamson - 1996 - Philosophical Quarterly 46 (182):110-116.details
|
|
Two Flavors of Curry’s Paradox.Jc Beall & Julien Murzi - 2013 - Journal of Philosophy 110 (3):143-165.details
|
|
A Calculus for Antinomies.F. G. Asenjo - 1966 - Notre Dame Journal of Formal Logic 16 (1):103-105.details
|
|