Sentential logics and Maehara Interpolation Property.

Janusz Czelakowski

Published in: Stud Logica (1985)

Keyphrases

expressive power
modal logic
inference rules
information retrieval
desirable properties
image interpolation
linear interpolation
interpolation methods
databases