Federacja Bibliotek Cyfrowych

Homepage
Akademicka Platforma Czasopism
Relational Semantics for the Paraconsistent and Paracomplete 4-valued Logic PŁ4

Object's details: Relational Semantics for the Paraconsistent and Paracomplete 4-valued Logic PŁ4

tile.noImage

Provider:Akademicka Platforma Czasopism

Description

Title:
Relational Semantics for the Paraconsistent and Paracomplete 4-valued Logic PŁ4
Creator:
Robles, Gemma;
López, Sandra M.;
Blanco, José M.
Description:
The paraconsistent and paracomplete 4-valued logic PŁ4 is originally interpreted with a two-valued Belnap-Dunn semantics. In the present paper, PŁ4 is endowed with both a ternary Routley-Meyer semantics and a binary Routley semantics together with their respective restriction to the 2 set-up cases.
Object availability:
free access
Rights:
Prawa autorskie (c) 2022 Gemma Robles, Sandra M. López, José M. Blanco;
https://creativecommons.org/licenses/by-nd/4.0
Date:
2022.04.23
Type:
info:eu-repo/semantics/article;
info:eu-repo/semantics/publishedVersion
Language:
English
Source:
Logic and Logical Philosophy; Vol. 31 No. 4 (2022): December; 665-687;
Logic and Logical Philosophy; Tom 31 Nr 4 (2022): grudzień; 665-687;
2300-9802;
1425-3305
Format:
application/pdf
Publisher:
Uniwersytet Mikołaja Kopernika w Toruniu
Relation: https://apcz.umk.pl/LLP/article/view/37930/32048
Subject:
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
Identifier: https://apcz.umk.pl/LLP/article/view/37930
Data provider:
Akademicka Platforma Czasopism

Similar objects

tile.noImage

Relational Semantics for the Paraconsistent and Paracomplete 4-valued Logic PŁ4

Creator:Robles, Gemma | López, Sandra M. | Blanco, José M.

Date:2022.04.23

Type:text

tile.noImage

A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4

Creator:Robles, Gemma | López, Sandra M. | Blanco, José M. | Recio, Marcos M. | Paradela, Jesús R.

Date:2017.05.16 | 2016

Type:image

tile.noImage

A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\)

Creator:Robles, Gemma | Méndez, José M.

Date:2023.02.10 | 2022.10.14

Type:other

tile.noImage

Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities

Creator:Petrukhin, Yaroslav

Date:2025.04.28

Type:text

tile.noImage

Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B

Creator:López, Sandra M.

Date:2021.03.12

Type:other

tile.noImage

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

Creator:Robles, Gemma | Blanco, José M. | López, Sandra M. | Paradela, Jesús R. | Recio, Marcos M.

Date:2016.04.25

Type:text

tile.noImage

Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B

Creator:López, Sandra M.

Date:2022.05.19 | 2021.09.02

Type:other

tile.noImage

A Routley-Meyer semantics for Ackermann’s logics of “strenge implication”

Creator:Méndez, José M.

Date:2010.03.30

Type:text

FBC TeNe Project

Project co-financed by European Funds under the Operational Program Digital Poland for 2014-2020 (project no. POPC.02.04.00-00-0012 / 20-00)

More information about the project can be found at: https://tene.fbc.pionier.net.pl

European Funds. Digital Poland

Republic of Poland

Digital Libraries Federation

European Union - European Regional Development Fund

We use files, through the cookie quality improvement layer of our website.For more information, please read the document Privacy Policy