Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: RM3

Sortuj według:

Ogranicz wyniki do:

The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property

Robles G.

Reports on Mathematical Logic

2016

Vol. 51

105--131

The logic RM3 is the 3-valued extension of the logic R-Mingle (RM). RM (and so, RM3) does not have the variable- sharing property (vsp), but RM3 (and so, RM) lacks the more “offending" “paradoxes of relevance”, such as A → (B → A) or ⌐A → (A → B). Thus, RM and RM3 can be useful when “some relevance”, but not the full vsp, is needed. Sublogics of RM3 with the vsp are well known, but this is not the case with those lacking this property. The first aim of this paper is to define an ample family of sublogics of RM3 without the vsp. The second one is to provide these sublogics and RM3 itself with a general Routley- Meyer semantics, that is, the semantics devised for relevant logics in the early seventies of the past century.