Categorical Abstract Algebraic Logic: Referential Algebraic Semantics.
George VoutsadakisPublished in: Stud Logica (2013)
Keyphrases
- algebraic structure
- logic programming
- propositional dynamic logic
- higher order
- computer algebra
- computational properties
- mathematical theory
- higher order logic
- higher level
- formal semantics
- conditional logic
- formal language
- operational semantics
- nonmonotonic logics
- epistemic logic
- sound and complete axiomatization