Sommaire du Fascicule no. 1

A second corrigendum to my paper: ``Note on definitional reductions''.

Seldin, Jonathan P.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
A realist semantics for Cocchiarella's ${\bf T}^\ast$.

Simms, John Carson

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

Project Euclid
Substitutions for predicate variables and functional variables.

Schneider, Hubert H.

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

Project Euclid
Reflections on an extensionality theorem.

Hugly, Philip

Text on Project Euclid
PDF
Alt PDF
p. 45-50

Project Euclid
Towards an axiomatization of value theory.

Lauer, P. E.

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

Project Euclid
The logic of relative modality and the paradoxes of deontic logic.

Bryant, John

Text on Project Euclid
PDF
Alt PDF
p. 78-88

Project Euclid
Several possible systems of deontic weak and strong norms.

Bailhache, Patrice

Text on Project Euclid
PDF
Alt PDF
p. 89-100

Project Euclid
On propositional form.

Englebretsen, George

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

Project Euclid
Junctions.

Bennett, David W.

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

Project Euclid
Deductive completeness and conditionalization in systems of weak implication.

Diaz, M. Richard

Text on Project Euclid
PDF
Alt PDF
p. 119-130

Project Euclid
Discourse between processes.

Bergstra, Jan

Text on Project Euclid
PDF
Alt PDF
p. 131-134

Project Euclid
Generalized equivalence and the foundations of quasigroups.

McKee, T. A.

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

Project Euclid
Generalized equivalence and the phraseology of configuration theorems.

McKee, T. A.

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

Project Euclid
A class of two-place three-valued unary generators.

Muzio, J. C. ; Miller, D. M.

Text on Project Euclid
PDF
Alt PDF
p. 148-154

Project Euclid
A model-theoretic explication of the theses of Kuhn and Whorf.

Paulos, John A.

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

Project Euclid
Calculemus.

Friedman, William H.

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

Project Euclid
On a tableau rule for identity.

Wu, Kathleen Johnson

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

Project Euclid
A simple strong completeness proof for sentential logic.

Silver, Charles

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

Project Euclid
Referential occurrence.

Cooper, David E.

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

Project Euclid
Lewis' postulate of existence disarmed.

Murungi, Robert W.

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

Project Euclid
Significance, necessity, and verification.

Goddard, L.

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

Project Euclid
Infinitary propositional intuitionistic logic.

Kalicki, Craig

Text on Project Euclid
PDF
Alt PDF
p. 216-228

Project Euclid
Some recent work on the assertoric syllogistic.

Novak, Joseph A.

Text on Project Euclid
PDF
Alt PDF
p. 229-242

Project Euclid
On substitution for variable one-place functors.

Krolikoski, Stanley J.

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

Project Euclid
Frames versus minimally restricted structures.

Boudreaux, Jack C.

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

Project Euclid
Two remarks on: The logic of significance and context. Vol. I [Halsted, New York, 1973].

Brady, Ross T.

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

Project Euclid
Constructively nonpartial recursive functions.

Horowitz, Bruce M.

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

Project Euclid
General computability.

Payne, Thomas H.

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

Project Euclid
A complete system of indexical logic.

Schock, Rolf

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

Project Euclid
Three theories of dialectic.

Gagnon, Laurence S.

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

Project Euclid
Significance range theory.

Brady, Ross T.

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

Project Euclid
Simplifying the axioms of the predicate calculus.

Porte, Jean

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

Project Euclid
A natural deduction system of indexical logic.

Schock, Rolf

Text on Project Euclid
PDF
Alt PDF
p. 351-364

Project Euclid
$n$-polar logic of classes.

Birnbaum, Léon

Text on Project Euclid
PDF
Alt PDF
p. 365-379

Project Euclid
Significance and illative combinatory logics.

Bunder, M. W.

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

Project Euclid
A theory of classes and individuals based on a $3$-valued significance logic.

Brady, Ross T.

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

Project Euclid
Generalised logic. II.

Evenden, John

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

Project Euclid
Some remarks about the family ${\bf \text K}$ of modal systems.

Rabinowicz, Włodzimierz

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

Project Euclid
Normal derivability and first-order arithmetic.

Tosi, P.

Text on Project Euclid
PDF
Alt PDF
p. 449-466

Project Euclid
Semantical considerations on modal counterfactual logic with corollaries on decidability, completeness, and consistency questions.

Almog, J.

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

Project Euclid
Nominalism and conceptualism as predicative second-order theories of predication.

Cocchiarella, Nino

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

Project Euclid
Word problems for bidirectional, single-premise Post systems.

Hughes, Charles E. ; Straight, David W.

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

Project Euclid
A completeness-proof method for extensions of the implicational fragment of the propositional calculus.

Batens, Diderik

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

Project Euclid
Solution to a problem of Chang and Lee.

Statman, Richard

Text on Project Euclid
PDF
Alt PDF
p. 518-520

Project Euclid
Inexact geometry.

Katz, M.

Text on Project Euclid
PDF
Alt PDF
p. 521-535

Project Euclid
Functional completeness and non-Ł ukasiewiczian truth functions.

Hendry, Herbert E.

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

Project Euclid
Career induction for quantifiers.

Meyer, Robert K.

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

Project Euclid
A three-valued free logic for presuppositional languages.

Cosgrove, Robert J.

Text on Project Euclid
PDF
Alt PDF
p. 549-571

Project Euclid
A weak free logic with the existence sign.

Bencivenga, Ermanno

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

Project Euclid
Equivalence relations and ${\rm S}5$.

Hughes, G. E.

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

Project Euclid
On self-sustenance in systems of epistemic logic.

Titiev, Robert J.

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

Project Euclid
Eventual permanence.

Byrd, Michael

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

Project Euclid
Noncategorical syllogisms in the Analytics.

Englebretsen, George

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

Project Euclid
Boole's criteria for validity and invalidity.

Corcoran, John ; Wood, Susan

Text on Project Euclid
PDF
Alt PDF
p. 609-638

Project Euclid
An analysis of the subjunctive conditional.

Daniels, Charles B. ; Freeman, James B.

Text on Project Euclid
PDF
Alt PDF
p. 639-655

Project Euclid
Complexity of model-theoretic notions.

Myers, Russell W.

Text on Project Euclid
PDF
Alt PDF
p. 656-658

Project Euclid
First-degree entailments and information.

Hanson, William H.

Text on Project Euclid
PDF
Alt PDF
p. 659-671

Project Euclid
Congruences in Lemmon's ${\rm S}0.5$.

Porte, Jean

Text on Project Euclid
PDF
Alt PDF
p. 672-678

Project Euclid
Postscript: ``A note concerning the notion of mereological class''.

Lejewski, Czesław

Text on Project Euclid
PDF
Alt PDF
p. 679-682

Project Euclid
Location of some modal systems.

Pledger, K. E.

Text on Project Euclid
PDF
Alt PDF
p. 683-684

Project Euclid
An extension of the basic functionality theory for the $\lambda$-calculus.

Coppo, M. ; Dezani-Ciancaglini, M.

Text on Project Euclid
PDF
Alt PDF
p. 685-693

Project Euclid
Every quotient algebra for $C_1$ is trivial.

Mortensen, Chris

Text on Project Euclid
PDF
Alt PDF
p. 694-700

Project Euclid
Predicate-functors and the limits of decidability in logic.

Noah, Aris

Text on Project Euclid
PDF
Alt PDF
p. 701-707

Project Euclid
Number theory for the ordinals with a new definition for multiplication.

Gonshor, Harry

Text on Project Euclid
PDF
Alt PDF
p. 708-710

Project Euclid
Three existence principles in a modal calculus without descriptions contained in A. Bressan's ${\rm MC}^\nu$.

Omodeo, Eugenio Giovanni

Text on Project Euclid
PDF
Alt PDF
p. 711-727

Project Euclid