History of Relating Logic. The Origin and Research Directions
From MaRDI portal
Publication:5066088
DOI10.12775/LLP.2021.021zbMath1496.03004OpenAlexW4200569682MaRDI QIDQ5066088
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
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