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