Categorical Abstract Algebraic Logic: Truth-Equational π-Institutions.
George VoutsadakisPublished in: Notre Dame J. Formal Log. (2015)
Keyphrases
- truth values
- computer algebra
- theorem prover
- propositional dynamic logic
- horn clauses
- algebraic structure
- theorem proving
- logic programming
- inference rules
- multi valued
- predicate logic
- modal logic
- mathematical theory
- equational theories
- computational properties
- automated reasoning
- categorical data
- higher level
- high level
- classical logic
- set theory
- logic programs
- low level
- lattice theory
- defeasible logic
- proof theory
- digital libraries
- data sets