scientific article; zbMATH DE number 695097
From MaRDI portal
Publication:4314600
zbMath0811.03015MaRDI QIDQ4314600
Erik Rosenthal, Neil V. Murray
Publication date: 1 May 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
resolutiontableaudissolutionmultiple-valued logicsclassical deductive techniqueslogic of signed formulas
Related Items
Systems of ordinal fuzzy logic with application to preference modelling, Binary resolution over Boolean lattices, A first polynomial non-clausal class in many-valued logic, On the refutational completeness of signed binary resolution and hyperresolution, The possibilistic Horn non-clausal knowledge bases