Sommaire

Book Review: Stewart Shapiro. Foundations with foundationalism.

Cocchiarella, Nino b.

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

Project Euclid
Significant parts and identity of artifacts.

Tzouvaras, Athanassios

Text on Project Euclid
PDF
Alt PDF
p. 445-452

Project Euclid
'Good' defined in terms of 'better'.

Daniels, Charles B.

Text on Project Euclid
PDF
Alt PDF
p. 439-444

Project Euclid
Quadratic residues and $x^3+y^3=z^3$ in models of ${\rm IE}_1$ and ${\rm IE}_2$.

Smith, Stuart T.

Text on Project Euclid
PDF
Alt PDF
p. 420-438

Project Euclid
On propositional quantifiers in provability logic.

Artemov, Sergei N. ; Beklemishev, Lev D.

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

Project Euclid
Some admissible rules in nonnormal modal systems.

Williamson, Timothy

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

Project Euclid
The fibrational formulation of intuitionistic predicate logic ${\rm I}$: completeness according to Gödel, Kripke, and Läuchli. I.

Makkai, M.

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

Project Euclid
Are we finite?

White, G.

Text on Project Euclid
PDF
Alt PDF
p. 311-333

Project Euclid
Book Review: T. E. Forster. Set theory with a universal set: Exploring an untyped universe.

Kaye, Richard

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

Project Euclid
A tableau style proof system for two paraconsistent logics.

Bloesch, Anthony

Text on Project Euclid
PDF
Alt PDF
p. 295-301

Project Euclid
Isomorphisms of finite cylindric set algebras of characteristic zero.

Serény, György

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

Project Euclid
Quantified modal logics of positive rational numbers and some related systems.

Corsi, Giovanna

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

Project Euclid
Extensions of the $\aleph_0$-valued Ł ukasiewicz propositional logic.

Beavers, M. G.

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

Project Euclid
BCK and BCI logics, condensed detachment and the $2$-property.

Hindley, J. Roger

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

Project Euclid
On closed elementary cuts in recursively saturated models of Peano arithmetic.

Piekart, Bożena

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

Project Euclid
Nonclassical syllogistic inference and the method of resolution.

Noah, Aris

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

Project Euclid
Apodeictic ecthesis.

Thom, Paul

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

Project Euclid
Stable groups, mostly of finite exponent.

Wagner, Frank O.

Text on Project Euclid
PDF
Alt PDF
p. 183-192

Project Euclid
The world, the facts, and primary logic.

Sommers, Fred

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

Project Euclid
Remarks on strong nonstructure theorems.

Hyttinen, Tapani ; Shelah, Saharon ; Tuuri, Heikki

Text on Project Euclid
PDF
Alt PDF
p. 157-168

Project Euclid
Consequential implication. A correction to: ``Decision procedures for logics of consequential implication''.

Pizzi, Claudio

Text on Project Euclid
PDF
Alt PDF
p. 621-624

Project Euclid
Argument deletion without events.

Graves, Paul R.

Text on Project Euclid
PDF
Alt PDF
p. 607-620

Project Euclid
BREAKUP: a preprocessing algorithm for satisfiability testing of CNF formulas.

Cowen, Robert ; Wyatt, Katherine

Text on Project Euclid
PDF
Alt PDF
p. 602-606

Project Euclid
A parity-based Frege proof for the symmetric pigeonhole principle.

Firebaugh, Steve

Text on Project Euclid
PDF
Alt PDF
p. 597-601

Project Euclid
The Gupta-Belnap systems ${\rm S}^\#$ and ${\rm S}^*$ are not axiomatisable.

Kremer, Philip

Text on Project Euclid
PDF
Alt PDF
p. 583-596

Project Euclid
Cut-free modal sequents for normal modal logics.

Cerrato, Claudio

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

Project Euclid
Zermelo, reductionism, and the philosophy of mathematics.

Taylor, R. Gregory

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

Project Euclid
Multimorphisms over enumerated sets.

Orlicki, Andrzej

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

Project Euclid
Minimal doxastic logic: probabilistic and other completeness theorems.

Milne, Peter

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

Project Euclid
The fibrational formulation of intuitionistic predicate logic ${\rm I}$: completeness according to Gödel, Kripke, and Läuchli. II.

Makkai, M.

Text on Project Euclid
PDF
Alt PDF
p. 471-498

Project Euclid