Sommaire du Fascicule no. 1

Unusual feature of $S3^\ast$.

Thomas, Ivo

Text on Project Euclid
PDF
Alt PDF


Project Euclid
A correction in Copi's account of Boolean normal forms.

Blum, Alex

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Axiomatic inscriptional syntax. Part II. The syntax of protothetic.

Rickey, V. Frederick

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

Project Euclid
A generalised Kleene-Rosser paradox for a system containing the combinator ${\bf K}$.

Bunder, M. W.

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

Project Euclid
A contribution to the study of extended mereologies.

Lejewski, Czesław

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

Project Euclid
Tolerance geometry.

Roberts, Fred S.

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

Project Euclid
An extension of Venn diagrams.

Fitzpatrick, P. J.

Text on Project Euclid
PDF
Alt PDF
p. 77-86

Project Euclid
The cosubstitution condition.

Muzio, J. C.

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

Project Euclid
Diagonalization and the recursion theorem.

Owings, James C.

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

Project Euclid
A note on a theorem of C. Yates.

Jackson, William D.

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

Project Euclid
On a property of certain propositional formulae.

Meredith, David

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

Project Euclid
A set-theoretic model for nonassociative number theory.

Bollman, D. ; Laplaza, M.

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

Project Euclid
Remark about the Boolean parts in the postulate-systems of closure, derivative and projective algebras.

Sobociński, Bolesław

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

Project Euclid
A note on omitting the replacement schema.

Bundy, A.

Text on Project Euclid
PDF
Alt PDF
p. 118-120

Project Euclid
On some models of modal logics.

Baxter, R. J.

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

Project Euclid
Effective extendability and fixed points.

Payne, Thomas H.

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

Project Euclid
A non-standard proof in the theory of integration.

Webb, S. Michael ; Chapin, E. William

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

Project Euclid
A note on Newman's algebraic systems.

Sobociński, Bołeslaw

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

Project Euclid
Formation sequences for propositional formulas.

Zuckerman, Martin M.

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

Project Euclid
A note on implicative models.

Marsden, E. L.

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

Project Euclid
Rado's theorem and solvability of systems of equations.

Abian, Alexander

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

Project Euclid
A simplified semantics for modal logic.

Goble, L. F.

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

Project Euclid
The completeness of an intensional logic: definite topological logic.

Garson, James W.

Text on Project Euclid
PDF
Alt PDF
p. 175-184

Project Euclid
Physical modalities and the system $E$.

Collier, Kenneth W.

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

Project Euclid
The concept of logic.

Rao, A. P.

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

Project Euclid
Andreas Kesler and the later theory of consequence.

Ashworth, E. J.

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

Project Euclid
Une généralisation du carré logique.

Stihi, Teodor

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

Project Euclid
On conserving positive logics.

Meyer, Robert K.

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

Project Euclid
Local recursive theory.

Vučković, Vladeta

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

Project Euclid
Simultaneous versus successive quantification.

Meyers, Leroy F.

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

Project Euclid
Many-valued logics and the Lewis paradoxes.

Schuh, Edward

Text on Project Euclid
PDF
Alt PDF
p. 250-252

Project Euclid
A completeness proof for $C$-calculus.

Hiż, H.

Text on Project Euclid
PDF
Alt PDF
p. 253-258

Project Euclid
On how best to make sense of Leśniewski's ontology.

Sagal, Paul T.

Text on Project Euclid
PDF
Alt PDF
p. 259-262

Project Euclid
Sums of at least $9$ ordinals.

Zuckerman, Martin M.

Text on Project Euclid
PDF
Alt PDF
p. 263-268

Project Euclid
On the number of overlapping subsets of a set.

Welsh, Paul J.

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

Project Euclid
A note on transitivity.

Chidgey, John R.

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

Project Euclid
On the extensions of $S5$.

Gärdenfors, Peter

Text on Project Euclid
PDF
Alt PDF
p. 277-280

Project Euclid
A new representation of $S5$.

Thomason, Steven K.

Text on Project Euclid
PDF
Alt PDF
p. 281-284

Project Euclid
On an alleged contradiction lurking in Frege's Begriffsschrift.

Bynum, Terrell Ward

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

Project Euclid
The theory of consequence in the late fifteenth and early sixteenth centuries.

Ashworth, E. J.

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

Project Euclid
Secondary extensions, meanings and non-null terms.

Harris, James F.

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

Project Euclid
The completeness of combinatory logic with discriminators.

Kearns, John T.

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

Project Euclid
Degrees of isolic theories.

Ellentuck, Erik

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

Project Euclid
A deduction theorem for restricted generality.

Bunder, M. W.

Text on Project Euclid
PDF
Alt PDF
p. 341-346

Project Euclid
Sentential calculus for logical falsehoods.

Morgan, Charles G.

Text on Project Euclid
PDF
Alt PDF
p. 347-353

Project Euclid
Combinatorial systems with axiom.

Hughes, C. E. ; Singletary, W. E.

Text on Project Euclid
PDF
Alt PDF
p. 354-360

Project Euclid
A simple algebra of first order logic.

Pinter, Charles C.

Text on Project Euclid
PDF
Alt PDF
p. 361-366

Project Euclid
What Russell learned from Peano.

Kennedy, H. C.

Text on Project Euclid
PDF
Alt PDF
p. 367-372

Project Euclid
On generating the finitely satisfiable formulas.

Bullock, Arthur M. ; Schneider, Hubert H.

Text on Project Euclid
PDF
Alt PDF
p. 373-376

Project Euclid
Incompleteness theorem via weak definability of truth: a short proof.

Germano, Giorgio

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

Project Euclid
The form of Reductio ad Absurdum.

Lee, J. M.

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

Project Euclid
Modality and preference relation.

Saito, Setsuo

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

Project Euclid
Concerning the proper axiom for $S4.04$ and some related systems.

Goldblatt, R. I.

Text on Project Euclid
PDF
Alt PDF
p. 392-396

Project Euclid
A formal characterization of ordinal numbers.

De Lillo, Nicholas J.

Text on Project Euclid
PDF
Alt PDF
p. 397-400

Project Euclid
Necessity and some non-modal propositional calculi.

Pahi, Biswambhar

Text on Project Euclid
PDF
Alt PDF
p. 401-404

Project Euclid
On compactness in many-valued logic. I.

Woodruff, Peter W.

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

Project Euclid
Extensions of Gödel's completeness theorem and the Löwenheim-Skolem theorem.

Bloom, Stephen L.

Text on Project Euclid
PDF
Alt PDF
p. 408-410

Project Euclid
A stronger definition of a recursively infinite set.

Applebaum, Charles H.

Text on Project Euclid
PDF
Alt PDF
p. 411-412

Project Euclid
A new axiomatization of modal system ${\rm K}1.2$.

Sobociński, Bolesław

Text on Project Euclid
PDF
Alt PDF
p. 413-414

Project Euclid
Modal system ${\rm S}3$ and the proper axioms of ${\rm S}4.02$ and ${\rm S}4.04$.

Sobociński, Bolesław

Text on Project Euclid
PDF
Alt PDF
p. 415-418

Project Euclid
Note about the Boolean parts of the extended Boolean algebras.

Sobociński, Bolesław

Text on Project Euclid
PDF
Alt PDF
p. 419-422

Project Euclid
Further extensions of $S3^\ast$.

Thomas, Ivo

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

Project Euclid
Two sets of perfect syllogisms.

Lehman, Anne

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

Project Euclid
An elementary completeness proof for a system of natural deduction.

Bennett, David W.

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

Project Euclid
A felicitous fragment of the predicate calculus.

Hamblin, C. L.

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

Project Euclid
On the intuitionistic equivalential calculus.

Tax, Robert E.

Text on Project Euclid
PDF
Alt PDF
p. 448-456

Project Euclid
A simplified decision procedure for categorical syllogisms.

Gensler, Harry J.

Text on Project Euclid
PDF
Alt PDF
p. 457-466

Project Euclid
Formally defined operations in Kripke models.

Sanchis, Luis E.

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

Project Euclid
Incidence rings of pre-ordered sets.

Belding, W. Russell

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

Project Euclid
The two logics: traditional and modern.

Denise, Theodore C.

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

Project Euclid
Infinite series of $T$-regressive isols.

Gersting, Judith L.

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

Project Euclid
Les propriétés du foncteur Nicod par rapport à la réciprocité et conjonction. I.

Mihăilescu, Eugen

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

Project Euclid
Truth, falsehood, and contingency in first-order predicate calculus.

Morgan, Charles G.

Text on Project Euclid
PDF
Alt PDF
p. 536-542

Project Euclid
On the real logical structure of Lewis' independent proof.

Wiredu, J. E.

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

Project Euclid
Concerning the quantifier algebras in the sense of Pinter.

Sobociński, Bolesław

Text on Project Euclid
PDF
Alt PDF
p. 547-553

Project Euclid
A stronger theorem concerning the non-existence of combinatorial designs on infinite sets.

Frascella, William J.

Text on Project Euclid
PDF
Alt PDF
p. 554-558

Project Euclid
Two results in Leśniewski's mereology.

Clay, Robert E.

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

Project Euclid
A note on: ``Transitivity, supertransitivity and induction''.

Belding, W. Russell ; Poss, Richard L.

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

Project Euclid
A new extension of $S4$.

Goldblatt, R. I.

Text on Project Euclid
PDF
Alt PDF
p. 567-574

Project Euclid
The geometry of solids in Hilbert spaces.

Sullivan, Theodore F.

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

Project Euclid
Kripke's deontic semantics again.

Bacon, John

Text on Project Euclid
PDF
Alt PDF
p. 581-582

Project Euclid