scientific article; zbMATH DE number 510785

MaRDI QIDQ4281258zbMATH OpenFDO

Authors G. E. Mints

Publication date 26 September 1994

zbMATH Keywords

clause normal formfirst-order predicate logicGentzen systemshyperresolutionintuitionistic logicquantified modal logicquantified nonclassical logicsresolution

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 15881
• scientific article; zbMATH DE number 4055570
• scientific article; zbMATH DE number 1880278
• scientific article; zbMATH DE number 683345
• Modal resolution in clausal form
• scientific article; zbMATH DE number 970623
• scientific article; zbMATH DE number 4027426
• Resolution-based calculi for modal and temporal logics
• Linear strategy for propositional modal resolution
• Publication:3030268

Cited in

(16)

• Gentzen-type systems, resolution and tableaux
• Resolution calculus for the first order linear logic
• A Gentzen system for conditional logic
• Labelled resolution for classical and non-classical logics
• Modification of the Robinson's resolution method for built-in predicates
• On temporal logic S4Dbr
• The resolution method for one reducible class of formulas of the first-order modal logic S4.
• Gentzen-like systems for partial propositional calculi. I. II
• Decidability of the class E by Maslov's inverse method
• scientific article; zbMATH DE number 4027425 (Why is no real title available?)
• scientific article; zbMATH DE number 4037813 (Why is no real title available?)
• scientific article; zbMATH DE number 4106803 (Why is no real title available?)
• scientific article; zbMATH DE number 15881 (Why is no real title available?)
• Three faces of natural deduction
• Complexity of translations from resolution to sequent calculus
• Implementation of BASELOG editor module for first-order predicate calculus formula transformation

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