The Logic with Truth and Falsehood Operators from a Point of View of Universal Logic.

Published in: Logica Universalis (2011)

Keyphrases

multi valued
truth values
modal logic
proof theory
logic programming
deductive reasoning
dynamic logic
predicate logic
logical framework
classical logic
computational properties
probabilistic logic
epistemic logic
database
default reasoning
search engine
learning algorithm
neural network
real time