Computational logic

MaRDI QIDQ479004zbMATH OpenFDO

Authors

Publication date 5 December 2014

Published in Handbook of the History of Logic (Search for Journal in Brave)

Full work available at URL http://www.sciencedirect.com/science/handbooks/18745857/9

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Logic in computer science (03B70) History of computer science (68-03) Database theory (68P15) Theory of computing (68Qxx)

Cited in

(9)

• Communities and ancestors associated with Egon Börger and ASM
• Automating free logic in HOL, with an experimental application in category theory
• scientific article; zbMATH DE number 5841868 (Why is no real title available?)
• Martin Davis’s Bibliography 1950–2015
• scientific article; zbMATH DE number 52096 (Why is no real title available?)
• scientific article; zbMATH DE number 176729 (Why is no real title available?)
• Being Consistent About Inconsistency: Toward the Rational Fusing of Inconsistent Propositional Logic Bases
• scientific article; zbMATH DE number 4187780 (Why is no real title available?)
• Label of a linguistic value in a universe of discourse and the truth values of fuzzy propositions

This page was built for publication: Computational logic

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