Finite axiomatizability in Łukasiewicz logic.

Daniele Mundici

Published in: Ann. Pure Appl. Log. (2011)

Keyphrases

linear temporal logic
logic programming
classical logic
modal logic
logical framework
epistemic logic
sound and complete axiomatization
real time
information retrieval
website
relational databases
data model
temporal logic
defeasible logic
formal language
formal theory