Sommaire

On not strengthening intuitionistic logic.

Belnap, N. D. ; Leblanc, H. ; Thomason, R. H.

Text on Project Euclid
PDF
Alt PDF
p. 313-320

Project Euclid
Propositional logic in Plato's Protagoras.

Sayre, Kenneth M.

Text on Project Euclid
PDF
Alt PDF
p. 306-312

Project Euclid
Programming the functions of formal logic. II. Multi-valued logics.

Summersbee, S. ; Walters, A.

Text on Project Euclid
PDF
Alt PDF
p. 293-305

Project Euclid
Existential import revisited.

Lambert, Karel

Text on Project Euclid
PDF
Alt PDF
p. 288-292

Project Euclid
On Gödel's proof that $V=L$ implies the generalized continuum hypothesis.

Doss, Raouf

Text on Project Euclid
PDF
Alt PDF
p. 283-287

Project Euclid
Variations on a theme of Bernays.

Myhill, John

Text on Project Euclid
PDF
Alt PDF
p. 274-282

Project Euclid
A note on constructible sets of integers.

Putnam, Hilary

Text on Project Euclid
PDF
Alt PDF
p. 270-273

Project Euclid
Walter Burleigh's hypothetical syllogistic.

Boh, Ivan

Text on Project Euclid
PDF
Alt PDF
p. 241-269

Project Euclid
A note on the generalized continuum hypothesis. III.

Sobociński, Bolesław

Text on Project Euclid
PDF
Alt PDF
p. 233-240

Project Euclid
A final note on S$1\deg$ and the Brouwerian axioms.

Thomas, Ivo

Text on Project Euclid
PDF
Alt PDF
p. 231-232

Project Euclid
Bases for S$4$ and S$4.2$ without added axioms.

Zeman, J. Jay

Text on Project Euclid
PDF
Alt PDF
p. 227-230

Project Euclid
A stipulation of a modal propositional calculus in terms of modalized truth-values.

Caton, Charles E.

Text on Project Euclid
PDF
Alt PDF
p. 224-226

Project Euclid
Truth value assignment in predicate calculus of first order.

Saito, Setsuo

Text on Project Euclid
PDF
Alt PDF
p. 216-223

Project Euclid
Jacobson theory of ringoids.

Sehgal, S. K.

Text on Project Euclid
PDF
Alt PDF
p. 206-215

Project Euclid
On some recent criticism of Church's Thesis.

Mendelson, Elliott

Text on Project Euclid
PDF
Alt PDF
p. 201-205

Project Euclid
Relations irreducible to classes.

Asenjo, F. G.

Text on Project Euclid
PDF
Alt PDF
p. 193-200

Project Euclid
Postulates for the substitutive algebra of the $2$-place functors in the $2$-valued calculus of propositions.

Menger, Karl ; Schultz, Martin

Text on Project Euclid
PDF
Alt PDF
p. 188-192

Project Euclid
Notes on the axiomatics of the propositional calculus.

Meredith, C. A. ; Prior, A. N.

Text on Project Euclid
PDF
Alt PDF
p. 171-187

Project Euclid
Studies on the axiom of comprehension.

Skolem, Th.

Text on Project Euclid
PDF
Alt PDF
p. 162-170

Project Euclid
Obituary of Thoralf A. Skolem.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
On differences of certain structured sets.

Mullin, Albert A.

Text on Project Euclid
PDF
Alt PDF
p. 158-160

Project Euclid
A note on modal systems.

Sobociński, Bolesław

Text on Project Euclid
PDF
Alt PDF
p. 155-157

Project Euclid
S$1\deg$ and generalized S$5$-axioms.

Thomas, Ivo

Text on Project Euclid
PDF
Alt PDF
p. 153-154

Project Euclid
S$1\deg $ and Brouwerian axioms.

Thomas, Ivo

Text on Project Euclid
PDF
Alt PDF
p. 151-152

Project Euclid
Toward a pragmatical explication of epistemic modalities.

Sweet, Albert M.

Text on Project Euclid
PDF
Alt PDF
p. 145-150

Project Euclid
Completeness of Copi's method of deduction.

Canty, John Thomas

Text on Project Euclid
PDF
Alt PDF
p. 142-144

Project Euclid
Note on Copi's system.

Massey, Gerald J.

Text on Project Euclid
PDF
Alt PDF
p. 140-141

Project Euclid
A note on a problem concerning the axiomatic foundations of mereology.

Lejewski, Czesław

Text on Project Euclid
PDF
Alt PDF
p. 135-139

Project Euclid
Propositional logic in Juan de Santo Tomás.

Moreno, Alberto

Text on Project Euclid
PDF
Alt PDF
p. 113-134

Project Euclid
A system of quantificational deduction.

Patton, Thomas E.

Text on Project Euclid
PDF
Alt PDF
p. 105-112

Project Euclid
Proof routines for the propositional calculus.

Leblanc, Hugues

Text on Project Euclid
PDF
Alt PDF
p. 81-104

Project Euclid
On strengthening intuitionistic logic.

Vesley, Richard E.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
A note on the generalized continuum hypothesis. II.

Sobociński, Bolesław

Text on Project Euclid
PDF
Alt PDF
p. 67-79

Project Euclid
A standard form for Ł ukasiewicz many-valued logics.

Clay, Robert E.

Text on Project Euclid
PDF
Alt PDF
p. 59-66

Project Euclid
Avicenna on the logic of ``conditional'' propositions.

Rescher, Nicholas

Text on Project Euclid
PDF
Alt PDF
p. 48-58

Project Euclid
Addendum to my article: ``Proof of some theorems on recursively enumerable sets''.

Skolem, Thoralf

Text on Project Euclid
PDF
Alt PDF
p. 44-47

Project Euclid
A rule-completeness theorem.

Belnap, Nuel D. ; Thomason, Richmond H.

Text on Project Euclid
PDF
Alt PDF
p. 39-43

Project Euclid
Logical determinism.

Jordan, Zbigniew

Text on Project Euclid
PDF
Alt PDF
p. 1-38

Project Euclid