332 search results - page 2 / 67 » Many-valued hybrid logic |
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 4 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
CORR
2007
Springer
13 years 4 months ago
2007
Springer
ISMVL
2000
IEEE
13 years 9 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...