Paraconsistent Metatheory: New Proofs with Old Tools.

Guillermo Badia Zach Weber Patrick Girard

Published in: J. Philos. Log. (2022)

Keyphrases

decision support
database
software tools
data sets
end users
knowledge representation
databases
artificial intelligence
information systems
case study
building blocks
user friendly
theorem prover