Duality for algebras of relevant logics.

Alasdair Urquhart

Published in: Stud Logica (1996)

Keyphrases

expressive power
data sets
closely related
case study
higher level
real time
knowledge base
inference rules
spatial reasoning
classical logic