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
The result's identifiers
Result code in 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>
Result on the web
<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
—
Alternative languages
Result language
angličtina
Original language name
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
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2023
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Journal of Applied Logics — IfCoLog Journal of Logics and their Applications
ISSN
2631-9810
e-ISSN
2631-9829
Volume of the periodical
10
Issue of the periodical within the volume
1
Country of publishing house
GB - UNITED KINGDOM
Number of pages
18
Pages from-to
1-18
UT code for WoS article
000970763900001
EID of the result in the Scopus database
2-s2.0-85148688917