Sommaire

Book review: Stephen Pollard. Philosophical introduction to set theory.

Tiles, Mary

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

Project Euclid
Relevance and paraconsistency---a new approach. III. Cut-free Gentzen-type systems.

Avron, Arnon

Text on Project Euclid
PDF
Alt PDF
p. 147-160

Project Euclid
The logic of the liar from the standpoint of the Aristotelian syllogistic.

Kelly, Charles J.

Text on Project Euclid
PDF
Alt PDF
p. 129-146

Project Euclid
Stability for pairs of equivalence relations.

Toffalori, Carlo

Text on Project Euclid
PDF
Alt PDF
p. 112-128

Project Euclid
Matrix representation of Husserl's part-whole-foundation theory.

Blecksmith, Richard ; Null, Gilbert

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

Project Euclid
New semantics for the extensional but hyper-intensional part $\scr L_\alpha$ of the modal sense language ${\scr S}{\scr L}^\nu_\alpha$.

Bressan, Aldo

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

Project Euclid
Indiscernibility and identity in probability theory.

Roeper, Peter ; Leblanc, Hugues

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

Project Euclid
Review of K. Gödel's Collected works, Vol. II [Oxford Univ. Press, New York, 1990].

Kreisel, G.

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

Project Euclid
Concerted instant-interval temporal semantics. II. Temporal valuations and logics of change.

Bochman, Alexander

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

Project Euclid
Expressive completeness and decidability.

Schumm, George F. ; Shapiro, Stewart

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

Project Euclid
A generalization of the adequacy theorem for the quasi-senses.

Bonotto, Cinzia

Text on Project Euclid
PDF
Alt PDF
p. 560-575

Project Euclid
Some syntactical properties of intermediate predicate logics.

Suzuki, Nobu-Yuki

Text on Project Euclid
PDF
Alt PDF
p. 548-559

Project Euclid
Expressiveness and completeness of an interval tense logic.

Venema, Yde

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

Project Euclid
Remarks on special lattices and related constructive logics with strong negation.

Pagliani, Piero

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

Project Euclid
Enumerations of Turing ideals with applications.

Marker, David

Text on Project Euclid
PDF
Alt PDF
p. 509-514

Project Euclid
Actuality and quantification.

Hazen, Allen

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

Project Euclid
Derivability conditions on Rosser's provability predicates.

Arai, Toshiyasu

Text on Project Euclid
PDF
Alt PDF
p. 487-497

Project Euclid
Book review: Melvin Fitting. Computability theory, semantics, and logic programming.

Davis, Martin

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

Project Euclid
On defining identity.

Savellos, Elias E.

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

Project Euclid
Post's functional completeness theorem.

Pelletier, Francis Jeffry ; Martin, Norman M.

Text on Project Euclid
PDF
Alt PDF
p. 462-475

Project Euclid
Semantics without reference.

Gauker, Christopher

Text on Project Euclid
PDF
Alt PDF
p. 437-461

Project Euclid
A fully logical inductive logic.

Nolt, John

Text on Project Euclid
PDF
Alt PDF
p. 415-436

Project Euclid
Concerted instant-interval temporal semantics. I. Temporal ontologies.

Bochman, Alexander

Text on Project Euclid
PDF
Alt PDF
p. 403-414

Project Euclid
Varying modal theories.

Lucas, Th. ; Lavendhomme, R.

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

Project Euclid
Provable forms of Martin's axiom.

Shannon, Gary P.

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

Project Euclid
The dual Cantor-Bernstein theorem and the partition principle.

Banaschewski, Bernhard ; Moore, Gregory H.

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

Project Euclid
An equivalent of the axiom of choice in finite models of the powerset axiom.

Abian, Alexander ; Amin, Wael A.

Text on Project Euclid
PDF
Alt PDF
p. 371-374

Project Euclid
A strengthening of Scott's ${\rm ZF}^{\not=}$ result.

Pollard, Stephen

Text on Project Euclid
PDF
Alt PDF
p. 369-370

Project Euclid
Negative membership.

Blizard, Wayne D.

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

Project Euclid
Recursive surreal numbers.

Harkleroad, Leon

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

Project Euclid
On generalizations of a theorem of Vaught.

Biró, Balázs

Text on Project Euclid
PDF
Alt PDF
p. 330-336

Project Euclid
Logics of truth.

Turner, Raymond

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

Project Euclid
A note on the axiomatization of equational classes of $n$-valued Ł ukasiewicz algebras.

Adams, M. E. ; Cignoli, R.

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

Project Euclid
The homogeneous form of logic programs with equality.

Demopoulos, William

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

Project Euclid
Verification, falsification, and cancellation in ${\rm KT}$.

Williamson, Timothy

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

Project Euclid
Models for inconsistent and incomplete differential calculus.

Mortensen, Chris

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

Project Euclid
Natural deduction in normal modal logic.

Hawthorn, John

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

Project Euclid
Complexity for type-$2$ relations.

Townsend, Mike

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

Project Euclid
Two hypergraph theorems equivalent to ${\rm BPI}$.

Cowen, Robert H.

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

Project Euclid
The modal logic of pure provability.

Buss, Samuel R.

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

Project Euclid
A lemma in the logic of action.

Surendonk, Timothy J.

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

Project Euclid
Validity and satisfaction in imperative logic.

Segerberg, Krister

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

Project Euclid
Relevance and paraconsistency---a new approach. II. The formal systems.

Avron, Arnon

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

Project Euclid