Sommaire du Fascicule no. 1

Some thomistic reflections on the foundations of formal logic.

Sikora, Joseph J.

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

Project Euclid
The logic of either-or.

Fisk, Milton

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

Project Euclid
What is science?

Schock, Rolf

Text on Project Euclid
PDF
Alt PDF
p. 51-53

Project Euclid
The Post-Lineal theorems for arbitrary recursively enumerable degrees of unsolvability.

Ihrig, Ann H.

Text on Project Euclid
PDF
Alt PDF
p. 54-72

Project Euclid
On the connection of the first-order functional calculus with $\aleph_0}$ propositional calculus.

Reichbach, Juliusz

Text on Project Euclid
PDF
Alt PDF
p. 73-80

Project Euclid
An augmented modal logic.

Goddard, Leonard

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

Project Euclid
Modal logic with functorial variables and a contingent constant.

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

Text on Project Euclid
PDF
Alt PDF
p. 99-109

Project Euclid
Remarks on the linguistics foundations of physics.

Farre, George L.

Text on Project Euclid
PDF
Alt PDF
p. 110-122

Project Euclid
A set of axioms for the propositional calculus with implication and converse non-implication.

Shukla, Anjan

Text on Project Euclid
PDF
Alt PDF
p. 123-128

Project Euclid
On probability logics.

Schock, Rolf

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

Project Euclid
On logic an existence.

Lambert, Karel

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

Project Euclid
A modal extension of intuitionist logic.

Bull, R. A.

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

Project Euclid
Church's theorem on the decision problem.

Patton, Thomas E.

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

Project Euclid
An intuitive interpretation of systems of four-valued logic.

Rescher, Nicholas

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

Project Euclid
A note on certain set-theoretical formulas.

Sobociński, Bolesław

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

Project Euclid
Sur un théorème équivalent à l'axiome du choix.

Sierpiński, W.

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

Project Euclid
A generalization of Sierpiński's theorem on Steiner triples and the axiom of choice.

Frascella, William J.

Text on Project Euclid
PDF
Alt PDF
p. 163-179

Project Euclid
Note on a theorem of W. Sierpiński.

Vučković, Vladeta

Text on Project Euclid
PDF
Alt PDF
p. 180-182

Project Euclid
A note on continuous games, the notion of strategy and Zermelo's axiom.

de Renna e Souza, Celso

Text on Project Euclid
PDF
Alt PDF
p. 183-189

Project Euclid
A note on the axiomatization of Rubin's system $(S)$.

Canty, John Thomas

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

Project Euclid
The substitution schema in recursive arithmetic.

Lee, R. D.

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

Project Euclid
The written liar and Thomas Oliver.

Thomas, Ivo

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

Project Euclid
Axiomatization of propositional calculus with Sheffer functors.

Scharle, Thomas W.

Text on Project Euclid
PDF
Alt PDF
p. 209-217

Project Euclid
Mathematico-philosophical remarks on new theorems analogous to the fundamental theorem of arithmetic.

Mullin, Albert A.

Text on Project Euclid
PDF
Alt PDF
p. 218-222

Project Euclid
The arithmetic of the term-relation number theory.

Asenjo, F. G.

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

Project Euclid
Strong reducibility on hypersimple sets.

McLaughlin, T. G.

Text on Project Euclid
PDF
Alt PDF
p. 229-234

Project Euclid
On induction.

Schock, Rolf

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

Project Euclid
A quaternary relation as the primitive notion in several geometries.

Dowdy, Shirley

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

Project Euclid
On predicate letter formulas which have no substitution instances provable in a first order language.

Weston, Kenneth

Text on Project Euclid
PDF
Alt PDF
p. 296-300

Project Euclid
Some results on finite axiomatizability in modal logic.

Lemmon, E. J.

Text on Project Euclid
PDF
Alt PDF
p. 301-308

Project Euclid
Systems classically axiomatized and properly contained in Lewis's ${\rm S}3$.

Canty, John Thomas

Text on Project Euclid
PDF
Alt PDF
p. 309-318

Project Euclid
Leibniz's misunderstanding of Nisolius notion of `multudino'.

Angelelli, Ignacio

Text on Project Euclid
PDF
Alt PDF
p. 319-322

Project Euclid
Corrigendum and addendum to: ``A generalization of Sierpiński's theorem on Steiner triples and the axiom of choice''.

Frascella, William J.

Text on Project Euclid
PDF
Alt PDF
p. 323-324

Project Euclid
The relation of weakly discrete to set and equinumerosity in mereology.

Clay, Robert E.

Text on Project Euclid
PDF
Alt PDF
p. 325-340

Project Euclid