Back to Search
Start Over
Cardinality Reduction Theorem for Logics QHC and QH4.
- Source :
-
Algebra & Logic . Jan2023, Vol. 61 Issue 6, p491-505. 15p. - Publication Year :
- 2023
-
Abstract
- The joint logic of problems and propositions QHC introduced by S. A. Melikhov, as well as intuitionistic modal logic QH4, is studied. An immersion of these logics into classical first-order predicate logic is considered. An analog of the Löwenheim–Skolem theorem on the existence of countable elementary submodels for QHC and QH4 is established. [ABSTRACT FROM AUTHOR]
- Subjects :
- *FIRST-order logic
*PREDICATE (Logic)
*MODAL logic
*PROPOSITION (Logic)
*LOGIC
Subjects
Details
- Language :
- English
- ISSN :
- 00025232
- Volume :
- 61
- Issue :
- 6
- Database :
- Academic Search Index
- Journal :
- Algebra & Logic
- Publication Type :
- Academic Journal
- Accession number :
- 174097024
- Full Text :
- https://doi.org/10.1007/s10469-023-09715-0