Valuations in Gödel Logic, and the Euler Characteristic.
Pietro CodaraOttavio M. D'AntonaVincenzo MarraPublished in: CoRR (2014)
Keyphrases
- differential equations
- classical logic
- modal logic
- logic programming
- social bookmarking
- valued logic
- automated reasoning
- neural network
- defeasible logic
- asynchronous circuits
- predicate logic
- computational properties
- laplace transform
- proof theory
- nonmonotonic logics
- set theory
- logical framework
- fuzzy logic
- information systems