A deductive database on Aristotelian logic

DOI10.1016/S0747-7171(89)80030-6MaRDI QIDQ1123023zbMATH OpenFDO

Authors Eyal Mozes

Publication date 1989

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0747-7171(89)80030-6

zbMATH Keywords

aristotelian logicdeductive database

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

Recommendations

• scientific article; zbMATH DE number 3874667
• Conceptual schemas applied to deductive databases
• scientific article; zbMATH DE number 3917748
• Aristotelian Syntax from a Computational–Combinatorial Point of View
• scientific article; zbMATH DE number 4074545

Cited in

(2)

• scientific article; zbMATH DE number 5139605 (Why is no real title available?)
• Aristotle’s Deductive Logic: a Proof-Theoretical Study

This page was built for publication: A deductive database on Aristotelian logic

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