Categorical approaches to non-commutative fuzzy logic (Q622031): Difference between revisions
From MaRDI portal
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
0 references