An Algebraic Approach to Intuitionistic Connectives.
Xavier CaicedoRoberto CignoliPublished in: J. Symb. Log. (2001)
Keyphrases
- classical logic
- linear logic
- sequent calculus
- inference rules
- cut elimination
- theorem prover
- fuzzy set theory
- natural deduction
- interval valued
- valued logic
- logical framework
- fuzzy numbers
- logic programming
- fixed point
- desirable properties
- modal logic
- truth values
- fuzzy information
- fuzzy sets
- algebraic operations
- first order logic
- fuzzy relations
- data mining
- fuzzy logic
- computer vision