An Interpolation Theorem in Many-Valued Logic.
Masazumi HanazawaMitio TakanoPublished in: J. Symb. Log. (1986)
Keyphrases
- modal logic
- truth values
- intuitionistic logic
- classical logic
- image interpolation
- interpolation methods
- sound and complete axiomatization
- logic programming
- predicate logic
- multi valued
- conceptual clustering
- interpolation method
- data sets
- valued logic
- linear interpolation
- set theory
- inference rules
- nonmonotonic logics
- von neumann
- defeasible logic
- automated reasoning
- concept lattice
- deontic logic
- aggregation functions
- natural deduction
- description logics
- machine learning
- real time