1st World Logic Day: 14 January 2019.

Jean-Yves Béziau

Published in: Logica Universalis (2019)

Keyphrases

logic programming
defeasible logic
multi valued
classical logic
automated reasoning
predicate logic
set theory
world model
deductive reasoning
real time
asynchronous circuits
deontic logic
digital circuits
logical framework
probabilistic logic
search engine
real world
neural network