Approximating Propositional Calculi by Finite-valued Logics
From MaRDI portal
Publication:6471742
DOI10.1109/ISMVL.1994.302193arXivmath/0203204MaRDI QIDQ6471742
Publication date: 19 March 2002
03B45: Modal logic (including the logic of norms)
03B60: Other nonclassical logic
03B50: Many-valued logic