Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7257238
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Modal extension of ideal paraconsistent four-valued logic and its subsystem |
scientific article; zbMATH DE number 7257238 |
Statements
Modal extension of ideal paraconsistent four-valued logic and its subsystem (English)
0 references
7 October 2020
0 references
The paper starts from a paraconsistent four-valued logic 4CC and adds modal operators, thus defining a modal logic M4CC. This logic embeds in the modal logic S4. Moreover, for a certain subset M4CC* of M4CC, a converse embedding also exists. 4CC is both paraconsistent and paracomplete: both the principle of explosion and the law of excluded middle are rejected. Both M4CC and M4CC* are sequent calculi and enjoy Kripke completeness, cut elimination, decidability and finite model property. A further section introduces the modal diamond as a primitive operator.
0 references
ideal paraconsistent four-valued logic
0 references
Gentzen-type sequent calculus
0 references
Kripke-completeness theorem
0 references
cut-elimination theorem
0 references
embedding theorem
0 references
0.8042492866516113
0 references
0.7941271066665649
0 references
0.76917964220047
0 references
0.757228434085846
0 references
