Implicational (semilinear) logics. I: A new hierarchy (Q971883): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s00153-010-0178-7 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2084033816 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4085699 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fuzzy logics as the logics of chains / 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: Algebraizable logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3934450 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weakly implicative (fuzzy) logics. I: Basic properties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Implicational (semilinear) logics. I: A new hierarchy / rank
 
Normal rank
Property / cites work
 
Property / cites work: Protoalgebraic logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4870564 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A propositional calculus with denumerable matrix / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4715441 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A survey of abstract algebraic logic / 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: Adding involution to residuated structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: On theories and models in fuzzy predicate logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: A complete many-valued logic with product-conjunction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Selfextensional logics with a conjunction / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the structure of rotation-invariant semigroups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Substructural fuzzy logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Positive Sugihara monoids / rank
 
Normal rank
Property / cites work
 
Property / cites work: An algebraic approach to non-classical logics / rank
 
Normal rank

Latest revision as of 19:37, 2 July 2024

scientific article
Language Label Description Also known as
English
Implicational (semilinear) logics. I: A new hierarchy
scientific article

    Statements

    Implicational (semilinear) logics. I: A new hierarchy (English)
    0 references
    0 references
    0 references
    17 May 2010
    0 references
    abstract algebraic logic
    0 references
    hierarchy of implicational logics
    0 references
    implicative logics
    0 references
    Leibniz hierarchy
    0 references
    linearly ordered logical matrices
    0 references
    mathematical fuzzy logic
    0 references
    semilinear logics
    0 references

    Identifiers

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