Sommaire

Book review: John Bell. Introduction to toposes and local set theory.

McLarty, Colin

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

Project Euclid
Defining ``good'' and ``bad'' in terms of ``better''.

Hansson, Sven Ove

Text on Project Euclid
PDF
Alt PDF
p. 136-149

Project Euclid
Gentzenizing Schroeder-Heister's natural extension of natural deduction.

Avron, Arnon

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

Project Euclid
Predication in the logic terms.

Sommers, Fred

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

Project Euclid
Modal definability in enriched languages.

Goranko, Valentin

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

Project Euclid
Motivation and demotivation of a four-valued logic.

Fox, John

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

Project Euclid
The Fraenkel-Mostowski method, revisited.

Brunner, Norbert

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

Project Euclid
A simplification of the completeness proofs for Guaspari and Solovay's ${\rm R}$.

Voorbraak, Frans

Text on Project Euclid
PDF
Alt PDF
p. 44-63

Project Euclid
A new proof of the fixed-point theorem of provability logic.

Reidhaar-Olson, Lisa

Text on Project Euclid
PDF
Alt PDF
p. 37-43

Project Euclid
Characters and fixed-points in provability logic.

Gleit, Zachary ; Goldfarb, Warren

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

Project Euclid
Linear logic displayed.

Belnap, Nuel

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

Project Euclid
The nonaxiomatizability of $L(Q^2_{\aleph_1})$ by finitely many schemata.

Shelah, Saharon ; Steinhorn, Charles

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

Project Euclid
Book review: S. G. Shanker.Wittgenstein and the turning point in the philosophy of mathematics.

Stillwell, Shelley

Text on Project Euclid
PDF
Alt PDF
p. 629-645

Project Euclid
On finite models of regular identities.

Dudek, Józef ; Kisielewicz, Andrzej

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

Project Euclid
Objects and existence: reflections on free logic.

Mendelsohn, Richard L.

Text on Project Euclid
PDF
Alt PDF
p. 604-623

Project Euclid
On an unsound proof of the existence of possible worlds.

Menzel, Christopher

Text on Project Euclid
PDF
Alt PDF
p. 598-603

Project Euclid
Paraconsistency and the $\rm C$-systems of da Costa.

Urbas, Igor

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

Project Euclid
Infinite sets of nonequivalent modalities.

Bellissima, Fabio

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

Project Euclid
An elementary proof for some semantic characterizations of nondeterministic Floyd-Hoare logic.

Sain, Ildikó

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

Project Euclid
Some results on intermediate constructive logics.

Miglioli, Pierangelo ; Moscato, Ugo ; Ornaghi, Mario ; Quazza, Silvia ; Usberti, Gabriele

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

Project Euclid
Cofinalities of countable ultraproducts: the existence theorem.

Canjar, R. Michael

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

Project Euclid
Near coherence of filters. III. A simplified consistency proof.

Blass, Andreas ; Shelah, Saharon

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

Project Euclid
An isomorphism between rings and groups.

Iskander, Awad A.

Text on Project Euclid
PDF
Alt PDF
p. 513-529

Project Euclid
On relativizing Kolmogorov's absolute probability functions.

Leblanc, Hugues ; Roeper, Peter

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

Project Euclid
Truth table logic, with a survey of embeddability results.

Tennant, Neil

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

Project Euclid
Propositional functions and families of types.

Smith, Jan M.

Text on Project Euclid
PDF
Alt PDF
p. 442-458

Project Euclid
The completeness of provable realizability.

Mints, G. E.

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

Project Euclid
Logical form and radical interpretation.

McCarthy, Tim

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

Project Euclid
Logical constants and the glory of truth-conditional semantics.

Lycan, William G.

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

Project Euclid
Formatives.

Englebretsen, George

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

Project Euclid
Logical constants as punctuation marks.

Došen, Kosta

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

Project Euclid
Russell, logicism, and the choice of logical constants.

Byrd, Michael

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

Project Euclid
Logical constants across varying types.

van Benthem, Johan

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

Project Euclid
Book review: Peter Aczel. Non-well-founded sets.

Hinnion, R.

Text on Project Euclid
PDF
Alt PDF
p. 308-312

Project Euclid
Leśniewski's strategy and modal logic.

Kearns, John T.

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

Project Euclid
Some compactness results for modal logic.

Schumm, George F.

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

Project Euclid
Models for modal syllogisms.

Johnson, Fred

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

Project Euclid
Set-mappings on Dedekind sets.

Brunner, Norbert

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

Project Euclid
Isomorphic but not lower base-isomorphic cylindric algebras of finite dimension.

Biró, Balázs

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

Project Euclid
Combinators and categorial grammar.

Simons, Peter

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

Project Euclid
Monadic $\Pi^1_1$-theories of $\Pi_1^1$}-properties.

Doets, Kees

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

Project Euclid
Modularity and relevant logic.

Garson, James

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

Project Euclid
The Boolean spectrum of an $o$-minimal theory.

Steinhorn, Charles ; Toffalori, Carlo

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

Project Euclid
Peano's smart children: a provability logical study of systems with built-in consistency.

Visser, Albert

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

Project Euclid