Sound Logic without Paradox.

David A. Fisher Stephen Fisher Donna M. Lambie

Published in: RuleML+RR (Companion) (2023)

Keyphrases

automated reasoning
logic programming
modal logic
multi valued
databases
classical logic
database
information systems
query language
probability theory
logical framework
asynchronous circuits