Results 281 to 290 of about 17,292 (295)

A Problem of Normal Form in Natural Deduction

Mathematical Logic Quarterly, 2000
Jan Von Plato
exaly  

Yet Another Bijection Between Sequent Calculus and Natural Deduction

Electronic Notes in Theoretical Computer Science, 2015
Gilles Dowek, Edward Hermann Haeusler
exaly  

Full Lambek Calculus in natural deduction

Mathematical Logic Quarterly, 2010
Ernst Zimmermann
exaly  

Natural deduction rules for a logic of vagueness

Erkenntnis, 1987
J A Burgess
exaly  

Assumption Classes in Natural Deduction

Mathematical Logic Quarterly, 1979
openaire   +2 more sources

Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics

Studia Logica, 2016
Francesca Poggiolesi, Poggiolesi Francesca   +1 more
exaly  

Natural Deduction.

The American Mathematical Monthly, 1963
N. D. Belnap, John M. Anderson, Henry W. Johnstone   +2 more
openaire   +1 more source

Variable declarations in natural deduction

Annals of Pure and Applied Logic, 2006
Daniel J Velleman
exaly  

On sequence-conclusion natural deduction systems

Journal of Philosophical Logic, 1985
exaly  

Natural deduction and arbitrary objects

Journal of Philosophical Logic, 1985
Kit Fine, Fine Kit
exaly