History of Relating Logic. The Origin and Research Directions

DOI10.12775/LLP.2021.021zbMath1496.03004OpenAlexW4200569682MaRDI QIDQ5066088

Mateusz Klonowski

Publication date: 29 March 2022

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2021.021

zbMATH Keywords

relating logicEpstein's programmeTorunian programme of relating semantics

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Other nonclassical logic (03B60) History of mathematical logic and foundations (03-03)

Related Items (2)

Tableaux for logics of content relationship and set-assignment semantics ⋮ Boolean connexive logic and content relationship

Cites Work

• Belief, awareness, and limited reasoning
• Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
• Axiomatization of some basic and modal Boolean connexive logics
• Relating semantics as fine-grained semantics for intensional logics
• Some intensional logics defined by relating semantics and tableau systems
• Relating semantics for connexive logic
• Algebraic analysis of demodalised analytic implication
• Boolean Connexive Logics: Semantics and tableau approach
• A Post-style proof of completeness theorem for symmetric relatedness Logic S
• On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach
• Modal Boolean Connexive Logics: Semantics and Tableau Approach
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: History of Relating Logic. The Origin and Research Directions