Lindenbaum algebras of intuitionistic theories and free categories.

Peter J. Freyd Harvey Friedman Andre Scedrov

Published in: Ann. Pure Appl. Log. (1987)

Keyphrases

theoretical framework
interval valued
theorem prover
fuzzy set theory
classical logic
linear logic
object categories
case study
knowledge representation
computational intelligence
fuzzy numbers
domain theory
causal reasoning
category specific
broad categories
topological spaces