Left variable inclusion logics associated with classical logic (Q7034183)
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 7977890
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Left variable inclusion logics associated with classical logic |
scientific article; zbMATH DE number 7977890 |
Statements
Left variable inclusion logics associated with classical logic (English)
0 references
31 January 2025
0 references
The authors give a complete description of its subclassical extensions by considering pure left variable inclusion companion of classical logic. They also provide relative axiomatizations and characteristic (sets of) matrices for each one of these extensions, as well as syntactic descriptions (in terms of variable inclusion criteria) for the valid entailments of some of them and determine in each case the algebra reducts of the Suszko-reduced matrix models.
0 references
algebraic logic
0 references
logics of variable inclusion
0 references
paraconsistent weak Kleene logic
0 references
Płonka sums
0 references
0 references
0 references
