Back to Search
Start Over
REMARKS ON STABLE FORMULAS IN INTUITIONISTIC LOGIC.
- Source :
- Logic & Logical Philosophy; Jun2019, Vol. 28 Issue 2, p209-222, 14p
- Publication Year :
- 2019
-
Abstract
- ONNILLI-formulas were introduced in [2] and were shown to be the set of formulas that are preserved under monotonic images of descriptive or Kripke frames. As a result, ONNILLI is a syntactically defined set of formulas that axiomatize all stable logics. In this paper, among other things, by proving the uniform interpolation property for ONNILLI we show that ONNILLI is exactly the set of formulas that are preserved in monotonic bijections of descriptive or (finite) Kripke models. This resolves an open problem in [2]. [ABSTRACT FROM AUTHOR]
- Subjects :
- MATHEMATICAL logic
KRIPKE semantics
AXIOMS
BIJECTIONS
INTERPOLATION
Subjects
Details
- Language :
- English
- ISSN :
- 14253305
- Volume :
- 28
- Issue :
- 2
- Database :
- Supplemental Index
- Journal :
- Logic & Logical Philosophy
- Publication Type :
- Academic Journal
- Accession number :
- 137175823
- Full Text :
- https://doi.org/10.12775/LLP.2018.017