Infinitesimals and Pavelka logic.

Esko Turunen Mirko Navara

Published in: IFSA-EUSFLAT (2015)

Keyphrases

classical logic
logic programming
real time
predicate logic
modal logic
automated reasoning
digital circuits
artificial intelligence
information systems
image processing
web services
multi valued
defeasible logic
deontic logic
asynchronous circuits
proof theory