论文信息 - IN PRAISE OF A LOGIC OF DEFINITIONS THAT TOLERATES Ω-INCONSISTENCY - 字舞流文

IN PRAISE OF A LOGIC OF DEFINITIONS THAT TOLERATES Ω-INCONSISTENCY

Anil Gupta | Anil Gupta

[1] Riccardo Bruni,et al. A Rational Way of Playing: Revision Theory for Strategic Interaction , 2018, J. Philos. Log..

[2] Shawn Standefer. Non-Classical Circular Definitions , 2017 .

[3] Philip Kremer,et al. The Gupta-Belnap systems S# and S* are not axiomatisable , 1993, Notre Dame J. Formal Log..

[4] Eduardo Alejandro Barrio,et al. Notes on ω-Inconsistent Theories of Truth in second-order Languages , 2013, Rev. Symb. Log..

[5] C. I. Lewis,et al. The Semantic Conception of Truth and the Foundations of Semantics , 1944 .

[6] Maricarmen Martinez,et al. Some Closure Properties of Finite Definitions , 2001, Stud Logica.

[7] Saul A. Kripke,et al. Outline of a Theory of Truth , 1975 .

[8] Shawn Standefer,et al. Conditionals in Theories of Truth , 2017, J. Philos. Log..

[9] Gian Aldo Antonelli,et al. The Complexity of Revision , 1994, Notre Dame J. Formal Log..

[10] Shawn Standefer,et al. SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS , 2015, The Review of Symbolic Logic.

[11] Gian Aldo Antonelli,et al. The Complexity of Revision, Revised , 2002, Notre Dame J. Formal Log..

[12] Vann McGee. How truthlike can a predicate be? A negative result , 1985, J. Philos. Log..