Login / Signup
A Normalization Procedure for the Equational Fragment of Labelled Natural Deduction.
Anjolina Grisi de Oliveira
Ruy J. G. B. de Queiroz
Published in:
Log. J. IGPL (1999)
Keyphrases
</>
natural deduction
theorem prover
theorem proving
proof procedure
inference rules
first order logic
automated reasoning
sequent calculus
cut elimination
preprocessing
expert systems
normalization method
intuitionistic logic
software engineering
linear logic
linear time temporal logic