scientific article; zbMATH DE number 1461245

MaRDI QIDQ4485829zbMATH OpenFDO

Authors Stanley N. Burris

Publication date 19 June 2000

zbMATH Keywords

first-order logicpropositional logicresolutionterm rewritingtextbook

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) History of mathematical logic and foundations (03-03) Classical propositional logic (03B05) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Recommendations

• Logic for computer scientists
• The mathematics of logic. A guide to completeness theorems and their applications
• Logic for computer scientists
• scientific article; zbMATH DE number 5306054
• scientific article; zbMATH DE number 46338

Cited in

(15)

• Keeping logic in the trivium of computer science: a teaching perspective
• Replacement in logic
• Infinite Hamilton cycles in squares of locally finite graphs
• scientific article; zbMATH DE number 3115104 (Why is no real title available?)
• scientific article; zbMATH DE number 107624 (Why is no real title available?)
• Logics for Computer Science
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• scientific article; zbMATH DE number 1852932 (Why is no real title available?)
• Introduction to logic
• Logic calculi in informatics. How is logic used by the computer?
• Sets, logic and maths for computing
• Mathematical logic. Foundations for information science
• Subsumption-linear Q-resolution for QBF theorem proving
• Nominal logic with equations only
• Producing and verifying extremely large propositional refutations

Describes a project that uses

Uses Software

• OTTER

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 Q4485829)