scientific article; zbMATH DE number 1461245

zbMath0959.03002MaRDI QIDQ4485829

Stanley N. Burris

Publication date: 19 June 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

textbookfirst-order logicpropositional logicresolutionterm rewriting

Mathematics Subject Classification ID

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

Related Items (5)

Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Subsumption-linear Q-resolution for QBF theorem proving ⋮ Replacement in logic ⋮ Producing and verifying extremely large propositional refutations ⋮ Infinite Hamilton cycles in squares of locally finite graphs

Uses Software

• OTTER

This page was built for publication: