Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem (Q2267005): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q5812189 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: A logic for approximate reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theory of truth degrees of propositions in two-valued logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3416527 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On equivalent forms of fuzzy logic systems NM and IMTL / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3610910 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A 16-classification partition of formula set \(F(S)\) in revised Kleene system \(\overline W\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theory of truth degrees of propositions in the logic system \(L_{n}^{*}\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: A unified approximate reasoning theory suitable for both propositional calcus system\(\mathcal L^\ast\) and predicate calculus system \(\mathcal K^\ast\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4778314 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2791610 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theory of truth degrees of formulas in Łukasiewicz \(n\)-valued propositional logic and a limit theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Consistency degrees of theories in some systems of propositional fuzzy logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new theory consistency index based on deduction theorems in several logic systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space / rank
 
Normal rank
Property / cites work
 
Property / cites work: Integrated semantics and logic metric spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Randomization of classical inference patterns and its application / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5425146 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An intrinsic fuzzy set on the universe of discourse of predicate formulas / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2744124 / rank
 
Normal rank

Latest revision as of 12:34, 2 July 2024

scientific article
Language Label Description Also known as
English
Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem
scientific article

    Statements

    Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem (English)
    0 references
    0 references
    0 references
    26 February 2010
    0 references
    modal logic
    0 references
    truth degrees
    0 references
    consistency theorem
    0 references
    temporal logic
    0 references
    approximate reasoning
    0 references
    similarity degrees
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

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