Binary resolution over complete residuated Stone lattices

DOI10.1016/J.FSS.2007.10.001zbMATH Open1176.03006OpenAlexW2035759493MaRDI QIDQ835103FDOQ835103

Authors: 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

Recommendations

• Binary resolution over Boolean lattices
• On the refutational completeness of signed binary resolution and hyperresolution
• A resolution method for linguistic many-valued logic
• scientific article; zbMATH DE number 1829817
• Generalized resolution in Boolean operator fuzzy logic

zbMATH Keywords

automated deductionmany-valued logicsknowledge representation and reasoningresolution proof methods

Mathematics Subject Classification ID

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

Cites Work

• A structure-preserving clause form translation
• An optimality result for clause form translation
• Binary resolution over Boolean lattices
• Title not available (Why is that?)
• Short Conjunctive Normal Forms in Finitely Valued Logics

Cited In (4)

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

This page was built for publication: Binary resolution over complete residuated Stone lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q835103)