Analytic Calculi for Projective Logics.

Matthias Baaz Christian G. Fermüller

Published in: TABLEAUX (1999)

Keyphrases

sequent calculi
modal logic
conditional logic
expressive power
reconstruction from multiple views
spatial relations
planar curves
inference rules
classical logic
qualitative spatial reasoning
propositional calculus
neural network
knowledge base
computational properties