Journal article
Non-Classical Circular Definitions
S Standefer
The Australasian Journal of Logic | Victoria University of Wellington | Published : 2017
Abstract
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.
Grants
Awarded by Australian Research Council
Funding Acknowledgements
This research was supported by the Australian Research Council, Discovery Grant DP150103801.