The geometry of non-distributive logics.

Francesco Paoli Greg Restall

Published in: J. Symb. Log. (2005)

Keyphrases

modal logic
expressive power
three dimensional
inference rules
case study
video sequences
geometric structure
euclidean geometry