Maximal weakly-intuitionistic logics.
Antonio Mario SetteWalter Alexandre CarnielliPublished in: Stud Logica (1995)
Keyphrases
- classical logic
- expressive power
- fuzzy set theory
- linear logic
- modal logic
- inference rules
- interval valued
- theorem prover
- fuzzy sets
- bayesian networks
- logic programming
- fuzzy numbers
- helmholtz principle
- independent set
- fuzzy information
- logical framework
- neural network
- propositional dynamic logic
- epistemic logic
- machine learning