Weakly algebraizable logics (Q4508251): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.2307/2586559 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2007863954 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On subtractive varieties. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: An algebraic approach to non-classical logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: The deduction theorem for quantum logic—some negative results / rank
 
Normal rank
Property / cites work
 
Property / cites work: Characterizing equivalential and algebraizable logics by the Leibniz operator / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equivalential and algebraizable logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4715441 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reduced products of logical matrices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraizable logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: On subtractive varieties II: General properties / rank
 
Normal rank

Latest revision as of 15:09, 30 May 2024

scientific article; zbMATH DE number 1512468
Language Label Description Also known as
English
Weakly algebraizable logics
scientific article; zbMATH DE number 1512468

    Statements

    Weakly algebraizable logics (English)
    0 references
    0 references
    0 references
    3 October 2000
    0 references
    Leibniz congruence
    0 references
    weakly algebraizable logics
    0 references
    Leibniz operator
    0 references
    protoalgebraic logics
    0 references

    Identifiers

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