Categorical approaches to non-commutative fuzzy logic (Q622031): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: A note to the definition of the Ł\(\Pi\)-algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5586461 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pseudo-t-norms and pseudo-BL algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some classes of pseudo-BL algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4842966 / rank
 
Normal rank
Property / cites work
 
Property / cites work: L-fuzzy sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Metamathematics of fuzzy logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fuzzy Logics with Noncommutative Conjuctions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Observations on non-commutative fuzzy logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5692887 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Mathematics of Sentence Structure / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3727946 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3411965 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5639839 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4836222 / 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: Q3996704 / rank
 
Normal rank
Property / cites work
 
Property / cites work: When does a category built on a lattice with a monoidal structure have a monoidal structure? / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4836223 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A categorical semantics for fuzzy predicate logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4495851 / rank
 
Normal rank

Revision as of 16:46, 3 July 2024

scientific article
Language Label Description Also known as
English
Categorical approaches to non-commutative fuzzy logic
scientific article

    Statements

    Categorical approaches to non-commutative fuzzy logic (English)
    0 references
    31 January 2011
    0 references
    By a noncommutative logic we understand a logic with noncommutative conjunction. Such logics are studied here from the categorial point of view. Examples of structures with a noncommutative operation as a possible conjunction are generated so that these structures have suitable properties to serve as truth values for a logic. Inference in the propositional logic is obtained from the categorial properties (products, coproducts, monoidal and closed structures, adjoint functors) of the categories of truth values. It is shown how to extend this view of propositional logic to a predicate logic using categories of propositions about a type \(A\) with functors giving change of type and adjoints giving quantifiers. In the case where the semantics is defined in \textbf{Set}\((L)\) (Goguen's category of \(L\)-valued fuzzy sets), the categories of predicates about \(A\) can be represented as internal category objects with the quantifiers as internal functors.
    0 references
    fuzzy logic
    0 references
    noncommutative logic
    0 references
    residuated lattice
    0 references
    quantale
    0 references
    higher-order fuzzy logic
    0 references
    noncommutative conjunction
    0 references

    Identifiers