Journal of Philosophical Logic (1) (2019)
Authors |
|
Abstract |
We show that any coherent complete partial order is obtainable as the fixed-point poset of the strong Kleene jump of a suitably chosen first-order ground model. This is a strengthening of Visser’s result that any finite ccpo is obtainable in this way. The same is true for the van Fraassen supervaluation jump, but not for the weak Kleene jump.
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
Reprint years | 2019 |
ISBN(s) | |
DOI | 10.1007/s10992-018-9479-9 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
The Revision Theory of Truth.Vann McGee - 1996 - Philosophy and Phenomenological Research 56 (3):727-730.
Semantics and the Liar Paradox.Albert Visser - 1989 - Handbook of Philosophical Logic 4 (1):617--706.
View all 7 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
Supervaluation Fixed-Point Logics of Truth.Philip Kremer & Alasdair Urquhart - 2008 - Journal of Philosophical Logic 37 (5):407-440.
Comparing Fixed-Point and Revision Theories of Truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.
On the Weak Kleene Scheme in Kripke's Theory of Truth.James Cain & Zlatan Damnjanovic - 1991 - Journal of Symbolic Logic 56 (4):1452-1468.
A Fixed Point Theorem for the Weak Kleene Valuation Scheme.Anil Gupta & Robert L. Martin - 1984 - Journal of Philosophical Logic 13 (2):131 - 135.
From Closure Games to Strong Kleene Truth.Stefan Wintein - 2016 - Notre Dame Journal of Formal Logic 57 (2):153-179.
Fixed-Point Models for Theories of Properties and Classes.Greg Restall - 2017 - Australasian Journal of Logic 14 (1).
About the Proof-Theoretic Ordinals of Weak Fixed Point Theories.Gerhard Jäger & Barbara Primo - 1992 - Journal of Symbolic Logic 57 (3):1108-1119.
Provably True Sentences Across Axiomatizations of Kripke’s Theory of Truth.Carlo Nicolai - 2018 - Studia Logica 106 (1):101-130.
Truth, Partial Logic and Infinitary Proof Systems.Martin Fischer & Norbert Gratzl - 2017 - Studia Logica 106 (3):515-540.
Two Kinds of Fixed Point Theorems and Reverse Mathematics.Weiguang Peng & Takeshi Yamazaki - 2017 - Mathematical Logic Quarterly 63 (5):454-461.
Analytics
Added to PP index
2018-08-26
Total views
246 ( #34,332 of 2,401,732 )
Recent downloads (6 months)
49 ( #15,823 of 2,401,732 )
2018-08-26
Total views
246 ( #34,332 of 2,401,732 )
Recent downloads (6 months)
49 ( #15,823 of 2,401,732 )
How can I increase my downloads?
Downloads