Finite Tree-Countermodels via Refutation Systems in Extensions of Positive Logic with Strong Negation.

Tomasz F. Skura

Published in: Logica Universalis (2023)

Keyphrases

logic programming
positive and negative
intelligent systems
predicate logic
classical logic
distributed systems
complex systems
truth maintenance systems
databases
tree structure
logic programs
management system
modal logic
database systems
information systems
asynchronous circuits
neural network