How to Make a New Logic.

Published in: CoRR (2021)

Keyphrases

logic programming
classical logic
modal logic
asynchronous circuits
data sets
genetic algorithm
image processing
defeasible logic
database
real time
case study
multi agent
probabilistic model
computational properties
nonmonotonic logics
natural deduction