Login / Signup
Propositional intuitionistic multiple-conclusion calculus via proof graphs.
Ruan V. B. Carvalho
Anjolina Grisi de Oliveira
Ruy J. G. B. de Queiroz
Published in:
Log. J. IGPL (2019)
Keyphrases
</>
natural deduction
linear logic
proof procedure
cut elimination
theorem prover
sequent calculus
first order logic
propositional logic
theorem proving
graph theory
fuzzy set theory
proof search
relational databases
interval valued