Erratum to ``Binary resolution over Boolean lattices

DOI10.1016/J.FSS.2006.06.012zbMath1118.03308OpenAlexW170474485MaRDI QIDQ853425

Dušan Guller

Publication date: 15 November 2006

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

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

zbMATH Keywords

knowledge representationmany-valued logicsautomated deductionresolution proof systems

Mathematics Subject Classification ID

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

This page was built for publication: Erratum to ``Binary resolution over Boolean lattices