Łukasiewicz Logic: An Introduction.

Published in: TbiLLC (2011)

Keyphrases

modal logic
probabilistic logic
computational properties
set theory
logic programming
classical logic
deontic logic
real time
data sets
inference rules
default reasoning
automated reasoning
logical framework
digital circuits
proof theory
intuitionistic logic