Sommaire du Fascicule no. 1

Recursive equivalence types on recursive manifolds.

Harkleroad, Leon W.

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

Project Euclid
Extensional equivalence of simple and general utilitarian principles.

Nute, Donald E.

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

Project Euclid
Theory of objects and set theory: introduction and semantics.

Chauvin, André

Text on Project Euclid
PDF
Alt PDF
p. 37-54

Project Euclid
On unsolvability in subrecursive classes of predicates.

Lewis, Forbes D.

Text on Project Euclid
PDF
Alt PDF
p. 55-67

Project Euclid
Negation as a sign of negative judgment.

Bendall, Kent

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

Project Euclid
A general propositional logic of conditionals.

Lehmann, Scott

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

Project Euclid
Peirce on the nature of logic.

Michael, Frederick ; Michael, Emily

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

Project Euclid
Axiomatics for implication.

Meredith, David

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

Project Euclid
The principle of the division into four figures in traditional logic.

Hadgopoulos, Demetrius J.

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

Project Euclid
A simple generalization of Turing computability.

Thomas, William J.

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

Project Euclid
Modus tollens.

Bosley, Richard

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

Project Euclid
A shortened proof of Sobociński's theorem concerning a restricted rule of substitution in the field of propositional calculi.

Lambros, Charles H.

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

Project Euclid
Domain restrictions in standard deductive logic.

Swiggart, Peter

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

Project Euclid
Quantification, domains of discourse, and existence.

Nedzynski, Thomas G.

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

Project Euclid
The extended calculus of indications interpreted as a three-valued logic.

Varela, Francisco J.

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

Project Euclid
The possibility of a conditional logic.

Bode, James R.

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

Project Euclid
On the logic of ``few'', ``many'', and ``most''.

Peterson, Philip L.

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

Project Euclid
The axiomatisation of theories of material necessity.

Cleave, J. P.

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

Project Euclid
Aristotle on predication: an analysis of Anal. Post. 83a.

Gyekye, Kwame

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

Project Euclid
Semi-monotone series of ordinals.

Hickman, John L.

Text on Project Euclid
PDF
Alt PDF
p. 196-200

Project Euclid
The completeness of Stoic propositional logic.

Mueller, Ian

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

Project Euclid
The binary representation of $m$-valued logic with applications to universal decision elements.

Loader, John

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

Project Euclid
Alternative axiomatizations of elementary probability theory.

Goosens, William K.

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

Project Euclid
$\alpha$-naming and $\alpha$-speedup theorems.

Jacobs, Barry E.

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

Project Euclid
A binary Sheffer operator which does the work of quantifiers and sentential connectives.

Brandom, Robert B.

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

Project Euclid
An alternative semantics for knowledge.

Mellema, Gregory

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

Project Euclid
Does quotation sometimes permit substitution?

Lycan, William G.

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

Project Euclid
The ancestral relation without classes.

Lucey, Kenneth G.

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

Project Euclid
Geach on atomicity and singular propositions.

Wald, J. David

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

Project Euclid
Copi's method of deduction.

Johnson, Frederick A.

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

Project Euclid
Another way of diagramming switching circuits.

Zartman, James F.

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

Project Euclid
A note on Kripke's distinction between rigid designators and nonrigid designators.

Chakravarti, Sitansu S.

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

Project Euclid
Classes of universal decision elements using negative substitutions.

Muzio, J. C.

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

Project Euclid
An extended joint consistency theorem for free logic with equality.

Gumb, Raymond D.

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

Project Euclid
Necessary truth as analyticity, and the eliminability of monadic de re formulas.

Schwartz, Thomas

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

Project Euclid
Presupposition: an alternative approach.

Bunch, B. L.

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

Project Euclid
Admissible sets and recursive equivalence types.

Bredlau, Carl E.

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

Project Euclid
A formal interpretation of Ł ukasiewicz' logics.

Byrd, Michael

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

Project Euclid
${\rm R}$-mingle and beneath. Extensions of the Routley-Meyer semantics for ${\rm R}$.

Dunn, J. Michael

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

Project Euclid
Sentential notations: unique decomposition.

Sobel, Jordan Howard

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

Project Euclid
Material implication, confirmation, and counterfactuals.

Farrell, Robert J.

Text on Project Euclid
PDF
Alt PDF
p. 383-394

Project Euclid
Point monads and $P$-closed spaces.

Herrmann, Robert A.

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

Project Euclid
Local and global operators and many-valued modal logics.

Morgan, Charles G.

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

Project Euclid
A simple defense of material implication.

Archie, Lee C.

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

Project Euclid
The approaches to set theory.

Lake, John

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

Project Euclid
The decidability of one-variable propositional calculi.

Gladstone, M. D.

Text on Project Euclid
PDF
Alt PDF
p. 438-450

Project Euclid
A model-theoretic account of confirmation.

Paulos, John

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

Project Euclid
Ł ukasiewicz's twin possibility functors.

Krolikoski, Stanley J.

Text on Project Euclid
PDF
Alt PDF
p. 458-460

Project Euclid
A deduction theorem for rejection theses in Ł ukasiewicz's system of modal logic.

Krolikoski, Stanley J.

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

Project Euclid
Defining general structures.

Boudreaux, Jack C.

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

Project Euclid
The strong future tense.

McCall, Storrs

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

Project Euclid
The theory of homogeneous simple types as a second-order logic.

Cocchiarella, Nino B.

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

Project Euclid
Necessary and contingent deduction.

Dumitriu, Anton

Text on Project Euclid
PDF
Alt PDF
p. 525-534

Project Euclid
Gödel's proof and the liar paradox.

Humphries, Jill

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

Project Euclid
A second deduction theorem for rejection theses in Ł ukasiewicz's system of modal logic.

Krolikoski, Stanley J.

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

Project Euclid
Metalogical cliches (proto-variables) and their restricted substitution in sixth century Buddhist logic.

Daye, Douglas Dunsmore

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

Project Euclid
On the possibility of epistemic logic.

McLane, Earl

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

Project Euclid
Intended model theory.

Sweet, Albert

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

Project Euclid
${\rm S}5$ without modal axioms.

Williamson, John

Text on Project Euclid
PDF
Alt PDF
p. 593-594

Project Euclid
A semantical account of the vicious circle principle.

Hugly, Philip ; Sayward, Charles

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

Project Euclid
A matrix decision procedure for three modal logics.

Larner, Adrian

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

Project Euclid
On the equivalence of systems of rules and systems of axioms in illative combinatory logic.

Bunder, M. W.

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

Project Euclid
Scott's models and illative combinatory logic.

Bunder, M. W.

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

Project Euclid
Alternative forms of propositional calculus for a given deduction theorem.

Bunder, M. W.

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

Project Euclid
Generalized restricted generality.

Bunder, M. W.

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

Project Euclid
A modal natural deduction system for ${\rm S}4$.

Robinson, O. A.

Text on Project Euclid
PDF
Alt PDF
p. 625-627

Project Euclid
$\Lambda$-elimination in illative combinatory logic.

Bunder, M. W.

Text on Project Euclid
PDF
Alt PDF
p. 628-630

Project Euclid
Beyond nonnormal possible worlds.

vander Nat, Arnold

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

Project Euclid
A note on Peirce on Boole's algebra of logic.

Michael, Emily

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

Project Euclid
A note on $p=mv$.

Levin, Michael E.

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

Project Euclid
Modal interpretations of three-valued logics. I.

Duffy, Michael J.

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

Project Euclid
Modal interpretations of three-valued logics. II.

Duffy, Michael J.

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

Project Euclid
Two basic pure-implicational systems.

Zeman, J. Jay

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

Project Euclid
Normal implications, bounded posets, and the existence of meets.

Zeman, J. Jay

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

Project Euclid
On the necessity of ${\rm S}4$.

Wiredu, Kwasi

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

Project Euclid
Deduction theorems in significance logics.

Bunder, M. W.

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

Project Euclid
A more relevant relevance logic.

Bunder, M. W.

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

Project Euclid
How to stop talking to tortoises.

Mackenzie, J. D.

Text on Project Euclid
PDF
Alt PDF
p. 705-717

Project Euclid
Note on a strong liberated modal logic and its relevance to possible world skepticism.

Morgan, Charles G.

Text on Project Euclid
PDF
Alt PDF
p. 718-722

Project Euclid
Quantum logic with implication.

Zeman, J. Jay

Text on Project Euclid
PDF
Alt PDF
p. 723-728

Project Euclid
Models of an extension of the theory ${\bf ORD}$.

De Lillo, Nicholas J.

Text on Project Euclid
PDF
Alt PDF
p. 729-734

Project Euclid
The specific reading of A-propositions in a defense of William of Sherwood.

Kielkopf, Charles F.

Text on Project Euclid
PDF
Alt PDF
p. 735-740

Project Euclid
O-propositions and Ockham's theory of supposition.

Freddoso, Alfred J.

Text on Project Euclid
PDF
Alt PDF
p. 741-750

Project Euclid
Aristotle's syllogistic.

Thom, Paul

Text on Project Euclid
PDF
Alt PDF
p. 751-759

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

Lambros, Charles H.

Text on Project Euclid
PDF
Alt PDF
p. 760-764

Project Euclid
A simplification procedure for alternational normal schemata.

Riser, John

Text on Project Euclid
PDF
Alt PDF
p. 765-767

Project Euclid
Circular demonstration and von Wright-Geach entailment.

Woods, John ; Walton, Douglas

Text on Project Euclid
PDF
Alt PDF
p. 768-772

Project Euclid
Kripke on contingent a priori truths.

Chakravarti, Sitansu S.

Text on Project Euclid
PDF
Alt PDF
p. 773-776

Project Euclid
Identity logics.

Corcoran, John ; Ziewacz, Stanley

Text on Project Euclid
PDF
Alt PDF
p. 777-784

Project Euclid
On full cylindric set algebras.

Sudkamp, Thomas A.

Text on Project Euclid
PDF
Alt PDF
p. 785-793

Project Euclid
Some considerations in medieval tense logic.

Michael, Emily

Text on Project Euclid
PDF
Alt PDF
p. 794-800

Project Euclid
An examination of the influence of Boole's algebra on Peirce's developments in logic.

Michael, Emily

Text on Project Euclid
PDF
Alt PDF
p. 801-806

Project Euclid
An intensional logic of predicates and predicate modifiers without modal operators.

Fulton, James Andrew

Text on Project Euclid
PDF
Alt PDF
p. 807-834

Project Euclid
Generalization in first-order logic.

Leblanc, Hugues

Text on Project Euclid
PDF
Alt PDF
p. 835-857

Project Euclid
The substitution interpretation and the expressive power of intensional logics.

Garson, James W.

Text on Project Euclid
PDF
Alt PDF
p. 858-864

Project Euclid
Equational two axiom bases for Boolean algebras and some other lattice theories.

Sobociński, Bolesław

Text on Project Euclid
PDF
Alt PDF
p. 865-875

Project Euclid
Variable binding term operators in $\lambda $-calculus.

Bunder, M. W.

Text on Project Euclid
PDF
Alt PDF
p. 876-878

Project Euclid
Repairing proofs of Arrow's general impossibility theorem and enlarging the scope of the theorem.

Routley, R.

Text on Project Euclid
PDF
Alt PDF
p. 879-890

Project Euclid
Beth's tableaux for relevant logic.

Pabion, J.-F.

Text on Project Euclid
PDF
Alt PDF
p. 891-899

Project Euclid
The algebra of relatives.

Brink, Chris

Text on Project Euclid
PDF
Alt PDF
p. 900-908

Project Euclid
Two axiom systems for relation algebras.

Brink, Chris

Text on Project Euclid
PDF
Alt PDF
p. 909-914

Project Euclid
The $\Omega $-system and the Ł-system of modal logic.

Porte, Jean

Text on Project Euclid
PDF
Alt PDF
p. 915-920

Project Euclid
Entailment and proof.

Hung, Hin Chung

Text on Project Euclid
PDF
Alt PDF
p. 921-933

Project Euclid
Leśniewski und Mally.

Gombocz, Wolfgang Leopold

Text on Project Euclid
PDF
Alt PDF
p. 934-946

Project Euclid