Algebraic Logic Perspective on Prucnal's Substitution.
Alex CitkinPublished in: Notre Dame J. Formal Log. (2016)
Keyphrases
- computer algebra
- algebraic structure
- viewpoint
- logic programming
- neural network
- asynchronous circuits
- formal theory
- logical framework
- modal logic
- case study
- information technology
- search algorithm
- database systems
- automated reasoning
- defeasible logic
- predicate logic
- artificial intelligence
- information retrieval
- natural deduction
- machine learning
- real time
- delay insensitive