ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC L<sub>vft</sub> (Q4950599): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Fuzzy sets in a approximate reasoning. I: Inference with possibility distributions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fuzzy sets in approximate reasoning. II: Logical approaches / rank
 
Normal rank
Property / cites work
 
Property / cites work: ENRICHED INTERVAL BILATTICES AND PARTIAL MANY-VALUED LOGICS: AN APPROACH TO DEAL WITH GRADED TRUTH AND IMPRECISION / rank
 
Normal rank
Property / cites work
 
Property / cites work: The logic of inexact concepts / rank
 
Normal rank
Property / cites work
 
Property / cites work: Filters and structure of lattice implication algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: First-order fuzzy logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Fuzzy Logic I Many‐valued rules of inference / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Note on Pavelka's Fuzzy Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(L\)-valued propositional logic \(L_{\text{vpl}}\) / rank
 
Normal rank

Latest revision as of 15:15, 29 May 2024

scientific article; zbMATH DE number 1428261
Language Label Description Also known as
English
ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC L<sub>vft</sub>
scientific article; zbMATH DE number 1428261

    Statements

    ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC L<sub>vft</sub> (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    9 April 2000
    0 references
    many-valued logic
    0 references
    lattice-valued logic
    0 references
    lattice implication algebras
    0 references
    \(g\)-Skolem standard form
    0 references
    resolution principle
    0 references

    Identifiers