Cardinality reduction theorem for logics QHC and QH4

DOI10.1007/s10469-023-09715-0OpenAlexW4388498400MaRDI QIDQ6148010

A. A. Onoprienko

Publication date: 11 January 2024

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-023-09715-0

zbMATH Keywords

translationKripke semanticsnonclassical logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Group theory and generalizations (20-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
• Quantification in nonclassical logic. Volume I.
• Intuitionism. An introduction
• From fibring to cryptofibring. A solution to the collapsing problem
• Constructivism in mathematics. An introduction. Volume I
• Propositional lax logic
• Topological models of propositional logic of problems and propositions
• Explicit Provability and Constructive Semantics
• The Russell–Prawitz modality
• A modal logic amalgam of classical and intuitionistic propositional logic
• Cover semantics for quantified lax logic
• Kripke semantics for the logic of problems and propositions
• Combining Classical and Intuitionistic Implications
• Grothendieck Topology as Geometric Modality
• INTUITIONISTIC EPISTEMIC LOGIC
• On the interpretation of intuitionistic number theory
• The predicate version of the joint logic of problems and propositions