Categorical abstract algebraic logic weakly referential π-institutions.
George VoutsadakisPublished in: Reports Math. Log. (2016)
Keyphrases
- computer algebra
- algebraic structure
- propositional dynamic logic
- modal logic
- high level
- multi valued
- classical logic
- logic programming
- categorical data
- automated reasoning
- asynchronous circuits
- set theory
- sound and complete axiomatization
- algebraic geometry
- delay insensitive
- formal theory
- mathematical theory
- data mining
- digital libraries
- genetic algorithm