Cardinality reduction theorem for logics QHC and QH4

DOI10.1007/S10469-023-09715-0MaRDI QIDQ6148010zbMATH OpenOpenAlexFDO

Authors 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

Kripke semanticsnonclassical logicstranslation

Mathematics Subject Classification ID

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

Cites work

• A modal logic amalgam of classical and intuitionistic propositional logic
• Combining Classical and Intuitionistic Implications
• Constructivism in mathematics. An introduction. Volume I
• Cover semantics for quantified lax logic
• Explicit provability and constructive semantics
• From fibring to cryptofibring. A solution to the collapsing problem
• Grothendieck Topology as Geometric Modality
• Handbook of modal logic
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 4041866 (Why is no real title available?)
• scientific article; zbMATH DE number 3685485 (Why is no real title available?)
• scientific article; zbMATH DE number 107511 (Why is no real title available?)
• scientific article; zbMATH DE number 1140670 (Why is no real title available?)
• scientific article; zbMATH DE number 1140673 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 3448545 (Why is no real title available?)
• scientific article; zbMATH DE number 1858071 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Intuitionism. An introduction
• INTUITIONISTIC EPISTEMIC LOGIC
• Kripke semantics for the logic of problems and propositions
• On the interpretation of intuitionistic number theory
• Propositional lax logic
• Quantification in nonclassical logic. Volume I.
• Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
• The predicate version of the joint logic of problems and propositions
• The Russell-Prawitz modality
• Topological models of propositional logic of problems and propositions

This page was built for publication: Cardinality reduction theorem for logics QHC and QH4

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6148010)