scientific article; zbMATH DE number 1778925

MaRDI QIDQ4544208zbMATH OpenFDO

Authors K. I. Bakhtiyarov

Publication date 27 October 2002

zbMATH Keywords

method of logical vectorssolution algorithm for syllogisms

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Recommendations

• Mechanizing Logic. II: Automated map logic method for relational arguments on paper and by computer
• A new algorithmic decision for categorical syllogisms via Carroll's diagrams
• Aristotelian Syntax from a Computational–Combinatorial Point of View
• Computation of Aristotle's and Gergonne's syllogisms
• scientific article; zbMATH DE number 1145837

Cited in

(2)

• A new algorithmic decision for categorical syllogisms via Carroll's diagrams
• A novel algorithmic construction for deductions of categorical polysyllogisms by Carroll's diagrams

Describes a project that uses

Uses Software

• Visual Basic
• Excel

This page was built for publication:

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