Aristotelian diagrams for semantic and syntactic consequence
Sign Up to like & getrecommendations! Published in 2018 at "Synthese"
DOI: 10.1007/s11229-018-01994-w
Abstract: Several authors have recently studied Aristotelian diagrams for various metatheoretical notions from logic, such as tautology, satisfiability, and the Aristotelian relations themselves. However, all these metalogical Aristotelian diagrams focus on the semantic (model-theoretical) perspective on… read more here.
Keywords: semantic syntactic; metalogical aristotelian; consequence; syntactic consequence ... See more keywords
Aristotelian Diagrams for the Proportional Quantifier 'Most'
Sign Up to like & getrecommendations! Published in 2023 at "Axioms"
DOI: 10.3390/axioms12030236
Abstract: In this paper, we study the interaction between the square of opposition for the Aristotelian quantifiers (‘all’, ‘some’, ‘no’, and ‘not all’) and the square of opposition generated by the proportional quantifier ‘most’ (in its… read more here.
Keywords: proportional quantifier; semantics; diagrams proportional; aristotelian diagrams ... See more keywords
The Modal Logic of Aristotelian Diagrams
Sign Up to like & getrecommendations! Published in 2023 at "Axioms"
DOI: 10.3390/axioms12050471
Abstract: In this paper, we introduce and study AD-logic, i.e., a system of (hybrid) modal logic that can be used to reason about Aristotelian diagrams. The language of AD-logic, LAD, is interpreted on a kind of… read more here.
Keywords: aristotelian diagrams; logic aristotelian; modal logic;