- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The fixed point and the Craig interpolation properties for sublogics of $$\textbf{IL}$$
Archive for Mathematical Logic 63 (1):1-37 (2024)
Abstract
We study the fixed point property and the Craig interpolation property for sublogics of the interpretability logic \(\textbf{IL}\). We provide a complete description of these sublogics concerning the uniqueness of fixed points, the fixed point property and the Craig interpolation property.My notes
Similar books and articles
Consistency and interpolation in linear continuous logic.Mahya Malekghasemi & Seyed-Mohammad Bagheri - 2023 - Archive for Mathematical Logic 62 (7):931-939.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
Ranks based on strong amalgamation Fraïssé classes.Vincent Guingona & Miriam Parnes - 2023 - Archive for Mathematical Logic 62 (7):889-929.
Linear orders with distinguished function symbol.Douglas Cenzer, Barbara F. Csima & Bakhadyr Khoussainov - 2009 - Archive for Mathematical Logic 48 (1):63-76.
Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness.Sándor Jenei - 2022 - Archive for Mathematical Logic 62 (1):67-86.
Generic existence of interval P-points.Jialiang He, Renling Jin & Shuguo Zhang - 2023 - Archive for Mathematical Logic 62 (5):619-640.
Independent families and some notions of finiteness.Eric Hall & Kyriakos Keremedis - 2023 - Archive for Mathematical Logic 62 (5):689-701.
Two kinds of fixed point theorems and reverse mathematics.Weiguang Peng & Takeshi Yamazaki - 2017 - Mathematical Logic Quarterly 63 (5):454-461.
Interpolation via translations.João Rasga, Walter Carnielli & Cristina Sernadas - 2009 - Mathematical Logic Quarterly 55 (5):515-534.
C-Quasi-Minimal enumeration degrees below c'.Boris Solon - 2006 - Archive for Mathematical Logic 45 (4):505-517.
Craig's theorem and syntax of abstract logics.Jouko Vaananen - 1982 - Bulletin of the Section of Logic 11 (1-2):82-83.
Hardness assumptions in the foundations of theoretical computer science.Jan Krajíček - 2005 - Archive for Mathematical Logic 44 (6):667-675.
Analytics
Added to PP
2023-06-15
Downloads
13 (#1,029,095)
6 months
12 (#208,186)
2023-06-15
Downloads
13 (#1,029,095)
6 months
12 (#208,186)
Historical graph of downloads
References found in this work
An effective fixed-point theorem in intuitionistic diagonalizable algebras.Giovanni Sambin - 1976 - Studia Logica 35 (4):345 - 361.
Modal completeness of sublogics of the interpretability logic IL.Taishi Kurahashi & Yuya Okawa - 2021 - Mathematical Logic Quarterly 67 (2):164-185.
The uniqueness of the fixed-point in every diagonalizable algebra.Claudio Bernardi - 1976 - Studia Logica 35 (4):335 - 343.
Explicit Fixed Points in Interpretability Logic.Dick de Jongh & Albert Visser - 1991 - Studia Logica 50 (1):39-49.
Explicit fixed points in interpretability logic.Dick Jongh & Albert Visser - 1991 - Studia Logica 50 (1):39 - 49.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-659b74868d-gf2vn uwo