Results 251 to 260 of about 4,442,858 (282)

Another variant of natural deduction

Journal of Symbolic Logic, 1956
Since 1934 various different techniques for natural deduction have been developed by Gentzen, Jaśkowski, Rosser, Quine, and others (see [1], pp. 147–167; [2], especially footnotes 1, 3, and 4; and [3], pp. 75-83, 96-107, and 289-294). It has been pointed out to me by Professor Donald Kalish of U.C.L.A.
openaire   +2 more sources

Is Natural Deduction Natural?

Aristotelian Society Supplementary Volume, 1969
P. H. Nidditch, Bede Rundle
openaire   +1 more source

Natural Deduction for Dual-intuitionistic Logic

Studia Logica, 2012
Luca Tranchini
exaly  

Natural deduction rules for a logic of vagueness

Erkenntnis, 1987
I L Humberstone, J A Burgess
exaly  

Natural deduction and arbitrary objects

Journal of Philosophical Logic, 1985
Kit Fine
exaly  

Full Lambek Calculus in natural deduction

Mathematical Logic Quarterly, 2010
Ernst Zimmermann
exaly  

Yet Another Bijection Between Sequent Calculus and Natural Deduction

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

A Problem of Normal Form in Natural Deduction

Mathematical Logic Quarterly, 2000
Jan von Plato
exaly  

Variable declarations in natural deduction

Annals of Pure and Applied Logic, 2006
Daniel Velleman
exaly  

Three faces of natural deduction

Lecture Notes in Computer Science, 2005
G Mints
exaly