LOGICS FOR THE RELATIONAL SYLLOGISTIC

DOI10.1017/S1755020309990086MaRDI QIDQ5850983zbMATH OpenOpenAlexFDO

Authors Ian Pratt-Hartmann, Lawrence S. Moss

Publication date 21 January 2010

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020309990086

zbMATH Keywords

Aristotelian logicreductio ad absurdumrelational syllogisticsyllogistic proof system

Mathematics Subject Classification ID

Philosophical aspects of logic and foundations (03A99) Classical propositional logic (03B05) Decidability of theories and sets of sentences (03B25) Other nonclassical logic (03B60) Logic of natural languages (03B65)

Recommendations

• scientific article; zbMATH DE number 4016856
• scientific article; zbMATH DE number 4177028
• Relational Logics and Their Applications
• Exploring the landscape of relational syllogistic logics
• scientific article; zbMATH DE number 2063839
• Relational proof system for relevant logics
• A relational syllogistic
• scientific article; zbMATH DE number 970626
• Logical relations for a logical framework
• scientific article; zbMATH DE number 2063838

Cites work

• Aristotelian syllogisms and generalized quantifiers
• Aristotle'S natural deduction reconsidered
• Completeness of an ancient logic
• Fragments of language
• Natural language syntax and first-order inference
• On the Decision Problem for Two-Variable First-Order Logic
• What is a syllogism?

Cited in

(42)

• Equivalential structures for binary and ternary syllogistics
• An axiomatisation of a pure calculus of names
• Subatomic negation
• Relating semantics for connexive logic
• Relational syllogisms with numerical quantifiers and beyond
• A new algorithmic decision for categorical syllogisms via Carroll's diagrams
• Natural density and the quantifier ``most
• The Hamiltonian syllogistic
• A system of relational syllogistic incorporating full Boolean reasoning
• The syllogistic with unity
• Argument deletion, thematic roles, and Leibniz's logico-grammatical analysis of relations
• The quantified argument calculus
• Syllogistic logic with ``most
• scientific article; zbMATH DE number 4016856 (Why is no real title available?)
• scientific article; zbMATH DE number 4177028 (Why is no real title available?)
• Syllogistic logic with cardinality comparisons
• Aristotelian Syntax from a Computational–Combinatorial Point of View
• Syllogistic logics with verbs
• Logics for two fragments beyond the syllogistic boundary
• A relational syllogistic
• Establishing Connections between Aristotle's Natural Deduction and First-Order Logic
• Syllogistic logic with comparative adjectives
• scientific article; zbMATH DE number 2063838 (Why is no real title available?)
• Exploring the tractability border in epistemic tasks
• scientific article; zbMATH DE number 6131387 (Why is no real title available?)
• Adding Guarded Constructions to the Syllogistic
• Exploring the landscape of relational syllogistic logics
• Aristotle’s Relations: An Interpretation in Combinatory Logic
• An algebraic analysis of categorical syllogisms by using Carroll’s diagrams
• Syllogistic logic with cardinality comparisons, on infinite sets
• Leibnizian Intensional Semantics for Syllogistic Reasoning
• Canonical syllogistic moods in traditional Aristotelian logic
• Relational Logics and Their Applications
• A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL
• Syllogistic logic with ``most
• On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics
• scientific article; zbMATH DE number 2246059 (Why is no real title available?)
• A simple logic of concepts
• Modal syllogistic
• The soundness of internalized polarity marking
• A generalized syllogistic inference system based on inclusion and exclusion relations
• Mechanizing logic. I: Map logic extended formally to relational arguments

This page was built for publication: LOGICS FOR THE RELATIONAL SYLLOGISTIC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5850983)