The Euler Characteristic of a Formula in Godel Logic.

Pietro Codara Ottavio M. D'Antona Vincenzo Marra

Published in: ISMVL (2010)

Keyphrases

linear temporal logic
logic programming
classical logic
modal logic
multi valued
real time
logical formulas
differential equations
digital circuits
data sets
natural deduction
computational properties
horn clauses
deontic logic
dynamic logic
proof theory
case study
databases
propositional variables
laplace transform