Login / Signup
On Cut-Elimination Arguments for Axiomatic Theories of Truth.
Daichi Hayashi
Published in:
Stud Logica (2022)
Keyphrases
</>
cut elimination
sequent calculus
linear logic
natural deduction
inference rules
wide class
decision theory
modal logic
sufficient conditions
proof theoretic
theorem proving
linear time temporal logic
knowledge base
defeasible logic
proof search