Characterizing intermediate tense logics in terms of Galois connections.

Wojciech Dzik Jouni Järvinen Michiro Kondo

Published in: Log. J. IGPL (2014)

Keyphrases

expressive power
neural network
case study
co occurrence
metadata
formal concept analysis
galois lattices