Sommaire du Fascicule no. 1

On Meredith's sole positive axiom.

Thomas, Ivo

Text on Project Euclid
PDF
Alt PDF


Project Euclid
A note on a consistency proof.

Fox, Frank

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Some results and algebraic applications in the theory of higher-order ultraproducts.

Malcolm, Wilfred G.

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

Project Euclid
Quine on the inscrutability and relativity of reference.

Loux, Michael J. ; Solomon, Wm. David

Text on Project Euclid
PDF
Alt PDF
p. 16-24

Project Euclid
Propositional and predicate calculuses based on combinatory logic.

Bunder, M. W.

Text on Project Euclid
PDF
Alt PDF
p. 25-34

Project Euclid
Generalised logic.

Evenden, John

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

Project Euclid
Possibility pre-supposition free logics.

Girle, Roderic A.

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

Project Euclid
Principia Mathematica description theory: the classical and an alternative notation.

Sobel, Jordan Howard

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

Project Euclid
Resolution and the consistency of analysis.

Andrews, Peter B.

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

Project Euclid
Les propriétés du foncteur Nicod par rapport à le réciprocité et conjonction. II.

Mihăilescu, Eugen

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

Project Euclid
Completeness of relevant quantification theories.

Meyer, Robert K. ; Dunn, J. Michael ; Leblanc, Hugues

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

Project Euclid
Models of ${\rm Th}(\langle \omega^\omega<\rangle)$.

Rosenthal, John W.

Text on Project Euclid
PDF
Alt PDF
p. 122-132

Project Euclid
Partial universal decision elements.

Muzio, J. C.

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

Project Euclid
Some mereological models.

Clay, Robert E.

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

Project Euclid
${\rm S}3.02={\rm S}3.03$.

Schumm, George F.

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

Project Euclid
A note on finite intermediate logics.

Anderson, J. G.

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

Project Euclid
Combinatory and propositional logic.

Meredith, David

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

Project Euclid
A concise method for translating propositional formulae containing the standard truth-functional connectives into a Sheffer stroke equivalent; plus an extension of the method.

Slaght, Ralph L.

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

Project Euclid
Schematizing De Morgan's argument.

Wengert, R. G.

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

Project Euclid
A note on natural deduction in many-valued logic.

White, Bruce

Text on Project Euclid
PDF
Alt PDF
p. 167-168

Project Euclid
Concerning the proper axioms of ${\rm S}4.02$.

Sobociński, Bolesław

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

Project Euclid
McCawley and logic.

Pak, T. Y.

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

Project Euclid
A categorical equivalence of proofs.

Szabo, Manfred E.

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

Project Euclid
Various systems of set theory based on combinatory logic.

Bunder, M. W.

Text on Project Euclid
PDF
Alt PDF
p. 192-206

Project Euclid
Professor Quine and real classes.

Feibleman, James K.

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

Project Euclid
Non-assertoric inference.

McArthur, Robert P. ; Welker, David

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

Project Euclid
On referentiality and its conditions.

Cheng, Chung-ying

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

Project Euclid
Admissible rules, derivable rules, and extendible logistic systems.

Wasserman, Howard C.

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

Project Euclid
Über eine Erweiterung der algebraischen Operationen.

Frei-Imfeld, Günther

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

Project Euclid
A study of ${\scr Z}$ modal systems.

Goldblatt, R. I.

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

Project Euclid
${\cal K}$ and ${\cal Z}$.

Schumm, George F.

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

Project Euclid
Ockham on self-reference.

Spade, Paul Vincent

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

Project Euclid
Sind die deontischen Funktoren distributiv?

Peklo, Bohuslav T.

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

Project Euclid
Matrix calculi $SS1M$ and $SS1I$ compared with axiomatic systems.

Czermak, J.

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

Project Euclid
Boolean subtractive algebras.

Hearne, Thomas M. ; Wagner, Carl G.

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

Project Euclid
A strong completeness theorem for $3$-valued logic.

Goldberg, H. ; Leblanc, H. ; Weaver, G.

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

Project Euclid
The inadequacy of Hughes and Cresswell's semantics for the ${\rm CI}$ systems.

Parks, Zane ; Smith, Terry L.

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

Project Euclid
Semantics for contingent identity systems.

Parks, Zane

Text on Project Euclid
PDF
Alt PDF
p. 333-334

Project Euclid
Many-one degrees associated with partial propositional calculi.

Singletary, W. E.

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

Project Euclid
A result of extending Bochvar's $3$-valued logic.

Collier, Kenneth W.

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

Project Euclid
On a passage of Aristotle.

Thomas, Ivo

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

Project Euclid
A note on natural deduction.

Blum, Alex

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

Project Euclid
Deductive inferences from particular to general.

Werner, Charles W.

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

Project Euclid
Indice de vérité, fonctions implicationnelles accessibles, recensement des thèses.

Sade, Albert

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

Project Euclid
Logical consequence in modal logic. II. Some semantic systems for ${\rm S}4$.

Weaver, George ; Corcoran, John

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

Project Euclid
Normal and skew systems.

Gleason, Gary Gilford

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

Project Euclid
$K1$ as a Dawson modeling of A. R. Anderson's sense of ``ought''.

Kielkopf, Charles F.

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

Project Euclid
Logic without tautologies.

Simons, Leo

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

Project Euclid
Translation of the simple theory of types into a first order language.

Wadleigh, H. Julian

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

Project Euclid
$\alpha$-models and the systems $T$ and $T^\ast$.

da Costa, Newton C. A.

Text on Project Euclid
PDF
Alt PDF
p. 443-454

Project Euclid
Gentzen systems for modal logic.

Goble, Louis F.

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

Project Euclid
William of Sherwood on propositions and their parts.

Sirridge, Mary J.

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

Project Euclid
A theorem concerning a restricted rule of substitution in the field of propositional calculi. I.

Sobociński, Bolesław

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

Project Euclid
The one variable implicational calculus.

Rickey, V. Frederick

Text on Project Euclid
PDF
Alt PDF
p. 478-480

Project Euclid
Ordered pairs and cardinality in new foundations.

Lake, John

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

Project Euclid
A note on UDE's in an $n$-valued logic.

Wesselkamper, T. C.

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

Project Euclid
A simple proof of Herbrand's theorem.

Raggio, Andrés R.

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

Project Euclid
On syntactical characterization of logical expressions.

Burdick, Howard

Text on Project Euclid
PDF
Alt PDF
p. 489-490

Project Euclid
Generalizations of the distributive and associative laws.

Wilde, Alan C.

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

Project Euclid
On a nonthesis of classical modal logic.

Murungi, Robert W.

Text on Project Euclid
PDF
Alt PDF
p. 494-496

Project Euclid
On the theory of inconsistent formal systems.

da Costa, Newton C. A.

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

Project Euclid
An analysis of the concept of constructive categoricity.

Quinn, Charles Francis

Text on Project Euclid
PDF
Alt PDF
p. 511-551

Project Euclid
Fregean semantics for a realist ontology.

Cocchiarella, Nino B.

Text on Project Euclid
PDF
Alt PDF
p. 552-568

Project Euclid
Involution as a basis for propositional calculi.

Smyth, M. B.

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

Project Euclid
A theorem concerning a restricted rule of substitution in the field of propositional calculi. II.

Sobociński, Bolesław

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

Project Euclid
Satisfiability in a larger domain.

Goodstein, R. L.

Text on Project Euclid
PDF
Alt PDF
p. 598-600

Project Euclid
Imcomplete models.

Grant, John

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

Project Euclid
Self reference in formal languages.

Swiggart, Peter

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

Project Euclid
A note on contrariety.

Englebretsen, George

Text on Project Euclid
PDF
Alt PDF
p. 613-614

Project Euclid
Aristotle and a modern notion of predication.

Gyekye, Kwame

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

Project Euclid
Set-valued set theory. I.

Chapin, E. William

Text on Project Euclid
PDF
Alt PDF
p. 619-634

Project Euclid
Unary predicates.

Fulton, James Andrew

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

Project Euclid
A substitution property.

Wilde, Alan C.

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

Project Euclid
Description theory: critical defense of a Russellian approach.

Volgo, Jean-Claude

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

Project Euclid