2501 search results - page 81 / 501 » Logics with Rank Operators |
CCIA
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. The operation of base contraction was successfully characterized for a very general class of logics using the notion of remainder sets. Although, in the general case, thi...
ENTCS
2006
15 years 22 days ago
2006
ACP is combined with Belnap's four-valued logic via conditional composition (if
98
Voted
IANDC
2006
15 years 22 days ago
2006
Fixpoint Logic with Chop extends the modal
KR
1998
Springer
15 years 5 months ago
1998
Springer
The paper investigates the characterisation of vague concepts within the framework of modal logic. This work builds on the supervaluation approach of Fine and exploits the idea of...
ISMVL
2008
IEEE
15 years 7 months ago
2008
IEEE
Nanoscale multiple-valued logic systems require the development of nanometer scale integrated circuits and components. Due to limits in device physics, new components must be deve...