Paraconsistent or Paracomplete?
暂无分享,去创建一个
[1] Tore Fjetland Øgaard,et al. Prospects for a Naive Theory of Classes , 2017, Notre Dame J. Formal Log..
[2] Hartry Field. Disarming a Paradox of Validity , 2017, Notre Dame J. Formal Log..
[3] Hartry Field,et al. INDICATIVE CONDITIONALS, RESTRICTED QUANTIFICATION, AND NAIVE TRUTH , 2015, The Review of Symbolic Logic.
[4] Shawn Standefer. On Artifacts and Truth-Preservation , 2015 .
[5] David Ripley,et al. Paraconsistent Logic , 2015, J. Philos. Log..
[6] Hartry Field. Naive Truth and Restricted Quantification: Saving Truth a whole lot Better , 2014, Rev. Symb. Log..
[7] Andrew Bacon. Curry’s Paradox and ω -Inconsistency , 2013, Stud Logica.
[8] Michael Caie. Belief and Indeterminacy , 2012 .
[9] Zach Weber,et al. Extensionality and Restriction in Naive Set Theory , 2010, Stud Logica.
[10] Graham Priest. Hopes Fade For Saving Truth , 2010, Philosophy.
[11] J. Beall. Spandrels of Truth , 2009 .
[12] Hartry Field. Saving Truth From Paradox , 2008 .
[13] Allen P. Hazen,et al. Relevant Restricted Quantification , 2006, J. Philos. Log..
[14] J. Hamkins. A simple maximality principle , 2000, Journal of Symbolic Logic.
[15] Petr Hájek,et al. The liar paradox and fuzzy logic , 2000, Journal of Symbolic Logic.
[16] Anthony Hunter,et al. Paraconsistent logics , 1998 .
[17] G. Boolos. The logic of provability , 1993 .
[18] Greg Restall. Arithmetic and truth in L/ukasiewicz''s infinitely valued logic , 1992 .
[19] Vann McGee. A Counterexample to Modus Ponens , 1985 .
[20] Ross T. Brady. The simple consistency of a set theory based on the logic CSQ , 1983, Notre Dame J. Formal Log..
[21] David Lewis,et al. Ordering semantics and premise semantics for counterfactuals , 1981, J. Philos. Log..
[22] John P. Burgess,et al. Quick completeness proofs for some logics of conditionals , 1981, Notre Dame J. Formal Log..
[23] Saul A. Kripke,et al. Outline of a Theory of Truth , 1975 .
[24] Robert Stalnaker. A Theory of Conditionals , 2019, Knowledge and Conditionals.
[25] Solomon Feferman,et al. Transfinite recursive progressions of axiomatic theories , 1962, Journal of Symbolic Logic.