scientific article; zbMATH DE number 5050044

zbMATH Open1095.03015MaRDI QIDQ5482597FDOQ5482597

Authors: Norihiro Kamide 

Publication date: 28 August 2006

Title of this publication is not available (Why is that?)

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

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)

Cited In (2)

• Bounded linear-time temporal logic: a proof-theoretic investigation
• Title not available (Why is that?)

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)