The Automorphism Group of Falsum-Free Product Logic.
Giovanni PantiPublished in: Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Keyphrases
- logic programming
- modal logic
- neural network
- website
- classical logic
- automated reasoning
- life cycle
- programming language
- sound and complete axiomatization
- deontic logic
- formal theory
- predicate logic
- product design
- database
- knowledge representation
- multi agent
- database systems
- information retrieval
- machine learning
- real world
- real time