variants of the law of excluded middle and related principles.

Makoto Fujiwara

Published in: Arch. Math. Log. (2022)

Keyphrases

data sets
user interface
theoretical framework
closely related
database
information systems
decision making
knowledge base
image processing
trade off
multiresolution
legal reasoning