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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
External links
- From the Publisher via CrossRef (no proxy)
- link.springer.com (no proxy)
- doi.org
(no proxy) - link.springer.com [2] (no proxy)
- rdcu.be (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
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):1-26.
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
338 ( #27,990 of 2,461,809 )
Recent downloads (6 months)
55 ( #15,356 of 2,461,809 )
2018-08-26
Total views
338 ( #27,990 of 2,461,809 )
Recent downloads (6 months)
55 ( #15,356 of 2,461,809 )
How can I increase my downloads?
Downloads
