332 search results - page 2 / 67 » Many-valued hybrid logic |
121
click to vote
ISMVL
1993
IEEE
15 years 3 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
14 years 11 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
15 years 3 months ago
1994
IEEE
CORR
2007
Springer
14 years 11 months ago
2007
Springer
ISMVL
2000
IEEE
15 years 4 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...