Sommaire du Fascicule no. 1

On the nonaxiomatizability of some logics by finitely many schemas.

Shelah, Saharon ; Steinhorn, Charles

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

Project Euclid
A linearly ordered topological space that is not normal.

Krom, Melven

Text on Project Euclid
PDF
Alt PDF
p. 12-13

Project Euclid
Analyticity and analytical truth.

Bencivenga, Ermanno

Text on Project Euclid
PDF
Alt PDF
p. 14-19

Project Euclid
The logic of free acts and the powers of God.

Forrest, Peter

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

Project Euclid
Stationary logic and its friends. II.

Mekler, Alan H. ; Shelah, Saharon

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

Project Euclid
Implication and presupposition.

Farrell, Robert J.

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

Project Euclid
Czeżowski on wild quantity.

Englebretsen, George

Text on Project Euclid
PDF
Alt PDF
p. 62-65

Project Euclid
Solving functional equations at higher types: some examples and some theorems.

Statman, Richard

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

Project Euclid
Notes on the mathematical aspects of Kripke's theory of truth.

Fitting, Melvin

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

Project Euclid
Iterated images on manifolds.

Harkleroad, Leon

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

Project Euclid
Syllogisms with statistical quantifiers.

Thompson, Bruce E. R.

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

Project Euclid
Singular/general.

Englebretsen, George

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

Project Euclid
Some failures of interpolation in modal logic.

Schumm, George F.

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

Project Euclid
The Hanf number of stationary logic.

Shelah, Saharon ; Kaufmann, Matt

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

Project Euclid
A new axiomatization of Belnap's conditional assertion.

Cohen, Daniel H.

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

Project Euclid
Russell's first theory of denoting and quantification.

Dau, Paolo

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

Project Euclid
Analytic implication.

Fine, Kit

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

Project Euclid
On purely relevant logics.

Avron, Arnon

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

Project Euclid
Reply to Burgess and to Read.

Mortensen, Chris

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

Project Euclid
On an implication connective of ${\rm RM}$.

Avron, Arnon

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

Project Euclid
Subcountability under realizability.

McCarty, Charles

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

Project Euclid
A story semantics for implication.

Daniels, Charles

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

Project Euclid
A free logic with simple and complex predicates.

Lambert, Karel ; Bencivenga, Ermanno

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

Project Euclid
Model constructions in stationary logic. II. Definable ultrapowers.

Bruce, Kim B.

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

Project Euclid
On power of singular cardinals.

Shelah, Saharon

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

Project Euclid
Information and association.

Fodor, J. A.

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

Project Euclid
Information and circumstance.

Barwise, Jon

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

Project Euclid
Message semantics.

Harrah, David

Text on Project Euclid
PDF
Alt PDF
p. 339-348

Project Euclid
Incomplete definite descriptions.

Soames, Scott

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

Project Euclid
Predication and paronymous modifiers.

Clark, Romane

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

Project Euclid
His burning pants.

McKay, Thomas

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

Project Euclid
Reflexivity.

Salmon, Nathan

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

Project Euclid
California semantics meets the great fact.

Wagner, Steven J.

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

Project Euclid
Classical harmony.

Weir, Alan

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

Project Euclid
Gentzen systems, resolution, and literal trees.

Dougherty, Daniel J.

Text on Project Euclid
PDF
Alt PDF
p. 483-503

Project Euclid
Modal logics with functional alternative relations.

Segerberg, Krister

Text on Project Euclid
PDF
Alt PDF
p. 504-522

Project Euclid
Kripke-type semantics for da Costa's paraconsistent logic ${\rm C}_\omega$.

Baaz, Matthias

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

Project Euclid
Finite Kripke models of ${\rm HA}$ are locally ${\rm PA}$.

van Dalen, D. ; Mulder, H. ; Krabbe, E. C. W. ; Visser, A.

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

Project Euclid
Modality and possibility in some intuitionistic modal logics.

Font, Josep M.

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

Project Euclid
Strong normalization for typed terms with surjective pairing.

Troelstra, A. S.

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

Project Euclid
A new variant of the Gödel-Mal'cev theorem for the classical propositional calculus and correction to my paper: ``The connective of necessity of modal logic ${\rm S}_5$ is metalogical''.

Dywan, Zdzisław

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

Project Euclid
On the characterizability of the frames for the ``unpreventability of the present and the past''.

Zanardo, Alberto

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

Project Euclid
Systems of sentence logic with trans-atomic units.

Butrick, Richard

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

Project Euclid
Sums of finitely many ordinals of various kinds.

Zuckerman, Martin M.

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

Project Euclid
Near coherence of filters. I. Cofinal equivalence of models of arithmetic.

Blass, Andreas

Text on Project Euclid
PDF
Alt PDF
p. 579-591

Project Euclid
Identities and indiscernibility.

Broesterhuizen, Guus ; Wierzejewski, J.

Text on Project Euclid
PDF
Alt PDF
p. 592-605

Project Euclid