Login / Signup

Duplication-Free Tableau Calculi and Related Cut-Free Sequent Calculi for the Interpolable Propositional Intermediate Logics.

Alessandro AvelloneMauro FerrariPierangelo Miglioli
Published in: Log. J. IGPL (1999)
Keyphrases
  • sequent calculi
  • expressive power
  • machine learning
  • knowledge representation
  • description logics
  • modal logic