Login / Signup

The G4i Analogue of a G3i Sequent Calculus.

Rosalie Iemhoff
Published in: Stud Logica (2022)
Keyphrases
  • sequent calculus
  • cut elimination
  • inference rules
  • linear logic
  • modal logic
  • natural deduction
  • linear time temporal logic
  • wide class
  • theorem proving
  • natural language
  • first order logic
  • default logic
  • logical framework