Sciweavers

Share
CORR
2011
Springer
166views Education» more  CORR 2011»
8 years 4 months ago
Reduction of Many-valued into Two-valued Modal Logics
In this paper we develop a 2-valued reduction of many-valued logics, into 2-valued multi-modal logics. Such an approach is based on the contextu
Zoran Majkic
ENTCS
2002
66views more  ENTCS 2002»
8 years 9 months ago
Non Truth-Functional Many-Valuedness
Many-valued logics are standardly defined by logical matrices. They are truth-functional. In this paper non truth-functional many-valued semantics are presented, in a philosophica...
Jean-Yves Béziau
ISMVL
1994
IEEE
124views Hardware» more  ISMVL 1994»
9 years 1 months ago
Approximating Propositional Calculi by Finite-Valued Logics
The problem of approximating a propositional calculus is to nd many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few...
Matthias Baaz, Richard Zach
WOLLIC
2009
Springer
9 years 3 months ago
Classic-Like Analytic Tableaux for Finite-Valued Logics
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
Carlos Caleiro, João Marcos
books