Storage Operators and Multiplicative Quantifiers in Many-valued Logics.
Franco MontagnaPublished in: J. Log. Comput. (2004)
Keyphrases
- modal logic
- truth values
- inference rules
- modal operators
- expressive power
- classical logic
- temporal logic
- natural language
- storage and retrieval
- data storage
- first order logic
- nonmonotonic logics
- epistemic logic
- database
- concept lattice
- storage requirements
- situation calculus
- conceptual clustering
- conditional logic
- morphological operators
- random access
- storage systems
- intuitionistic fuzzy sets
- multidimensional arrays