On How the 2 Set-Up Routley-Meyer Semantics Are a Specific Case of the Reduced General Routley-Meyer Semantics in the Context of Some 4-Valued Logics

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F23%3A00130023" target="_blank" >RIV/00216224:14330/23:00130023 - isvavai.cz</a>

Výsledek na webu

<a href="http://www.collegepublications.co.uk/downloads/ifcolog00057.pdf" target="_blank" >http://www.collegepublications.co.uk/downloads/ifcolog00057.pdf</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

On How the 2 Set-Up Routley-Meyer Semantics Are a Specific Case of the Reduced General Routley-Meyer Semantics in the Context of Some 4-Valued Logics

Popis výsledku v původním jazyce

Routley-Meyer ternary relational semantics can be introduced for models in different ways depending on how the set of regular elements of the model is defined. Two of the most prominent ones are the Reduced General semantics and the 2 Set-up semantics. On the other hand, Lt$i$-logics are 4-valued logics characterized by variations of the conditional of the matrices upon which Brady's logic BN4, and Robles and M'endez's E4 are built. When Lt$i$-logics are endowed with the Reduced General semantics they conform Lt$i$-models; when endowed with 2 Set-up semantics, they conform 2 Set-up Lt$i$-models. Then, it is shown that 2 Set-up Lt$i$-models are actually a specific case of the more general structure that are the Lt$i$-models.

Název v anglickém jazyce

On How the 2 Set-Up Routley-Meyer Semantics Are a Specific Case of the Reduced General Routley-Meyer Semantics in the Context of Some 4-Valued Logics

Popis výsledku anglicky

Routley-Meyer ternary relational semantics can be introduced for models in different ways depending on how the set of regular elements of the model is defined. Two of the most prominent ones are the Reduced General semantics and the 2 Set-up semantics. On the other hand, Lt$i$-logics are 4-valued logics characterized by variations of the conditional of the matrices upon which Brady's logic BN4, and Robles and M'endez's E4 are built. When Lt$i$-logics are endowed with the Reduced General semantics they conform Lt$i$-models; when endowed with 2 Set-up semantics, they conform 2 Set-up Lt$i$-models. Then, it is shown that 2 Set-up Lt$i$-models are actually a specific case of the more general structure that are the Lt$i$-models.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2023

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Journal of Applied Logics — IfCoLog Journal of Logics and their Applications

ISSN

2631-9810

e-ISSN

2631-9829

Svazek periodika

10

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

18

Strana od-do

1-18

Kód UT WoS článku

000970763900001

EID výsledku v databázi Scopus

2-s2.0-85148688917