Algorithmic Correspondence Theory for Substructural Categorial Logic.
Marcelo FingerPublished in: Advances in Modal Logic (2000)
Keyphrases
- propositional calculus
- formal theory
- set theory
- proof theory
- computer algebra
- theoretical framework
- neural network
- theoretical basis
- automated reasoning
- boolean algebra
- theoretical foundation
- deductive reasoning
- proof theoretic
- probability theory
- database
- mathematical theory
- multi agent systems
- algebraic structure
- artificial intelligence
- formal logic
- logic programming