A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB

DOI10.18778/0138-0680.2021.25zbMath1529.03153arXiv2007.12006OpenAlexW3214032660MaRDI QIDQ6043015

No author found.

Publication date: 4 May 2023

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2007.12006

zbMATH Keywords

modal logictranslationsoundnessinterpretationLeśniewski's ontologyKTBGrzegorczyk's modal logicpropositional ontology

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Gentzen calculi for modal propositional logic
• Proof methods for modal and intuitionistic logics
• A semantical investigation into Leśniewski's axiom of his ontology
• A propositional fragment of Leśniewski's ontology and its formulation by the tableau method
• A propositional fragment of Lesniewski's ontology
• Leśniewski's systems of logic and foundations of mathematics
• On Blass translation for Leśniewski's propositional ontology and modal logics
• Proof theory and algebra in logic
• NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC
• The modal logic of forcing

This page was built for publication: A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB