Cardinality reduction theorem for logics QHC and QH4
From MaRDI portal
Publication:6148010
DOI10.1007/s10469-023-09715-0OpenAlexW4388498400MaRDI QIDQ6148010
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
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