Intuitionistic Derivability in Anderson's Variant of the Ontological Argument.

Published in: ARQNL@IJCAR (2022)

Keyphrases

linear logic
interval valued
knowledge representation
fuzzy set theory
conceptual modeling
legal cases
hypothetical reasoning
logical framework
representation scheme
fuzzy numbers
databases
pattern recognition
information systems
classical logic
search engine
artificial intelligence
database