An algebraic axiomatization of the Ewald's intuitionistic tense logic.
Aldo V. FigalloGustavo PelaitayPublished in: Soft Comput. (2014)
Keyphrases
- classical logic
- linear logic
- cut elimination
- natural deduction
- modal logic
- logical framework
- sequent calculus
- situation calculus
- complete axiomatization
- multi valued
- theorem prover
- logic programming
- databases
- proof search
- probabilistic logic
- wide class
- fixed point
- temporal relations
- computational properties
- predicate logic
- fuzzy information
- proof theory
- data sets
- real time