Sommaire

Book Review: The Taming of the True, by Neil Tennant

Hart, W. D.

Text on Project Euclid
PDF
Alt PDF
p. 447-451

Project Euclid
Proof Mining in Topological Dynamics

Gerhardy, Philipp

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

Project Euclid
The Sum of Irreducible Fractions with Consecutive Denominators Is Never an Integer in PA-

Pambuccian, Victor

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

Project Euclid
Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System

Majkić, Zoran

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

Project Euclid
Models Omitting Given Complete Types

Tsuboi, Akito

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

Project Euclid
A Note on Logics of Ignorance and Borders

Steinsvold, Christopher

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

Project Euclid
Intuitionistic Logic according to Dijkstra's Calculus of Equational Deduction

Bohórquez V., Jaime

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

Project Euclid
Automorphisms of Countable Short Recursively Saturated Models of PA

Shochat, Erez

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

Project Euclid
Causality, Modality, and Explanation

White, Graham

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

Project Euclid
Decomposable Ultrafilters and Possible Cofinalities

Lipparini, Paolo

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

Project Euclid
Self-implications in BCI

Kowalski, Tomasz

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

Project Euclid
Quantifier Elimination for a Class of Intuitionistic Theories

Ellison, Ben ; Fleischmann, Jonathan ; McGinn, Dan ; Ruitenburg, Wim

Text on Project Euclid
PDF
Alt PDF
p. 281-293

Project Euclid
Common Knowledge of Rationality in Extensive Games

de Bruin, Boudewijn

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

Project Euclid
The Logic of Conditional Negation

Cantwell, John

Text on Project Euclid
PDF
Alt PDF
p. 245-260

Project Euclid
Classifying the Branching Degrees in the Medvedev Lattice of $\Pi^0_1$ Classes

Alfeld, Christopher P.

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

Project Euclid
Approximate Similarities and Poincaré Paradox

Gerla, Giangiacomo

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

Project Euclid
Functors of Lindenbaum-Tarski, Schematic Interpretations, and Adjoint Cylinders between Sentential Logics

Vidal, J. Climent ; Tur, J. Soliveres

Text on Project Euclid
PDF
Alt PDF
p. 185-202

Project Euclid
Tennenbaum's Theorem and Unary Functions

Yaegasi, Sakae

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

Project Euclid
Fitch's Argument and Typing Knowledge

Paseau, Alexander

Text on Project Euclid
PDF
Alt PDF
p. 153-176

Project Euclid
An Undecidable Property of Recurrent Double Sequences

Prunescu, Mihai

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

Project Euclid
A Note on the Logic of Eventual Permanence for Linear Time

French, Rohan

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

Project Euclid
Mass Problems and Intuitionism

Simpson, Stephen G.

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

Project Euclid
Immunity and Hyperimmunity for Sets of Minimal Indices

Stephan, Frank ; Teutsch, Jason

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

Project Euclid
Uniform Continuity Properties of Preference Relations

Bridges, Douglas S.

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

Project Euclid
Reflexive Intermediate First-Order Logics

Carter, Nathan C.

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

Project Euclid
Anderson's Relevant Deontic and Eubouliatic Systems

Lokhorst, Gert-Jan C.

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

Project Euclid
Decidability of ∃*∀∀-sentences in HF

Bellè, D. ; Parlamento, F.

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

Project Euclid
Topological Models for Extensional Partial Set Theory

Hinnion, Roland ; Libert, Thierry

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

Project Euclid
Self-Embeddings of Computable Trees

Binns, Stephen ; Kjos-Hanssen, Bjørn ; Lerman, Manuel ; Schmerl, James H. ; Solomon, Reed

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

Project Euclid