COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC (Q3188323): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Leibniz-linked pairs of deductive systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: A survey of abstract algebraic logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the infinite-valued Łukasiewicz logic that preserves degrees of truth / rank
 
Normal rank
Property / cites work
 
Property / cites work: Positive modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4530231 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Trends in logic. 50 years of Studia Logica / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Suszko operator. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Protoalgebraic logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logics Preserving Degrees of Truth from Varieties of Residuated Lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4530155 / 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: On the closure properties of the class of full G-models of a deductive system / rank
 
Normal rank
Property / cites work
 
Property / cites work: Leibniz filters and the strong version of a protoalgebraic logic / rank
 
Normal rank

Revision as of 10:39, 12 July 2024

scientific article
Language Label Description Also known as
English
COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC
scientific article

    Statements

    COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC (English)
    0 references
    0 references
    0 references
    0 references
    19 August 2016
    0 references
    Leibniz operator
    0 references
    Suszko operator
    0 references
    Tarski operator
    0 references
    compatibility operator
    0 references
    coherent family
    0 references
    protoalgebraic logic
    0 references
    truth-equational logic
    0 references
    algebraic logic
    0 references

    Identifiers