Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Results found: 2

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  4-valued logics
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1
Content available remote

Relational semantics for the 4-valued relevant logics BN4 and E4

100%
Robles G., Blanco J. M., López S. M., Paradela J. R., Recio M. M.
Logic and Logical Philosophy
|
2016
|
vol. 25
|
issue 2
173-201
EN
The logic BN4 was defined by R.T. Brady in 1982. It can be considered as the 4-valued logic of the relevant conditional. E4 is a variant of BN4 that can be considered as the 4-valued logic of (relevant) entailment. The aim of this paper is to define reduced general Routley-Meyer semantics for BN4 and E4. It is proved that BN4 and E4 are strongly sound and complete w.r.t. their respective semantics.
2

Relational semantics for the 4-valued relevant logics BN4 and E4

100%
Robles G.
Logic and Logical Philosophy
|
2016
|
vol. 25
|
issue 2
173–201
EN
The logic BN4 was defined by R.T. Brady in 1982. It can be considered as the 4-valued logic of the relevant conditional. E4 is a variant of BN4 that can be considered as the 4-valued logic of (relevant) entailment. The aim of this paper is to define reduced general Routley-Meyer semantics for BN4 and E4. It is proved that BN4 and E4 are strongly sound and complete w.r.t. their respective semantics.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.