Sommaire

In defense of Copi.

Rosenberg, Yudit

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Generalization of a result of Halldén.

Kohn, Robert V.

Text on Project Euclid
PDF
Alt PDF
p. 605-606

Project Euclid
Lehmann on the rules of the invalid syllogisms.

Turek, Charles

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

Project Euclid
On a conservative attitude toward some naive semantic principles.

Spade, Paul Vincent

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

Project Euclid
The programmatic semantics of binary predicator calculi.

Baralt-Torrijos, Jorge ; Chiaraviglio, Lucio ; Grosky, William

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

Project Euclid
Non-definability of certain semantic properties of programs.

DeMillo, Richard A.

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

Project Euclid
Arithmetic operations on ordinals.

Zuckerman, Martin M.

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

Project Euclid
Identity.

Redmon, R. B.

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

Project Euclid
On the use of more than two-element Boolean valued models.

Abian, Alexander

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

Project Euclid
A semantical proof of the undecidability of the monadic intuitionistic predicate calculus of the first order.

Okee, Jekeri

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

Project Euclid
A correction to my paper ``A sole sufficient operator''.

Wesselkamper, T. C.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Concerning an alleged Sheffer function.

Massey, Gerald J.

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

Project Euclid
Note on the $C$-calculus.

Milici, Constantin

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Propositions as premises of syllogisms in medieval logic.

Gracia, Jorge J. E.

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

Project Euclid
A deductive argument with a specific premise and a general conclusion.

Pole, Nelson

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

Project Euclid
A note on universally free description theory.

Rao, A. P.

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

Project Euclid
Rescher on `e!'.

Englebretsen, George

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

Project Euclid
The logic of intending and believing.

Facione, Peter A.

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

Project Euclid
$S5$ with the CBF.

McArthur, Robert P.

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

Project Euclid
The development of Lewis' theory of strict implication.

Curley, E. M.

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

Project Euclid
Algebraic logic with generalized quantifiers.

Pinter, Charles C.

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

Project Euclid
Remark on a logic of preference.

Schumm, George F.

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

Project Euclid
Nice implicational axioms.

Thomas, Ivo

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

Project Euclid
A note on reflexiveness.

Marans, David

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

Project Euclid
On two immediate inferences by limitation.

Baker, John Robert

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

Project Euclid
Another system of natural deduction.

Hendry, Herbert E.

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

Project Euclid
Paradox-free deontic logics.

Purtill, Richard L.

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

Project Euclid
Counterfactuals.

Nute, Donald

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

Project Euclid
The logic of the synthetic a priori.

Miller, James Wilkinson

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

Project Euclid
Arithmetic as a study of formal systems.

Seldin, Jonathan P.

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

Project Euclid
Note of the use of sequences in Logics and languages (Methuen, London, 1973).

Cresswell, Max J.

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

Project Euclid
Concerning the postulate-systems of subtractive abelian groups.

Sobociński, Bolesław

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

Project Euclid
Subtractive abelian groups.

Güting, Rainer

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

Project Euclid
The confiramtion of sentences by instances with different truth-values of its atoms.

van Themaat, W. A. Verloren

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

Project Euclid
Theories of types and ordered pairs.

Cooley, John E.

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

Project Euclid
A note on ${\cal P}$-admissible sets with urelements.

Green, Judy

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

Project Euclid
Universal pairs of regressive isols.

Gersting, Judith

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

Project Euclid
Solution to a completeness problem of Lemmon and Scott.

Goldblatt, R. I.

Text on Project Euclid
PDF
Alt PDF
p. 405-408

Project Euclid
A Henkin-style completeness proof for the pure implicational calculus.

Schumm, George F.

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

Project Euclid
Nonstandard probability.

Webb, S. Michael

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

Project Euclid
Compactness in abstractions of Post algebras.

Beazer, R.

Text on Project Euclid
PDF
Alt PDF
p. 389-396

Project Euclid
Sums of $\alpha$-spaces.

Fowler, Northrup

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

Project Euclid
Shorter development of an axiom.

Thomas, Ivo

Text on Project Euclid
PDF
Alt PDF


Project Euclid
A characterization of logical consequence in quantification theory.

Cowen, Robert H.

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

Project Euclid
Peirce's paradoxical solution to the Liar's Paradox.

Michael, Emily

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

Project Euclid
A formalization of ``nothing''.

Horwich, Paul

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

Project Euclid
A theorem on recursively enumerable vector spaces.

Guhl, Richard

Text on Project Euclid
PDF
Alt PDF
p. 357-362

Project Euclid
Computability on finite linear configurations.

Payne, Thomas H.

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

Project Euclid
The octagon of opposition.

Hacker, Edward A.

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

Project Euclid
Single axioms for atomistic and atomless mereology.

Clay, Robert E.

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

Project Euclid
$S_1\not=S0.9$.

Girle, Roderic A.

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

Project Euclid
Decomposable orthologics.

Jeffcott, Barbara

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

Project Euclid
Implication connectives in orthomodular lattices.

Herman, L. ; Marsden, E. L. ; Piziak, R.

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

Project Euclid
A note on the truth-table for $p \supset q$.

Farrell, Robert J.

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

Project Euclid
Sommers' proof that something exists.

Englebretsen, George

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

Project Euclid
A generalised propositional calculus.

Jablon, Peter

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

Project Euclid
Creative definitions in propositional calculi.

Rickey, V. Frederick

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

Project Euclid
Some extensions of $S3$.

Pledger, K. E.

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

Project Euclid
Corrections for my paper: ``A model for Leśniewski's mereology in functions''.

Clay, Robert E.

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

Project Euclid
Simple implicational development.

Thomas, Ivo

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Set-valued set theory. II.

Chapin, E. William

Text on Project Euclid
PDF
Alt PDF
p. 255-267

Project Euclid
Reductio-ad-absurdum: a family feud between Copi and Scherer.

Kulathungam, Lyman C. D.

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

Project Euclid
Concrete computability.

Payne, Thomas H.

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

Project Euclid
Normal forms in modal logic.

Fine, Kit

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

Project Euclid
A new look at erotetic communication.

Moutafakis, Nicholas J.

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

Project Euclid
The general decision problem for Markov algorithms with axiom.

Hughes, C. E.

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

Project Euclid
A formal theory of sortal quantification.

Stevenson, Leslie

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

Project Euclid
An investigation concerning the Hilbert-Sierpiński logical form of the axiom of choice.

Davis, Charles C.

Text on Project Euclid
PDF
Alt PDF
p. 145-184

Project Euclid
A short postulate-system for ortholattices.

Sobociński, Bolesław

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

Project Euclid
Two identities for lattices, distributive lattices and modular lattices with a constant.

Tamura, Saburo

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

Project Euclid
Formulas with two generalized quantifiers.

Gogol, Daniel

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

Project Euclid
Corrigendum to my paper: ``Recognizable algebras of formulas''.

Grant, John

Text on Project Euclid
PDF
Alt PDF


Project Euclid
The pragmatics of first order languages. II.

Sweet, Albert

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

Project Euclid
Prior's criticism of the Barcan formula.

Chapman, Tobias

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

Project Euclid
A compendium of C. S. Peirce's 1866--1885 work.

Hawkins, Benjamin S.

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

Project Euclid
Wittgenstein on Russell's theory of types.

Davant, James b.

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

Project Euclid
A formal metasystem for Frege's semantics.

Harris, Will

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

Project Euclid
A sole sufficient operator.

Wesselkamper, T. C.

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

Project Euclid
A new postulate-system for modular lattices.

Sobociński, Bolesław

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

Project Euclid
Erweiterte deontische Logik (EDL). Ein Versuch um weitere formale Ausbildung der deontischen Modallogik.

Peklo, Bohuslav T.

Text on Project Euclid
PDF
Alt PDF
p. 71-80

Project Euclid
Axiomatization of fragments of ${\rm S}5$.

Scharle, Thomas W.

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

Project Euclid
Logic of antinomies.

Asenjo, F. G. ; Tamburino, J.

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

Project Euclid
A modal logic $\varepsilon$-calculus.

Fitting, Melvin

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

Project Euclid