A semantic hierarchy for intuitionistic logic

Stanford Encyclopedia of Philosophy

Choice Reviews Online · 2015 · 5.3K citations

Humanities, Philosophy, Continental Philosophy +7

A Course in Universal Algebra.

Andreas Blass, Stanley Burris, Hanamantagouda P. Sankappanavar · American Mathematical Monthly · 1984 · 2K citations

Natural Sciences, Mathematics, Mathematics Education +10

Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

Saul A. Kripke · Mathematical logic quarterly · 1963 · 1.3K citations

Humanities, Computer Science, Philosophy +15

Introduction to Higher Order Categorical Logic.

J. L. Bell, J. Lambek, Philip Scott · Journal of Symbolic Logic · 1989 · 1.1K citations

Humanities, Mathematics, Logic +11

Logic, Semantics, Metamathematics; Papers from 1923 to 1938.

Robert M. Martin, Alfred Tarski, J. H. Woodger · The Journal of Philosophy · 1958 · 709 citations

Humanities, Mathematics, Philosophy +17