Computations in fragments of intuitionistic propositional logic

Foundations of Mathematical Logic.

Elliott Mendelson, Haskell B. Curry · American Mathematical Monthly · 1965 · 456 citations

Formal Logic, Non-classical Logic, Automated Reasoning +3

On formulas of one variable in intuitionistic propositional calculus

Iwao Nishimura · Journal of Symbolic Logic · 1960 · 137 citations

Following Theorems, Brouwerian-algebraic Functions, Algebraic Logic +8

T. Thacher Robinson. Independence of two nice sets of axioms for the propositional calculus. The journal of symbolic logic, vol. 33 (1968), pp. 265–270.

John R. Chidgey · Journal of Symbolic Logic · 1970 · 69 citations

Engineering, Symbolic Logic, Propositional Calculus +8

Investigations on the intuitionistic propositional calculus

D.H.J. de Jongh, Dick Herman Jacobus · Medical Entomology and Zoology · 1968 · 44 citations

Intuitionistic Logic, Intuitionistic Propositional Calculus, Automated Reasoning +4

Ladislav Rieger. On the lattice theory of Brouwerian propositional logic. Acta Facultatis Rerum Naturalium Universitatis Carolinae, no. 189. F. Řivnáč, Prague1949, 40 pp.

Frederick B. Thompson · Journal of Symbolic Logic · 1952 · 21 citations

Ladislav Rieger, Get Access Link, Humanities +6