Aristotelian diagrams for semantic and syntactic consequence
From MaRDI portal
Publication:2690166
DOI10.1007/S11229-018-01994-WzbMath1506.03016OpenAlexW2898376698WikidataQ129025421 ScholiaQ129025421MaRDI QIDQ2690166
Publication date: 15 March 2023
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-018-01994-w
square of oppositionlogical geometrymetalogicAristotelian diagramsemantic consequencesyntactic consequence
Related Items (1)
Cites Work
- Unnamed Item
- Structures of opposition induced by relations. The Boolean and the gradual cases
- Disentangling contradiction from contrariety via incompatibility
- Leibniz's logic and the ``cube of opposition
- Metalogical decorations of logical diagrams
- Relevant restricted quantification
- Combinatorial bitstring semantics for arbitrary logical fragments
- The power of the hexagon
- Logical geometries and information in the square of oppositions
- Probabilistic squares and hexagons of opposition under coherence
- Duality in Rough Set Theory Based on the Square of Opposition
- Computing the maximal Boolean complexity of families of Aristotelian diagrams
- How to Square Knowledge and Belief
- Structures of Oppositions in Public Announcement Logic
- Stipulation and Symmetrical Consequence
- The Algebra of Opposition (and Universal Logic Interpretations)
- The Structure of Oppositions in Rough Set Theory and Formal Concept Analysis - Toward a New Bridge between the Two Settings
This page was built for publication: Aristotelian diagrams for semantic and syntactic consequence