Q5863756 (Q5863756): 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 / cites work
 
Property / cites work: Weakly implicative (fuzzy) logics. I: Basic properties / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Quest for the Basic Fuzzy Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5406033 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5389290 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic completeness results for R-mingle and its extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Undecidability of modal and intermediate first-order logics with two individual variables / rank
 
Normal rank
Property / cites work
 
Property / cites work: A pretabular classical relevance logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Kripke‐style semantics for many‐valued logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Corrigendum to “Kripke‐style semantics for many‐valued logics” / rank
 
Normal rank
Property / cites work
 
Property / cites work: Independent bases for rules admissible in pretabular logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: There exists an uncountable set of pretabular extensions of the relevant logic <i>R</i> and each logic of this set is generated by a variety of finite height / rank
 
Normal rank
Property / cites work
 
Property / cites work: A semantical study of constructible falsity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5188171 / rank
 
Normal rank
Property / cites work
 
Property / cites work: (Star-Based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic Kripke-style semantics for relevance logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nilpotent Minimum Logic NM and Pretabularity / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 04:48, 29 July 2024

scientific article; zbMATH DE number 7536428
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7536428

    Statements

    0 references
    3 June 2022
    0 references
    pretabularity
    0 references
    fuzzy logic
    0 references
    nilpotent minimum logics
    0 references
    Kripke-style semantics
    0 references
    algebraic semantics
    0 references
    many-valued logic
    0 references

    Identifiers