Binary resolution over complete residuated Stone lattices

DOI10.1016/j.fss.2007.10.001zbMath1176.03006OpenAlexW2035759493MaRDI QIDQ835103

Dušan Guller

Publication date: 28 August 2009

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2007.10.001

zbMATH Keywords

many-valued logicsautomated deductionknowledge representation and reasoningresolution proof methods

Mathematics Subject Classification ID

Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50)

Related Items

General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic, Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\), On the refutational completeness of signed binary resolution and hyperresolution

Cites Work

• Unnamed Item
• Binary resolution over Boolean lattices
• A structure-preserving clause form translation
• An optimality result for clause form translation
• Short Conjunctive Normal Forms in Finitely Valued Logics