scientific article; zbMATH DE number 5050044

MaRDI QIDQ5482597zbMATH OpenFDO

Authors Norihiro Kamide

Publication date 28 August 2006

zbMATH Keywords

completenesssequent calculuscut-eliminationHerbrand theoremparaconsistent resolution

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05) Logic programming (68N17) Mechanization of proofs and logical operations (03B35)

Recommendations

• Paraconsistent resolution
• Resolution and the integrality of satisfiability problems
• Univalent foundations of mathematics and paraconsistency
• Resolution principles in possibilistic logic
• Publication:3485886
• A resolution principle for constrained logics
• scientific article; zbMATH DE number 4128792
• On the complexity of resolution with bounded conjunctions
• Aspects of Paraconsistent Logic
• scientific article; zbMATH DE number 605214

Cited in

(4)

• Bounded linear-time temporal logic: a proof-theoretic investigation
• Paraconsistent resolution
• Dual erotetic calculi and the minimal \(\mathsf{LFI}\)
• scientific article; zbMATH DE number 4164174 (Why is no real title available?)

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