The simplest protoalgebraic logic (Q5396225): 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: Algebraic semantics for deductive systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: On weakening the Deduction Theorem and strengthening Modus Ponens / rank
 
Normal rank
Property / cites work
 
Property / cites work: Leibniz interpolation properties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Beyond Rasiowa's algebraic approach to non-classical logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2772907 / 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 closure properties of the class of full G-models of a deductive system / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(C_ 1\) is not algebraizable / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some theorems about the sentential calculi of Lewis and Heyting / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5441554 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Contextual deduction theorems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Inconsistency lemmas in algebraic logic / 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: Admissibility of logical inference rules / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theory of logical calculi. Basic theory of consequence operations / rank
 
Normal rank

Latest revision as of 07:38, 7 July 2024

scientific article; zbMATH DE number 6255549
Language Label Description Also known as
English
The simplest protoalgebraic logic
scientific article; zbMATH DE number 6255549

    Statements

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references