Galois Connections in Categorial Type Logic.

Carlos Areces Raffaella Bernardi Michael Moortgat

Published in: Electron. Notes Theor. Comput. Sci. (2001)

Keyphrases

database
query language
formal concept analysis
classical logic
computational properties
digital circuits