Simplification of many-valued logic formulas using anti-links

DOI10.1093/logcom/8.4.569zbMath0907.03008OpenAlexW2054921149MaRDI QIDQ4209297

Bernhard Beckert, Reiner Hähnle, Gonzalo Escalada-Imaz

Publication date: 2 March 1999

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://publikationen.bibliothek.kit.edu/14997

zbMATH Keywords

many-valued logicprime implicatessubsumptionprime implicants

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items

A first polynomial non-clausal class in many-valued logic, The possibilistic Horn non-clausal knowledge bases