Sommaire

A shorter proof of a recent result by R. Di Paola.

Bernardi, Claudio

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

Project Euclid
Some remarks on equivalence in infinitary and stationary logic.

Kaufmann, Matt

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

Project Euclid
A pragmatic theory of locally standard grammar.

Sweet, Albert M.

Text on Project Euclid
PDF
Alt PDF
p. 364-382

Project Euclid
Extensionality in Bernays set theory.

Yasuhara, Mitsuru

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

Project Euclid
An axiomatization of the equivalential fragment of the three-valued logic of Ł ukasiewicz.

Kabziński, Jacek K.

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

Project Euclid
Facts and the choice of logical foundations.

Rantala, Veikko

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

Project Euclid
Individual concepts as propositional variables in ${\rm ML}^{\nu+1}$.

Zanardo, Alberto

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

Project Euclid
Unneeded surgery on Aristotle's Prior analytics.

Barker, Evelyn M.

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

Project Euclid
Generalized quantifiers and the square of opposition.

Brown, Mark

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

Project Euclid
Do we need quantification?

Hugly, Philip ; Sayward, Charles

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

Project Euclid
Addenda and corrigenda to: ``The published work of Kurt Gödel: an annotated bibliography''.

Dawson, John W.

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

Project Euclid
Mechanizing logic. II. Automated map logic method for relational arguments on paper and by computer.

Rybak, Janet ; Rybak, John

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

Project Euclid
Mechanizing logic. I. Map logic extended formally to relational arguments.

Rybak, John ; Rybak, Janet

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

Project Euclid
Correcting the tableau procedure for ${\rm S}4$.

Tapscott, Bangs L.

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

Project Euclid
Aggregating subjective probabilities: some limitative theorems.

Wagner, Carl

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

Project Euclid
Skolem fragments.

Bonevac, Daniel

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

Project Euclid
Finitary consistency of a free arithmetic.

Bencivenga, Ermanno

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

Project Euclid
Read on relevance: a rejoinder.

Burgess, John P.

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

Project Euclid
A model theoretic proof of Feferman's preservation theorem.

Marker, David

Text on Project Euclid
PDF
Alt PDF
p. 213-216

Project Euclid
Probability logic.

Hailperin, Theodore

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

Project Euclid
Trees and finite satisfiability: proof of a conjecture of Burgess.

Boolos, George

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

Project Euclid
The predicate modal logic of provability.

Montagna, Franco

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

Project Euclid
Constructing sequent rules for generalized propositional logics.

Call, Richard L.

Text on Project Euclid
PDF
Alt PDF
p. 171-178

Project Euclid
Some results on quantifiers.

Westerståhl, Dag

Text on Project Euclid
PDF
Alt PDF
p. 152-170

Project Euclid
Conjunctive normal forms and weak modal logics without the axiom of necessity.

Ōhama, Shigeo

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

Project Euclid
On certain lattices of degrees of interpretability.

Lindström, Per

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

Project Euclid
On the relationship between one-point frames and degrees of unsatisfiability of modal formulas.

Bellissima, Fabio

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

Project Euclid
Epistemic semantics for classical and intuitionistic logic.

Martin, John N.

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

Project Euclid
A pair of nonisomorphic $\equiv_{\infty \lambda}$ models of power $\lambda$ for $\lambda$ singular with $\lambda_\omega=\lambda$.

Shelah, Saharon

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

Project Euclid
First-order theories as many-sorted algebras.

Manca, V. ; Salibra, A.

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

Project Euclid
Opposition.

Englebretsen, George

Text on Project Euclid
PDF
Alt PDF
p. 79-85

Project Euclid
Vector spaces and binary quantifiers.

Krynicki, Michał ; Lachlan, Alistair ; Väänänen, Jouko

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

Project Euclid
The necessity of the past and modal-tense logic incompleteness.

White, Michael J.

Text on Project Euclid
PDF
Alt PDF
p. 59-71

Project Euclid
The nature of reflexive paradoxes. II.

Goddard, Leonard

Text on Project Euclid
PDF
Alt PDF
p. 27-58

Project Euclid
Decomposable collections of sets.

Burd, Barry

Text on Project Euclid
PDF
Alt PDF
p. 17-26

Project Euclid
Tense logic and time.

van Benthem, Johan

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

Project Euclid