Sommaire du Fascicule no. 1

Frege's definition of number.

Wagner, Steven

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

Project Euclid
On the Borel classification of the isomorphism class of a countable model.

Miller, Arnold W.

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

Project Euclid
The validity of disjunctive syllogism is not so easily proved.

Mortensen, Chris

Text on Project Euclid
PDF
Alt PDF
p. 35-40

Project Euclid
Common sense and ``relevance''.

Burgess, John P.

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

Project Euclid
A note on intuitionistic models of ${\rm ZF}$.

Lavendhomme, R. ; Lucas, T.

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

Project Euclid
A diachronic semantics for inexact reference.

Shelton, La Verne

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

Project Euclid
Sequential compactness and the axiom of choice.

Brunner, Norbert

Text on Project Euclid
PDF
Alt PDF
p. 89-92

Project Euclid
Why I am not a nominalist.

Burgess, John P.

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

Project Euclid
The transitivity of implication in tree logic.

Wilson, N. L.

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

Project Euclid
Plantinga's theory of proper names.

Austin, David F.

Text on Project Euclid
PDF
Alt PDF
p. 115-132

Project Euclid
Generalized Archimedean fields.

Cowles, John ; LaGrange, Robert

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

Project Euclid
Consistent, independent, and distinct propositions. III. Modalities in ${\rm S}6$.

Shukla, Anjan

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

Project Euclid
A note on Conway multiplication of ordinals.

Hickman, John

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

Project Euclid
Minimally incomplete sets of Ł ukasiewiczian truth functions.

Hendry, Herbert E.

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

Project Euclid
On measures and distinguishability.

Mellema, Gregory

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

Project Euclid
Probabilistic semantics for intuitionistic logic.

Morgan, C. G. ; Leblanc, H.

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

Project Euclid
A new foundation for the theory of relations.

Comer, Stephen D.

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

Project Euclid
Cylindrical decision problems for system functions.

Thuraisingham, M. B.

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

Project Euclid
Compactness via prime semilattices.

Cowen, R. H.

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

Project Euclid
Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains.

Wos, L. ; Winker, S. ; Veroff, R. ; Smith, B. ; Henschen, L.

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

Project Euclid
Completeness of an ecthetic syllogistic.

Smith, Robin

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

Project Euclid
An axiomatization of predicate functor logic.

Kuhn, Steven T.

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

Project Euclid
Some elementary closure properties of $n$-cylinders.

Thuraisingham, M. B.

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

Project Euclid
The published work of Kurt Gödel: an annotated bibliography.

Dawson, John W.

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

Project Euclid
Probability theory, intuitionism, semantics, and the Dutch book argument.

Morgan, Charles G. ; Leblanc, Hugues

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

Project Euclid
The axiom of choice in topology.

Brunner, Norbert

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

Project Euclid
Tense trees: a tree system for ${\rm K}_{{\rm t}}$.

Copeland, B. J.

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

Project Euclid
KM and the finite model property.

Cresswell, M. J.

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

Project Euclid
The concept of $n$-cylinder and its relationship to simple sets.

Thuraisingham, M. B.

Text on Project Euclid
PDF
Alt PDF
p. 328-336

Project Euclid
Correction of the semantics for ${\rm S}4.03$ and a note on literal disjunctive symmetry.

Moon, Ralph H.

Text on Project Euclid
PDF
Alt PDF
p. 337-345

Project Euclid
Inaccessible worlds.

Humberstone, I. L.

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

Project Euclid
Homogeneous Boolean algebras with very nonsymmetric subalgebras.

Koppelberg, Sabine ; Monk, J. Donald

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

Project Euclid
A simplification of the logic of conditionals.

Lowe, E. J.

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

Project Euclid
On the equivalence between the calculi ${\rm MC}^\nu$ and ${\rm EC}^{\nu+1}$ of A. Bressan.

Zanardo, Alberto

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

Project Euclid
Prime spectrum of a tetravalent modal algebra.

Loureiro, Isabel

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

Project Euclid
Some preservation results for classical and intuitionistic satisfiability in Kripke models.

Marković, Zoran

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

Project Euclid
The class of neat-reducts of cylindric algebras is not a variety but is closed with respect to ${\rm HP}$.

Németi, István

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

Project Euclid
The connective of necessity of modal logic ${\rm S}5$ is metalogical.

Dywan, Zdzisław

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

Project Euclid
Submodels and definable points in models of Peano arithmetic.

Mijajlović, Žarko

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

Project Euclid
Halldén-completeness by gluing of Kripke frames.

van Benthem, J. F. A. K. ; Humberstone, I. L.

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

Project Euclid
The simple consistency of a set theory based on the logic ${\rm CSQ}$.

Brady, Ross T.

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

Project Euclid
A note on ${\rm R}_{\rightarrow}$ matrices.

Meyer, Robert K.

Text on Project Euclid
PDF
Alt PDF
p. 450-472

Project Euclid
Burgess on relevance: a fallacy indeed.

Read, Stephen

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

Project Euclid
Manifolds allowing RET arithmetic.

Harkleroad, Leon

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

Project Euclid
Separating minimal, intuitionist, and classical logic.

Meredith, David

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

Project Euclid
The nature of reflexive paradoxes. I.

Goddard, Leonard ; Johnston, Mark

Text on Project Euclid
PDF
Alt PDF
p. 491-508

Project Euclid
The fundamental ${\rm S}$-theorem---a corollary.

Meyer, Robert K. ; Martin, Errol P. ; Dwyer, Robert

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

Project Euclid
On the Freyd cover of a topos.

Moerdijk, Ieke

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

Project Euclid
$\aleph_0$-categoricity over a predicate.

Pillay, Anand

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

Project Euclid