Approximating Propositional Calculi by Finite-valued Logics

DOI10.1109/ISMVL.1994.302193arXivmath/0203204MaRDI QIDQ6471742

Richard Zach, Matthias Baaz

Publication date: 19 March 2002

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B60: Other nonclassical logic

03B50: Many-valued logic