scientific article; zbMATH DE number 2246077

zbMath1132.68059MaRDI QIDQ5717107

Joseph A. Goguen

Publication date: 11 January 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Philosophical and critical aspects of logic and foundations (03A05) Knowledge representation (68T30) Cognitive psychology (91E10) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (5)

Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention ⋮ Partialising institutions ⋮ Revising the link between \(L\)-Chu correspondences and completely lattice \(L\)-ordered sets. ⋮ Towards a functional approach to modular ontologies using institutions ⋮ Implicit Partiality of Signature Morphisms in Institution Theory

Uses Software

• CafeOBJ

This page was built for publication: