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