sequent calculus
Sign in to savestyle of formal logical argumentation
Connections
sequence
Entity
propositional calculus
Entity
quantifier
Entity
first-order logic
Entity
rule of inference
Entity
free and bound variables
Entity
cut-elimination
Entity
logic
Entity
Artificial intelligence
Concept
computer science
Entity
International Standard Book Number
Entity
David Hilbert
Entity
set
Entity
axiom
Entity
hypothesis
Entity
digital object identifier
Entity
mathematical logic
Entity
theorem
Entity
semantics
Entity
argument
Entity