The Syntax of Many-Valued Relations

DOI10.1007/978-3-319-40581-0_6zbMath1455.68195OpenAlexW2486954558MaRDI QIDQ5117199

Patrik E. Eklund

Publication date: 20 August 2020

Published in: Information Processing and Management of Uncertainty in Knowledge-Based Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40581-0_6

zbMATH Keywords

classificationsignaturefunctormonadontologyconceptgeneralized relation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40) Categories of sets, characterizations (18B05) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (1)

Rough Objects in Monoidal Closed Categories

Cites Work

• Unnamed Item
• Fuzzy terms
• Attributive concept descriptions with complements
• A formulation of the simple theory of types

This page was built for publication: The Syntax of Many-Valued Relations