Relational Semantics for the Paraconsistent and Paracomplete 4-valued Logic PL4

ROBLES, Gemma, Sandra M LOPEZ a José Miguel BLANCO SÁNCHEZ. Relational Semantics for the Paraconsistent and Paracomplete 4-valued Logic PL4. Logic and logical philosophy. Torun, Poland: Nicholas Copernicus University Press, 2022, roč. 31, č. 4, s. 665-687. ISSN 1425-3305. Dostupné z: https://dx.doi.org/10.12775/LLP.2022.016.

Základní údaje

• Originální název: Relational Semantics for the Paraconsistent and Paracomplete 4-valued Logic PL4
• Autoři: ROBLES, Gemma, Sandra M LOPEZ a José Miguel BLANCO SÁNCHEZ (724 Španělsko, garant, domácí).
• Vydání: Logic and logical philosophy, Torun, Poland, Nicholas Copernicus University Press, 2022, 1425-3305.

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Článek v odborném periodiku
• Obor: 10201 Computer sciences, information science, bioinformatics
• Stát vydavatele: Polsko
• Utajení: není předmětem státního či obchodního tajemství
• WWW: URL
• Impakt faktor: Impact factor: 0.500
• Kód RIV: RIV/00216224:14330/22:00126673
• Organizační jednotka: Fakulta informatiky
• Doi: http://dx.doi.org/10.12775/LLP.2022.016
• UT WoS: 000791473100001
• Klíčová slova anglicky: paraconsistent logics; paracomplete logics; 4-valued logics; modal 4-valued logics; Routley-Meyer semantics; binary Routley semantics; 2 set-up Routley-Meyer semantics; 2 set-up binary Routley semantics

Anotace

The paraconsistent and paracomplete 4-valued logic PL4 is originally interpreted with a two-valued Belnap-Dunn semantics. In the present paper, PL4 is endowed with both a ternary Routley-Meyer semantics and a binary Routley semantics together with their respective restriction to the 2 set-up case.