Sommaire du Fascicule no. 1

Review: M. S. Paterson, Complexity of Matrix Algorithms

Lipski, Witold

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Hugues Leblanc, Semantic Deviations; Hughes Leblanc, George Weaver, Truth-Functionality and the Ramified Theory of Types

Fitting, Melvin

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Alfred B. Manaster, Completeness, Compactness, and Undecidability: An Introduction to Mathematical Logic

Krom, M. R.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Sixth Biennial Meeting of the Philosophy of Science Association

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Notice of the 1979 International Congress for Logic, Methodology and Philosophy of Science

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Helena Rasiowa, An Algebraic Approach to Non-Classical Logics

Preller, Anne

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Donald Davidson, In Defense of Convention T

Fitting, Melvin

Text on Project Euclid
PDF
Alt PDF


Project Euclid
A Remark on Scott's Interpolation Theorem for $L_{\omega_1\omega}$

Motohashi, Nobuyoshi

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: J. Michael Dunn, A Truth Value Semantics for Modal Logic

Fitting, Melvin

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: J. Jay Zeman, Modal Logic. The Lewis-Modal Systems

Cresswell, M. J.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Leon Henkin, Internal Semantics and Algebraic Logic

Fitting, Melvin

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Jaakko Hintikka, Surface Semantics: Definition and its Motivation

Fitting, Melvin

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Robert K. Meyer, Intuitionism, Entailment, Negation

Fitting, Melvin

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Nuel D. Belnap, Restricted Quantification and Conditional Assertion

Fitting, Melvin

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Dana S. Scott, Background to Formalization

Fitting, Melvin

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Nuel D. Belnap, Dorothy L. Grover, Quantifying in and out of' Quotes; Dorothy L. Grover, Propositional Quantification and Quotation Contexts

Fitting, Melvin

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Richmond H. Thomason, Philosophy and Formal Semantics

Fitting, Melvin

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: George Weaver, Logical Consequence in Modal Logic: Alternative Semantic Systems for Normal Modal Logics

Fitting, Melvin

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Transfinite Extensions of Friedberg's Completeness Criterion

MacIntyre, John M.

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

Project Euclid
A Sequent Calculus for Type Assignment

Seldin, Jonathan P.

Text on Project Euclid
PDF
Alt PDF
p. 11-28

Project Euclid
Omitting Models

Snapper, Ernest

Text on Project Euclid
PDF
Alt PDF
p. 29-32

Project Euclid
The Pure Part of $\mathrm{HYP}(\mathscr{M}$)

Nadel, Mark ; Stavi, Jonathan

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

Project Euclid
On Generalized Computational Complexity

Jacobs, Barry E.

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

Project Euclid
A Complete $L_{\omega 1\omega}$-Sentence Characterizing $\mathbf{\aleph}_1$

Knight, Julia F.

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

Project Euclid
Embedding Theorems for Boolean Algebras and Consistency Results on Ordinal Definable Sets

Stepanek, Petr ; Balcar, Bohuslav

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

Project Euclid
Primitive Recursive Ordinal Functions with Added Constants

Stahl, Stanley H.

Text on Project Euclid
PDF
Alt PDF
p. 77-82

Project Euclid
Partially Ordered Interpretations

Motohashi, Nobuyoshi

Text on Project Euclid
PDF
Alt PDF
p. 83-93

Project Euclid
Skolem Functions and Elementary Embeddings

Knight, Julia F.

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

Project Euclid
A Note on the Number of Zeros of Polynomials and Exponential Polynomials

Smorynski, C.

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

Project Euclid
Review: Wesley C. Salmon, Logic

Carlstrom, Ian

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

Project Euclid
Review: William Craig, Logic in Algebraic Form. Three Languages and Theories

Comer, Stephen D.

Text on Project Euclid
PDF
Alt PDF
p. 108-109

Project Euclid
Review: Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin, Combinatory Logic

Barendregt, Henk

Text on Project Euclid
PDF
Alt PDF
p. 109-110

Project Euclid
Review: Shwu-Yeng T. Lin, You-Feng Lin, Set Theory: An Intuitive Approach

Helling, Martin

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

Project Euclid
Review: B. A. Trakhtenbrot, Ya. M. Barzdin, Finite Automata. Behavior and Synthesis

McNaughton, Robert

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

Project Euclid
Meeting of the Association for Symbolic Logic: Clermont-Ferrand, France, 1975

Guillaume, M.

Text on Project Euclid
PDF
Alt PDF
p. 113-139

Project Euclid
Meeting of the Association for Symbolic Logic: Jerusalem, Israel, 1975

Gaifman, Haim ; Levy, Azriel ; Muller, Gert H.

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

Project Euclid
Meeting of the Association for Symbolic Logic: New York, 1975

Benacerraf, Paul ; Kochen, Simon ; Sacks, Gerald

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

Project Euclid
Meeting of the Association for Symbolic Logic: Reno, 1976

Feferman, Solomon ; Barwise, Jon ; Harrington, Leo

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

Project Euclid
Strict-$\Pi^1_1$ Predicates on Countable and Cofinality $\omega$ Transitive Sets

Grant, Philip W.

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

Project Euclid
An Axiomatization for a Class of Two-Cardinal Models

Schmerl, James H.

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

Project Euclid
Definability of Measures and Ultrafilters

Pincus, David ; Solovay, Robert M.

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

Project Euclid
On Deciding the Provability of Certain Fixed Point Statements

Boolos, George

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

Project Euclid
Some Models for Intuitionistic Finite Type Arithmetic with Fan Functional

Troelstra, A. S.

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

Project Euclid
On Splitting Stationary Subsets of Large Cardinals

Baumgartner, James E. ; Taylor, Alan D. ; Wagon, Stanley

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

Project Euclid
The Consistency Problem for NF

Boffa, M.

Text on Project Euclid
PDF
Alt PDF
p. 215-220

Project Euclid
Fragments of First Order Logic, I: Universal Horn Logic

McNulty, George F.

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

Project Euclid
The Use of Kripke's Schema as a Reduction Principle

Dalen, D. Van

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

Project Euclid
Sheaves and Normal Submodels

Mansfield, Richard

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

Project Euclid
Theories with Models of Prescribed Cardinalities

Mekler, Alan

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

Project Euclid
Minimal Models

Deissler, Rainer

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

Project Euclid
Compactness and Transfer for a Fragment of $L^2$

Magidor, M. ; Malitz, J.

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

Project Euclid
Craig Interpolation Theorem for Intuitionistic Logic and Extensions Part III

Gabbay, Dov M.

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

Project Euclid
Chang's Conjecture and Powers of Singular Cardinals

Magidor, Menachem

Text on Project Euclid
PDF
Alt PDF
p. 272-276

Project Euclid
A Model Theoretic Approach to Malcev Conditions

Baldwin, John T. ; Berman, Joel

Text on Project Euclid
PDF
Alt PDF
p. 277-288

Project Euclid
Definability in Well Quasi-Ordered Sets of Structures

Landraitis, Charles K.

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

Project Euclid
On Moschovakis Closure Ordinals

Barwise, Jon

Text on Project Euclid
PDF
Alt PDF
p. 292-296

Project Euclid
A Lattice of Interpretability Types of Theories

Mycielski, Jan

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

Project Euclid
A New Version of Beth Semantics for Intuitionistic Logic

Gabbay, Dov M.

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

Project Euclid
Review: Diderik Batens, Studies in the Logic of Induction and in the Logic of Explanation, Containing a New Theory of Meaning Relations

Kyburg, Henry E.

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

Project Euclid
Review: Alan Ross Anderson, Nuel D. Belnap., Entailment. The Logic of Relevance and Necessity. Volume I

Matthews, Gordon

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

Project Euclid
Review: Richard Routley, Robert K. Meyer, The Semantics of Entailment

Fitting, Melvin

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

Project Euclid
Review: Raymond M. Smullyan, A Generalization of Intuitionistic and Modal Logics

Fitting, Melvin

Text on Project Euclid
PDF
Alt PDF
p. 316-317

Project Euclid
Review: G. Spencer Brown, Laws of Form

Gould, William E.

Text on Project Euclid
PDF
Alt PDF
p. 317-318

Project Euclid
Review: Baruch A. Brody, Logic, Theoretical and Applied

Standley, Gerald

Text on Project Euclid
PDF
Alt PDF
p. 319-320

Project Euclid
Imbedding of the Quantum Logic in the Modal System of Brower

Dishkant, Herman

Text on Project Euclid
PDF
Alt PDF
p. 321-328

Project Euclid
General Random Sequences and Learnable Sequences

Schnorr, C. P. ; Fuchs, P.

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

Project Euclid
Generalized Quantifiers and Elementary Extensions of Countable Models

Dubiel, Malgorzata

Text on Project Euclid
PDF
Alt PDF
p. 341-348

Project Euclid
On Finite Lattices of Degrees of Constructibility

Adamowicz, Zofia

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

Project Euclid
Amalgamation of Nonstandard Models of Arithmetic

Blass, Andreas

Text on Project Euclid
PDF
Alt PDF
p. 372-386

Project Euclid
Ramsey's Theorem in the Hierarchy of Choice Principles

Blass, Andreas

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

Project Euclid
Modal Operators and Functional Completeness, II

Thomason, S. K.

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

Project Euclid
Maximal and Cohesive Vector Spaces

Remmel, J. B.

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

Project Euclid
Review: J. W. de Bakker, The Fixed Point Approach in Semantics: Theory and Applications

Blikle, Andrzej

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

Project Euclid
Review: E. Engeler, Algorithmic Logic

Salwicki, Andrzej

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

Project Euclid
Review: E. J. Neuhold, Formal Properties of Data Base

Marek, Wiktor

Text on Project Euclid
PDF
Alt PDF
p. 421-422

Project Euclid
[Omnibus Review]

Muchnick, Steven S.

Text on Project Euclid
PDF
Alt PDF
p. 422-423

Project Euclid
Review: Robert Baum, Logic; David T. Wieck, Quantificational Logic

Pole, Nelson

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

Project Euclid
Review: M. J. Cresswell, Logics and Languages

Gallin, Daniel

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

Project Euclid
Review: Tadeusz Kubinski, Introduction to the Logical Theory of Questions

Materna, Pavel

Text on Project Euclid
PDF
Alt PDF
p. 426-428

Project Euclid
Review: Alan R. White, Modal Thinking

Hanson, William H.

Text on Project Euclid
PDF
Alt PDF
p. 428-430

Project Euclid
Review: Jean-Louis Gardies, La Logique du Temps

McCall, Storrs

Text on Project Euclid
PDF
Alt PDF
p. 430-432

Project Euclid
Review: Nicholas Rescher, Many-Valued Logic

Epstein, George

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

Project Euclid
European Meeting of the Association for Symbolic Logic: Oxford, England, 1976

Gandy, R. O. ; Scott, D. S.

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

Project Euclid
Maximal Vector Spaces Under Automorphisms of the Lattice of Recursively Enumerable Vector Spaces

Kalantari, Iraj ; Retzlaff, Allen

Text on Project Euclid
PDF
Alt PDF
p. 481-491

Project Euclid
Ordinal Spectra of First-Order Theories

Schlipf, John Stewart

Text on Project Euclid
PDF
Alt PDF
p. 492-505

Project Euclid
On the Derivability of Instantiation Properties

Friedman, Harvey

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

Project Euclid
Experimental Logics and $\Pi^0_3$ Theories

Hajek, Petr

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

Project Euclid
Some Consequences of an Infinite-Exponent Partition Relation

Henle, J. M.

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

Project Euclid
Consistency Notions in Illative Combinatory Logic

Bunder, M. W.

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

Project Euclid
On Axiomatizing Fragments

Smorynski, C.

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

Project Euclid
Computational Complexity, Speedable and Levelable Sets

Soare, Robert I.

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

Project Euclid
An Intuitionistically Plausible Interpretation of Intuitionistic Logic

de Swart, H. C. M.

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

Project Euclid
Review: Hao Wang, From Mathematics to Philosophy

Burgess, John P.

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

Project Euclid
Review: Daniel Gallin, Intensional and Higher-Order Modal Logic, with Applications to Montague Semantics

Bowen, Kenneth A.

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

Project Euclid
Review: Arto Salomaa, Formal Languages

Blikle, Andrzej

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

Project Euclid
Review: Henry J. Ehlers, Logic: Modern and Traditional

Siemens, David F.

Text on Project Euclid
PDF
Alt PDF
p. 584-585

Project Euclid
Review: George Boolos, Richard Jeffrey, Computability and Logic

Leeds, Stephen

Text on Project Euclid
PDF
Alt PDF
p. 585-586

Project Euclid
Review: J. N. Crossley, Anil Nerode, Combinatorial Functors

Bredlau, Carl E.

Text on Project Euclid
PDF
Alt PDF
p. 586-587

Project Euclid
Review: Raymond Balbes, Philip Dwinger, Distributive Lattices

Urquhart, Alasdair

Text on Project Euclid
PDF
Alt PDF
p. 587-588

Project Euclid
Review: Alexander Abian, Boolean Rings

Pierce, R. S.

Text on Project Euclid
PDF
Alt PDF
p. 588-589

Project Euclid
Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 590-615

Project Euclid
Index of Reviews: Volumes XLI, XLII

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

Project Euclid