Intuitionistic mereology.

Paolo Maffezioli Achille C. Varzi

Published in: Synth. (2021)

Keyphrases

fuzzy set theory
rough mereology
linear logic
interval valued
theorem prover
fuzzy numbers
fuzzy information
classical logic
spatial reasoning
real valued
real world
database
information systems
pattern recognition
fuzzy logic
group decision making
approximate reasoning
cut elimination