Topological models of propositional logic of problems and propositions

DOI10.3103/S0027132222050059OpenAlexW4315563225MaRDI QIDQ2688115

A. A. Onoprienko

Publication date: 9 March 2023

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3103/s0027132222050059

zbMATH Keywords

nonclassical logicstopological semantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) General topology (54-XX)

Related Items (1)

Cardinality reduction theorem for logics QHC and QH4

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Propositional lax logic
• Cover semantics for quantified lax logic
• Kripke semantics for the logic of problems and propositions
• A Note on the Historical Development of Logic Diagrams: Leibniz, Euler and Venn
• INTUITIONISTIC EPISTEMIC LOGIC
• Topological representations of distributive lattices and Brouwerian logics
• Algebraic postulates and a geometric interpretation for the Lewis calculus of strict implication
• The predicate version of the joint logic of problems and propositions

This page was built for publication: Topological models of propositional logic of problems and propositions