THE CLASS OF ALL 3-VALUED NATURAL CONDITIONAL VARIANTS OF RM3 THAT ARE PLUMWOOD ALGEBRAS

Kód výsledku v IS VaVaI

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

Výsledek na webu

<a href="https://ojs.victoria.ac.nz/ajl/article/view/8285" target="_blank" >https://ojs.victoria.ac.nz/ajl/article/view/8285</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

THE CLASS OF ALL 3-VALUED NATURAL CONDITIONAL VARIANTS OF RM3 THAT ARE PLUMWOOD ALGEBRAS

Popis výsledku v původním jazyce

Valerie Plumwood introduced in Some false laws of logic [15] a series of arguments on how the rules Exported Syllogism, Disjunctive Syllogism, Commutation, and Exportation are not acceptable. Based on this we define the class of Plumwood algebras, logical matrices that do not verify any of these theses. Afterwards we provide conditional variants of the characteristic matrix of the logic RM3 that are also Plumwood algebras. These matrices are given an axiomatization Semantics. Finally we provide results of Soundness and Completeness in the strong sense for each of the defined variants.

Název v anglickém jazyce

THE CLASS OF ALL 3-VALUED NATURAL CONDITIONAL VARIANTS OF RM3 THAT ARE PLUMWOOD ALGEBRAS

Popis výsledku anglicky

Valerie Plumwood introduced in Some false laws of logic [15] a series of arguments on how the rules Exported Syllogism, Disjunctive Syllogism, Commutation, and Exportation are not acceptable. Based on this we define the class of Plumwood algebras, logical matrices that do not verify any of these theses. Afterwards we provide conditional variants of the characteristic matrix of the logic RM3 that are also Plumwood algebras. These matrices are given an axiomatization Semantics. Finally we provide results of Soundness and Completeness in the strong sense for each of the defined variants.

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

AUSTRALASIAN JOURNAL OF LOGIC

ISSN

1448-5052

e-ISSN

—

Svazek periodika

20

Číslo periodika v rámci svazku

2

Stát vydavatele periodika

NZ - Nový Zéland

Počet stran výsledku

31

Strana od-do

188-218

Kód UT WoS článku

001032544500005

EID výsledku v databázi Scopus

—