30 search results - page 2 / 6 » Neutrality and Many-Valued Logics |
WILF
2005
Springer
13 years 11 months ago
2005
Springer
ISMVL
1993
IEEE
13 years 9 months ago
1993
IEEE
A construction principle for natural deduction systems for arbitrary finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent...
JANCL
2002
13 years 5 months ago
2002
We prove frame determination results for the family of many-valued modal logics introduced by M. Fitting in the early '90s. Each modal language of this family is based on a H...
ISMVL
1994
IEEE
13 years 9 months ago
1994
IEEE
ISMVL
2000
IEEE
13 years 10 months ago
2000
IEEE
We present a uniform relational framework for developing proof systems for theories of manyvaluedness that may have the form of a logical system, of a class of algebra or of an in...