Login / Signup
Moss' logic for ordered coalgebras.
Marta Bílková
Matej Dostál
Published in:
CoRR (2019)
Keyphrases
</>
logic programming
databases
machine learning
modal logic
classical logic
computational properties
defeasible logic
database
deductive reasoning
automated reasoning
sound and complete axiomatization
proof theory
digital circuits
probabilistic logic
database systems
neural network
real time