Sommaire du Fascicule no. 1

Corrigendum to my paper: ``A propositional calculus intermediate between the minimal calculus and the classical''.

Parsons, Charles

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Corrigendum to my paper: ``Note on definitional reductions''.

Seldin, Jonathan P.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Corrigendum to C. A. Meredith's and my paper: ``Equational logic''.

Prior, A. N.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Remarks on classification of theories by their complete extensions.

de Bouvère, Karel L.

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

Project Euclid
A substitution free axiom set for second order logic.

Cocchiarella, Nino B.

Text on Project Euclid
PDF
Alt PDF
p. 18-30

Project Euclid
The pragmatics of monadic quantification.

Sweet, Albert

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

Project Euclid
The numerical epsilon.

Canty, John Thomas

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

Project Euclid
Peirce's development of quantifiers and of predicate logic.

Beatty, Richard

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

Project Euclid
A formalisation of the arithmetic of the ordinals less than $W^\omega$.

Williams, H. P.

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

Project Euclid
The application of ternary semi-groups to the study of $n$-valued Sheffer functions.

Rosenberg, James

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

Project Euclid
Concerning some proposals for quantum logic.

Leininger, C. W.

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

Project Euclid
Theory of procedures. I. Simple conditionals.

Rennie, M. K.

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

Project Euclid
Existence and identity in quantified modal logics.

Routley, R.

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

Project Euclid
Doing logic by computer.

Purtill, Richard L.

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

Project Euclid
Two views of variables.

Kearns, John T.

Text on Project Euclid
PDF
Alt PDF
p. 163-180

Project Euclid
The principles of the theory of the unification of sciences.

Székely, D. L.

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

Project Euclid
Some examples of different methods of formal proofs with generalizations of the satisfiability definition.

Reichbach, Juliusz

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

Project Euclid
Selection functions for recursive functionals.

Grilliot, Thomas J.

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

Project Euclid
Semi-Boolean lattices.

Nemitz, William C.

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

Project Euclid
Leśniewski and Frege on collective classes.

Sinisi, Vito F.

Text on Project Euclid
PDF
Alt PDF
p. 239-246

Project Euclid
Modal systems in which necessity is ``factorable''.

Zeman, J. Jay

Text on Project Euclid
PDF
Alt PDF
p. 247-256

Project Euclid
Complete modalization in $S4.4$ and $S4.0.4$.

Zeman, J. Jay

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

Project Euclid
On some open questions of B. Sobociński.

Schumm, G. F.

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

Project Euclid
On a modal system of D. C. Makinson and B. Sobociński.

Schumm, G. F.

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

Project Euclid
Equational postulates for the Sheffer stroke.

Meredith, C. A.

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

Project Euclid
Propositional calculus in implication and non-equivalence.

Prior, A. N.

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

Project Euclid
On the calculus ${\rm MCC}$.

Prior, A. N.

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

Project Euclid
Note on the mortality problem for shift state trees.

Anderson, Michael

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

Project Euclid
Examination of the axiomatic foundations of a theory of change. II.

Larouche, Laurent

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

Project Euclid
Equational characterization of Nelson algebra.

Brignole, Diana

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

Project Euclid
An extension of negationless logic.

Minichiello, J. Kent

Text on Project Euclid
PDF
Alt PDF
p. 298-302

Project Euclid
A semi-completeness theorem.

Bloom, Stephen L.

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

Project Euclid
Terminal functors permissible with syllogistic.

Meredith, C. A.

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

Project Euclid
An economy in the formation rules for quantification theory.

Stopes-Roe, Harry V.

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

Project Euclid
The non-existence of a certain combinatorial design on an infinite set.

Frascella, William J.

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

Project Euclid
Leśniewski's ontology and some medieval logicians.

Henry, Desmond Paul

Text on Project Euclid
PDF
Alt PDF
p. 324-326

Project Euclid
A theory of categorical syllogism.

Saito, Setsuo

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

Project Euclid
A reduction procedure for Sheffer stroke formulas.

Carnes, Robert D.

Text on Project Euclid
PDF
Alt PDF
p. 331-335

Project Euclid
Leśniewski's terminological explanations as recursive concepts.

Canty, John Thomas

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

Project Euclid
Logical consequence in modal logic: Natural deduction in ${\rm S}5$.

Corcoran, John ; Weaver, George

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

Project Euclid
Examination of the axiomatic foundations of a theory of change. III.

Larouche, Laurent

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

Project Euclid
A note on independence.

Shukla, Anjan

Text on Project Euclid
PDF
Alt PDF
p. 410-411

Project Euclid
An unsolvable problem concerning identities.

Evans, Trevor

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

Project Euclid
The problem of existental import (From George Boole to P. F. Strawson.

Wu, Joseph S.

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

Project Euclid
L'ordre d'incomplètitude pour le système d'équivalence la négation et la réciprocité.

Mihăilescu, Eugen

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

Project Euclid