Turning the Liar paradox into a metatheorem of Basic logic

Published in: CoRR (2007)

Keyphrases

modal logic
logic programming
logical framework
data sets
databases
data mining
e learning
web services
case study
video sequences
classical logic
computational properties
digital circuits
natural deduction
proof theory