On Some Semi-Intuitionistic Logics.
Juan Manuel CornejoIgnacio D. ViglizzoPublished in: Stud Logica (2015)
Keyphrases
- classical logic
- linear logic
- modal logic
- expressive power
- proof theoretic
- inference rules
- fuzzy set theory
- interval valued
- default theories
- fuzzy numbers
- proof theory
- theorem prover
- data model
- case study
- conditional logic
- proof procedures
- fuzzy information
- propositional calculus
- default logic
- logical framework
- data sets
- rough sets
- computational intelligence
- pattern recognition
- search engine