An Institutional View on Categorical Logic.
Joseph A. GoguenTill MossakowskiValeria de PaivaFlorian RabeLutz SchröderPublished in: Int. J. Softw. Informatics (2007)
Keyphrases
- logic programming
- multiple views
- categorical data
- predicate logic
- classical logic
- digital circuits
- data model
- higher education
- modal logic
- proof theory
- database
- epistemic logic
- computational properties
- probability theory
- numerical data
- multi agent systems
- image sequences
- decision trees
- information systems
- neural network