Mechanizing Logic. II: Automated map logic method for relational arguments on paper and by computer

From MaRDI portal
(Redirected from Publication:759743)

DOI10.1305/NDJFL/1093870633MaRDI QIDQ759743zbMATH OpenOpenAlexFDO

Authors J. M. Rybak, John Rybak

Publication date 1984

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093870633


zbMATH Keywords

algorithmic syllogistic methodcomputer programdeductive reasoningdiagrammatic method

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) Classical propositional logic (03B05) Mechanization of proofs and logical operations (03B35)




Review text

This is a continuation of Part I (reviewed above) and the authors' paper, ibid. 17, 469-475 (1976; Zbl 0286.02023): the authors present an algorithmic syllogistic method which solves problems presented in logical form; they richly comment and exemplify the method; they also introduce a first version of its computer program.


Recommendations



Cited in
(4)








This page was built for publication: Mechanizing Logic. II: Automated map logic method for relational arguments on paper and by computer

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Mechanizing_Logic._II:_Automated_map_logic_method_for_relational_arguments_on_paper_and_by_computer&oldid=64121661"
Powered by MediaWiki