-
43Non-Classical Circular DefinitionsAustralasian Journal of Logic 14 (1). 2017.Circular denitions have primarily been studied in revision theory in the classical scheme. I present systems of circular denitions in the Strong Kleene and supervaluation schemes and provide complete proof systems for them. One class of denitions, the intrinsic denitions, naturally arises in both schemes. I survey some of the features of this class of denitions.
Taipei, Taiwan
Areas of Specialization
16 more
Areas of Interest
16 more
PhilPapers Editorships
Revision Theory of Truth |
Proof Theory |