Sommaire du Fascicule no. 3

${\rm S}4.6$ is ${\rm S}4.9$.

Zeman, J. Jay

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Axiomatic inscriptional syntax. I. General syntax.

Rickey, V. Frederick

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

Project Euclid
The treatment of semantic paradoxes from 1400 to 1700.

Ashworth, E. J.

Text on Project Euclid
PDF
Alt PDF
p. 34-52

Project Euclid
Examination of the axiomatic foundations of a theory of change. V.

Larouche, Laurent

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

Project Euclid
Syllogistic with complex terms.

Baker, A. J.

Text on Project Euclid
PDF
Alt PDF
p. 69-87

Project Euclid
Note on inductive finiteness in mereology.

Clay, Robert E.

Text on Project Euclid
PDF
Alt PDF
p. 88-90

Project Euclid
Weierstrass's final theorem of arithmetic is not final.

Asenjo, F. G. ; McKean, J. M.

Text on Project Euclid
PDF
Alt PDF
p. 91-94

Project Euclid
The name solid as primitive in projective geometry.

Sullivan, Theodore F.

Text on Project Euclid
PDF
Alt PDF
p. 95-97

Project Euclid
A note on immune sets.

Berry, John W.

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

Project Euclid
Additional note on lattice-theoretical form of Hauber's law.

Sobociński, Bolesław

Text on Project Euclid
PDF
Alt PDF
p. 101-102

Project Euclid
A note on $\pi^1_1$ ordinals.

Gass, Frederick S.

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

Project Euclid
Moore's proposition $W$.

Cargile, James

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

Project Euclid
Certain sets of postulates for distributive lattices with the constant elements.

Sobociński, Bolesław

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

Project Euclid
On the recursive unsolvability of the provability of the deduction theorem in partial propositional calculi.

Bollman, D. ; Tapia, M.

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

Project Euclid
Premisses are not axioms.

Kielkopf, Charles F.

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

Project Euclid
The Gödel-Herbrand theorems.

Call, Richard L.

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

Project Euclid
Non-recursiveness of the set of finite sets of equations whose theories are one-based.

Smith, Douglas D.

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

Project Euclid
An abbreviation of Croisot's axiom-system for distributive lattices with $I$.

Sobociński, Bolesław

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

Project Euclid
Maximal full matrices.

Pahi, Biswambhar

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

Project Euclid
The pragmatics of first order languages. I.

Sweet, Albert

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

Project Euclid
The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG in a three-valued logic.

Brady, Ross T.

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

Project Euclid
Transitivity, supertransitivity and induction.

Belding, W. Russell ; Poss, Richard L. ; Welsh, Paul J.

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

Project Euclid
Induction on fields of binary relations.

Belding, W. Russell

Text on Project Euclid
PDF
Alt PDF
p. 191-194

Project Euclid
A modification of Parry's analytic implication.

Dunn, J. Michael

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

Project Euclid
Strange arguments.

Corcoran, John

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

Project Euclid
Real fields with characterization of the natural numbers.

Madison, Eugene W.

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

Project Euclid
The modal structure of the Prior-Rescher family of infinite product systems.

Massey, Gerald J.

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

Project Euclid
Necessity and ticket entailment.

Parks, R. Zane ; Chidgey, John R.

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

Project Euclid
A note on ${\bf R}$-Mingle and Sobociński's three-valued logic.

Parks, R. Zane

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

Project Euclid
Matters of separation.

Leblanc, H. ; Meyer, R. K.

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

Project Euclid
Tableau methods of proof for modal logics.

Fitting, Melvin

Text on Project Euclid
PDF
Alt PDF
p. 237-247

Project Euclid
Equational classes of relative Stone algebras.

Hecht, T. ; Katriňák, Tibor

Text on Project Euclid
PDF
Alt PDF
p. 248-254

Project Euclid
A new formalization of Newman algebra.

Sobociński, Bolesław

Text on Project Euclid
PDF
Alt PDF
p. 255-264

Project Euclid
An equational axiomatization of associative Newman algebras.

Sobociński, Bolesław

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

Project Euclid
A modal truth-tabular interpretation for necessary and sufficient conditons.

Facione, Peter A.

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

Project Euclid
Parallel $1$-flats in $2$-arrangements.

Gemignani, Michael C.

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

Project Euclid
An application of mathematical logic to the integer linear programming problem.

Lee, R. D.

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

Project Euclid
A semi-lattice theoretical characterization of associative Newman algebras.

Sobociński, Bolesław

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

Project Euclid
Probability as degree of possibility.

Hart, W. D.

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

Project Euclid
Investigations into the sentential calculus with identity.

Bloom, Stephen L. ; Suszko, Roman

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

Project Euclid
Axiomatic, sequenzen-kalkul, and subordinate proof versions of ${\rm S9}$.

vander Nat, Arnold

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

Project Euclid
Modal elaborations of propositional logics.

Rescher, Nicholas ; Manor, Ruth

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

Project Euclid
The historical development of group theoretical ideas in connection with Euclid's axiom of congruence.

Goldstein, Marie

Text on Project Euclid
PDF
Alt PDF
p. 331-349

Project Euclid
Sommers on empty domains and existence.

Englebretsen, George

Text on Project Euclid
PDF
Alt PDF
p. 350-358

Project Euclid
An unsolvable provability problem for one variable groupoid equations.

Perkins, Peter

Text on Project Euclid
PDF
Alt PDF
p. 359-362

Project Euclid
Some results concerning finite models for sentential calculi.

Ulrich, Dolph

Text on Project Euclid
PDF
Alt PDF
p. 363-368

Project Euclid
The existence postulate and non-regular systems of modal logic.

Shukla, Anjan

Text on Project Euclid
PDF
Alt PDF
p. 369-378

Project Euclid
Kripke's axiomatization of ${\rm S2}$.

Kielkopf, Charles F.

Text on Project Euclid
PDF
Alt PDF
p. 379-380

Project Euclid
$\varepsilon$-calculus based axiom systems for some propositional modal logics.

Fitting, Melvin

Text on Project Euclid
PDF
Alt PDF
p. 381-384

Project Euclid
On formalizing Aristotle's theory of modal syllogisms.

Parks, R. Zane

Text on Project Euclid
PDF
Alt PDF
p. 385-386

Project Euclid
Duals of Smullyan trees.

Leblanc, Hugues ; Snyder, D. Paul

Text on Project Euclid
PDF
Alt PDF
p. 387-393

Project Euclid
Variations in definition of ultraproducts of a family of first order relational structures.

Malcolm, Wilfred G.

Text on Project Euclid
PDF
Alt PDF
p. 394-398

Project Euclid
Consistent, independent, and distinct propositions.

Shukla, Anjan

Text on Project Euclid
PDF
Alt PDF
p. 399-406

Project Euclid
An equational axiomatization and a semi-lattice theoretical characterization of mixed associative Newman algebras.

Sobociński, Bolesław

Text on Project Euclid
PDF
Alt PDF
p. 407-423

Project Euclid
A note on E.

Kron, Aleksandar

Text on Project Euclid
PDF
Alt PDF
p. 424-426

Project Euclid
A note on Linsky's Referring.

Redmon, R. B.

Text on Project Euclid
PDF
Alt PDF
p. 427-428

Project Euclid
Donnelly on Geach.

Stevenson, John G.

Text on Project Euclid
PDF
Alt PDF
p. 429-430

Project Euclid
Note on Carney's ``Introduction to symbolic logic''.

Pospesel, Howard ; Roqué, Alicia

Text on Project Euclid
PDF
Alt PDF
p. 431-432

Project Euclid
Is epistemic logic possible?

Hocutt, Max O.

Text on Project Euclid
PDF
Alt PDF
p. 433-453

Project Euclid
Semantics for ${\rm S}4.3.2$.

Zeman, J. Jay

Text on Project Euclid
PDF
Alt PDF
p. 454-460

Project Euclid
Natural deduction rules for modal logics.

Satre, Thomas W.

Text on Project Euclid
PDF
Alt PDF
p. 461-475

Project Euclid
On relevantly derivable disjunctions.

Meyer, Robert K.

Text on Project Euclid
PDF
Alt PDF
p. 476-480

Project Euclid
Indexings of sets.

Harris, John H.

Text on Project Euclid
PDF
Alt PDF
p. 481-484

Project Euclid
The completeness of $S1$ and some related systems.

Cresswell, Max J.

Text on Project Euclid
PDF
Alt PDF
p. 485-496

Project Euclid
Squares of opposition: Comparisons between syllogistic and propositional logic.

Williamson, Colwyn

Text on Project Euclid
PDF
Alt PDF
p. 497-500

Project Euclid
Extensions of $T^0$.

Hayes, Stanley E.

Text on Project Euclid
PDF
Alt PDF
p. 501-505

Project Euclid
A note on propositional calculus.

Rosenberg, Shalom

Text on Project Euclid
PDF
Alt PDF
p. 506-510

Project Euclid
The entailment-presupposition relationship.

Ginsberg, Mitchell

Text on Project Euclid
PDF
Alt PDF
p. 511-515

Project Euclid
In so many possible worlds.

Fine, Kit

Text on Project Euclid
PDF
Alt PDF
p. 516-520

Project Euclid
Recognizable algebras of formulas.

Grant, John

Text on Project Euclid
PDF
Alt PDF
p. 521-526

Project Euclid
Semantics for $S4.2$.

Hazen, Allen

Text on Project Euclid
PDF
Alt PDF
p. 527-528

Project Euclid
Solution to the problem concerning the Boolean bases for cylindric algebras.

Sobociński, Bolesław

Text on Project Euclid
PDF
Alt PDF
p. 529-545

Project Euclid
Semi-intuitionistic set theory.

Pozsgay, Lawrence J.

Text on Project Euclid
PDF
Alt PDF
p. 546-550

Project Euclid
Analogous characterizations of finite and isolated sets.

Barback, J. ; Jackson, W. D. ; Parnes, M.

Text on Project Euclid
PDF
Alt PDF
p. 551-555

Project Euclid
Strict and material implication in the early sixteenth century.

Ashworth, E. J.

Text on Project Euclid
PDF
Alt PDF
p. 556-560

Project Euclid
Bermerkungen zu Henkins Beweis für die Nichtstandard-Vollständigkeit der Typentheorie.

Döpp, Klemens

Text on Project Euclid
PDF
Alt PDF
p. 561-562

Project Euclid
A new proof of completeness.

Goodstein, R. L.

Text on Project Euclid
PDF
Alt PDF
p. 563-564

Project Euclid
Natural deduction rules for $S1^0-S4^0$.

Satre, Thomas W.

Text on Project Euclid
PDF
Alt PDF
p. 565-568

Project Euclid
For so many individuals.

Fine, Kit

Text on Project Euclid
PDF
Alt PDF
p. 569-572

Project Euclid
Note on Rescher's formalization of Aristotelian indeterminism.

Chapman, Tobias

Text on Project Euclid
PDF
Alt PDF
p. 573-575

Project Euclid