Login / Signup
The logic {FP}({Ł.
Serafina Lapenta
Sebastiano Napolitano
Luca Spada
Published in:
ISIPTA (2023)
Keyphrases
</>
logic programming
multi valued
real world
image processing
modal logic
classical logic
set theory
database
databases
defeasible logic
nonmonotonic logics
digital circuits
predicate logic
asynchronous circuits
deductive reasoning
sound and complete axiomatization