Maximal weakly-intuitionistic logics (Q1896760): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Set OpenAlex properties.
 
(4 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: Antonio M. A. Sette / rank
Normal rank
 
Property / author
 
Property / author: Walter Alexandre Carnielli / rank
Normal rank
 
Property / author
 
Property / author: Antonio M. A. Sette / rank
 
Normal rank
Property / author
 
Property / author: Walter Alexandre Carnielli / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3861360 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Systematization of finite many-valued logics through the method of tableaux / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4328563 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3030797 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5202993 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An algebraic approach to non-classical logics / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/bf01053037 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2048502195 / rank
 
Normal rank

Latest revision as of 10:33, 30 July 2024

scientific article
Language Label Description Also known as
English
Maximal weakly-intuitionistic logics
scientific article

    Statements

    Maximal weakly-intuitionistic logics (English)
    0 references
    16 July 1996
    0 references
    What happens if one adds a new truth-value \(F^*\) to the Boolean values \(\{T, F\}\) such that \(F^*\) and \(\neg F^*\) are both false (\(F\) and \(F^*\) coincide otherwise)? The setting is adequate for an axiomatic calculus \(I^1\) in a \(\{\to, \neg\}\)-language. \(I^1\) turns out to be weakly intuitionistic (or else: paracomplete, i.e. without the law of excluded middle) and not paraconsistent (unlike its companion \(P^1\) which is based on \(\{T, T^*, F\}\) with \(F^*\) and \(\neg F^*\) both being true). Furthermore, it is algebraizable in the sense of Blok and Pigozzi. Adding further truth-values one arrives at a hierarchy of calculi \(I^n\), resp. \(P^n\). The paper contains numerous misprints.
    0 references
    0 references
    weakly-intuitionistic logics
    0 references
    paraconsistency
    0 references
    paracompleteness
    0 references
    algebraizable logic
    0 references
    hierarchy of calculi
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references