Polynomial Lawvere Logic.

Giorgio Bacci Radu Mardare Prakash Panangaden Gordon D. Plotkin

Published in: CoRR (2024)

Keyphrases

logic programming
modal logic
classical logic
predicate logic
asynchronous circuits
deontic logic
logic programs
automated reasoning
multi valued
digital circuits
logical framework
epistemic logic
truth values
computational properties
database
inference rules
multi agent
information retrieval