Intuitionistic Counterparts of Finitely-Valued Logics.
Matthias BaazChristian G. FermüllerPublished in: ISMVL (1996)
Keyphrases
- valued logic
- classical logic
- fuzzy sets
- interval valued
- fuzzy set theory
- logic programming
- modal logic
- theorem prover
- first order logic
- fuzzy logic
- linear logic
- propositional logic
- default logic
- datalog programs
- multi valued
- truth values
- fuzzy numbers
- automated reasoning
- logic programs
- stable models
- neural network
- general purpose
- machine learning