Results 201 to 206 of about 981 (206)
Some of the next articles are maybe not open access.

Hybrid Deduction–Refutation Systems

Axioms, 2019
Valentin Goranko, Goranko Valentin
exaly  

On sequence-conclusion natural deduction systems

Journal of Philosophical Logic, 1985
exaly  

A deficiency of natural deduction

Information Processing Letters, 1987
exaly  

Home - About - Disclaimer - Privacy