Pages that link to "Item:Q2626488"

The following pages link to Aristotle's syllogistic from the standpoint of modern formal logic (Q2626488):

Displaying 22 items.

• Validity, the squeezing argument and alternative semantic systems: the case of Aristotelian syllogistic (Q427220) (← links)
• A generalized syllogistic inference system based on inclusion and exclusion relations (Q692203) (← links)
• Aristotelian syllogisms and generalized quantifiers (Q918951) (← links)
• An algebraic approach to traditional logic (Q1217792) (← links)
• Proof of decidability of the traditional calculus of names (Q1239722) (← links)
• Refutation systems in modal logic (Q1327486) (← links)
• Extended Gergonne syllogisms (Q1366765) (← links)
• A system of relational syllogistic incorporating full Boolean reasoning (Q2255203) (← links)
• On Lesniewski's elementary ontology (Q2265413) (← links)
• Semantic analysis of the modal syllogistic (Q2366246) (← links)
• On proofs of rejection (Q2556848) (← links)
• The systems of modal calculus of names. I (Q2557236) (← links)
• Aristotle on Universal Quantification: A Study from the Point of View of Game Semantics (Q2963961) (← links)
• Fred Sommers’ Contributions to Formal Logic (Q2963964) (← links)
• Polarity and Inseparability: The Foundation of the Apodictic Portion of Aristotle's Modal Logic (Q3012666) (← links)
• Establishing Connections between Aristotle's Natural Deduction and First-Order Logic (Q3615005) (← links)
• 1998 European Summer Meeting of the Association for Symbolic Logic (Q4254644) (← links)
• The existential assumptions of traditional logic (Q4344731) (← links)
• A reconstruction of Aristotle's modal syllogistic (Q5475360) (← links)
• Rejection: a historico-epistemological view (Q6146291) (← links)
• Modal syllogistic (Q6599618) (← links)
• The naturalness of Jacques Lacan's logic (Q6600393) (← links)