Negation and Implication in Quasi-Nelson Logic (Q5059693): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Algebraizable logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the structure of varieties with equationally definable principal congruences. III / rank
 
Normal rank
Property / cites work
 
Property / cites work: Caracterisation des algèbres de Nelson par des egalités, I / rank
 
Normal rank
Property / cites work
 
Property / cites work: The class of Kleene algebras satisfying an interpolation property and Nelson algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fregean logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3185647 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Residuated lattices. An algebraic glimpse at substructural logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4160890 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic semantics for quasi-Nelson logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5736159 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructible falsity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Representation of De Morgan and (semi-)Kleene lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5869701 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quasi-Nelson algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quasi-Nelson; or, non-involutive Nelson algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4025007 / rank
 
Normal rank

Latest revision as of 08:24, 31 July 2024

scientific article; zbMATH DE number 7642560
Language Label Description Also known as
English
Negation and Implication in Quasi-Nelson Logic
scientific article; zbMATH DE number 7642560

    Statements

    Negation and Implication in Quasi-Nelson Logic (English)
    0 references
    0 references
    0 references
    16 January 2023
    0 references
    Nelson's constructive logic with strong negation
    0 references
    quasi-Nelson algebras
    0 references
    implication-negation subreducts
    0 references
    QNI-algebra
    0 references
    quasi-Nelson logic
    0 references
    algebraizable logics
    0 references

    Identifiers