Five Observations Concerning the Intended Meaning of the Intuitionistic Logical Constants.

Gustavo Fernández Díez

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

Keyphrases

intended meaning
fuzzy set theory
logical framework
linear logic
theorem prover
interval valued
data sets
artificial intelligence
database systems
video sequences
control system
logical structure
logical representation