On Intuitionistic Diamonds (and Lack Thereof).

Anupam Das Sonia Marin

Published in: TABLEAUX (2023)

Keyphrases

theorem prover
linear logic
wide variety
fuzzy set theory
neural network
control system
logical framework
interval valued
databases
real world
artificial intelligence
information systems
clustering algorithm
probabilistic model
fuzzy numbers
classical logic