Cardinality reduction theorem for logics QHC and QH4

DOI10.1007/S10469-023-09715-0OpenAlexW4388498400MaRDI QIDQ6148010FDOQ6148010

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

nonclassical logicsKripke semanticstranslation

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Constructivism in mathematics. An introduction. Volume I
• Title not available (Why is that?)
• Intuitionism. An introduction
• Explicit provability and constructive semantics
• Handbook of modal logic
• On the interpretation of intuitionistic number theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Propositional lax logic
• Cover semantics for quantified lax logic
• Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
• Title not available (Why is that?)
• The Russell-Prawitz modality
• Quantification in nonclassical logic. Volume I.
• Grothendieck Topology as Geometric Modality
• From fibring to cryptofibring. A solution to the collapsing problem
• INTUITIONISTIC EPISTEMIC LOGIC
• Title not available (Why is that?)
• Title not available (Why is that?)
• Combining Classical and Intuitionistic Implications
• A modal logic amalgam of classical and intuitionistic propositional logic
• The predicate version of the joint logic of problems and propositions
• Topological models of propositional logic of problems and propositions
• Kripke semantics for the logic of problems and propositions
• Title not available (Why is that?)

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)