Haskell B. Curry

12 papers Journal 12

Year	Rank	Type	Title / Venue / Authors
1973	J	`jnl`	The Consistency of a System of Combinatory Restricted Generality. J. Symb. Log. Haskell B. Curry
1963	J	`jnl`	Addendum to Early History of the Association for Symbolic Logic. J. Symb. Log. Curt John Ducasse, Haskell B. Curry
1962	J	`jnl`	Early History of the Association for Symbolic Logic. J. Symb. Log. Curt John Ducasse, Haskell B. Curry
1952	J	`jnl`	On the Definition of Negation by a Fixed Proposition in Inferential Calculus. J. Symb. Log. Haskell B. Curry
1952	J	`jnl`	The Elimination Theorem When Modality is Present. J. Symb. Log. Haskell B. Curry
1952	J	`jnl`	The Permutability of Rules in the Classical Inferential Calculus. J. Symb. Log. Haskell B. Curry
1952	J	`jnl`	The System LD. J. Symb. Log. Haskell B. Curry
1942	J	`jnl`	The Combinatory Foundations of Mathematical Logic. J. Symb. Log. Haskell B. Curry
1942	J	`jnl`	The Inconsistency of Certain Formal Logic. J. Symb. Log. Haskell B. Curry
1941	J	`jnl`	A Revision of the Fundamental Rules of Combinatory Logic. J. Symb. Log. Haskell B. Curry
1941	J	`jnl`	Consistency and Completeness of the Theory of Combinators. J. Symb. Log. Haskell B. Curry
1937	J	`jnl`	On the Use of Dots as Brackets in Logical Expressions. J. Symb. Log. Haskell B. Curry