A fundamental non-classical logic.

Wesley H. Holliday

Published in: CoRR (2022)

Keyphrases

classical logic
logic programming
modal logic
possibilistic logic
intuitionistic logic
computer science and artificial intelligence
commonsense reasoning
default logic
valued logic
programming language
automated theorem proving
neural network
object oriented
possibility theory
revision operators