scientific article; zbMATH DE number 510785

zbMath0796.03014MaRDI QIDQ4281258

Grigori Mints

Publication date: 26 September 1994

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

zbMATH Keywords

first-order predicate logicresolutionintuitionistic logicquantified modal logicGentzen systemshyperresolutionclause normal formquantified nonclassical logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (6)

Three faces of natural deduction ⋮ On temporal logic S4Dbr ⋮ The resolution method for one reducible class of formulas of the first-order modal logic S4. ⋮ Decidability of the Class E by Maslov’s Inverse Method ⋮ Complexity of translations from resolution to sequent calculus ⋮ Resolution calculus for the first order linear logic

This page was built for publication: