Sommaire

A note on the roots on Peirce's division of logic into three branches.

Michael, Emily

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

Project Euclid
Necessitas consequentis in a singleton possible world.

Murungi, Robert W.

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

Project Euclid
Fitch-style rules for many modal logics.

Siemens, David F.

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

Project Euclid
A semantical analysis of the calculi ${\bf C}_n$.

da Costa, Newton C. A. ; Alves, E. H.

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

Project Euclid
An axiom system for three-valued Ł ukasiewicz propositional calculus.

Iturrioz, Luisa

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

Project Euclid
On an enduring non sequitur of Quine's.

Merrill, Gary H.

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

Project Euclid
``Not both $p$ and $q$, therefore if $p$ then $q$'' is a valid form of argument.

Wertz, S. K.

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

Project Euclid
Two comments on Lemmon's Beginning logic.

Coburn, Barry ; Miller, David

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

Project Euclid
Modal trees for ${\rm T}$ and ${\rm S}5$.

Davidson, B. ; Jackson, F. C. ; Pargetter, R.

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

Project Euclid
On Ramsey's theorem and the axiom of choice.

Lolli, Gabriele

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

Project Euclid
A note on the truth-table for ``if $p$ then $q$''.

Archie, Lee C. ; Hurdle, B. G. ; Thomblison, William Stewart

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

Project Euclid
On Ackermann's theory of sets.

Singh, Dasharath

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

Project Euclid
A note on Suzuki's chain of hyperdegrees.

Odifreddi, P. G.

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

Project Euclid
Is the intuitionistic bar-induction a constructive principle?

Mainzer, Klaus

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

Project Euclid
Some thomistic properties of primordiality.

Martin, R. M.

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

Project Euclid
Degrees of unsolvability and strong forms of $\Lambda_R+\Lambda_R\not\subseteq \Lambda_R$.

McLaughlin, Thomas G.

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

Project Euclid
Pathologies in the ed-regressive sets of order $2$.

Catlin, Seth

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

Project Euclid
Critical points of normal functions. I.

Hickman, John L.

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

Project Euclid
Modal tree constructions.

Slaght, Ralph L.

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

Project Euclid
In memoriam: Carew Arthur Meredith (1904--1976).

Meredith, David

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

Project Euclid
A deduction rule for ${\rm VBTO}($ $)^n_{i=1}$.

Butrick, Richard

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

Project Euclid
On G. Spencer Brown's laws of form.

Banaschewski, B.

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

Project Euclid
Semantics for ${\rm S}4.03$.

Georgacarakos, G. N.

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

Project Euclid
The continuum hypothesis is independent of second-order ZF.

Weston, Thomas S.

Text on Project Euclid
PDF
Alt PDF
p. 499-503

Project Euclid
Frequencies and beliefs.

Werner, Charles G.

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

Project Euclid
Some applications of model theory to the metatheory of program schemata.

DeMillo, Richard A.

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

Project Euclid
Additional extensions of ${\rm S}4$.

Georgacarakos, G. N.

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

Project Euclid
The numeral axioms.

Butrick, Richard

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

Project Euclid
A remark on Gentzen's calculus of sequents.

Czermak, Johannes

Text on Project Euclid
PDF
Alt PDF
p. 471-474

Project Euclid
Some Post-complete extensions of ${\rm S}2$ and ${\rm S}3$.

Kohn, Robert V.

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

Project Euclid
The ``conditionatim''-clause: one of the problems of existential import in the history of logic.

Boh, Ivan

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

Project Euclid
Hintikka's free logic is not free.

Sarlet, Henri J.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
The logic of closed categories.

Szabo, Manfred E.

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

Project Euclid
The weak topology on logical calculi.

Vobach, Arnold R.

Text on Project Euclid
PDF
Alt PDF
p. 436-440

Project Euclid
Sémantique des formules logiques en forme d'équivalence $n$-aire (demi-modèles).

Chytil, Metoděj K.

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

Project Euclid
The entailment operator.

Facione, Peter A.

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

Project Euclid
A note on the axiom of choice and the continuum hypothesis.

Schock, Rolf

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

Project Euclid
When do $\ast$continuous extensions exist?

Button, Robert Warren

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

Project Euclid
Recursive and recursively enumerable manifolds. II.

Vučković, Vladeta

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

Project Euclid
An axiomatization of Herzberger's $2$-dimensional presuppositional semantics.

Martin, John N.

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

Project Euclid
A reassessment of George Boole's theory of logic.

van Evra, James W.

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

Project Euclid
A note on metaphysics and the foundations of mathematics.

Wilson, Robert L.

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

Project Euclid
A refoundation of modal logic.

Priest, Graham

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

Project Euclid
Two systems of presupposition logic.

Humberstone, Lloyd ; Bell, J. M.

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

Project Euclid
Independent necessary conditions for functional completeness in $m$-valued logic.

Patt, Yale N.

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

Project Euclid
Second order and higher order universal decision elements in $m$-valued logic.

Loader, John

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

Project Euclid
Binary consistent choice on triples.

Cowen, Robert H.

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

Project Euclid
The one-one equivalence of some general combinatorial decision problems.

Hughes, Charles E. ; Singletary, W. E.

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

Project Euclid
Infinite series of regressive isols under addition.

Gersting, Judith L.

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

Project Euclid
Two notes on recursively enumerable vector spaces.

Guhl, Richard

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

Project Euclid
A tableau system for propositional S5.

Fitting, Melvin

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

Project Euclid
Recursive and recursively enumerable manifolds. I.

Vučković, Vladeta

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

Project Euclid
An answer to Armstrong's question about incompleteness in Copi: ``A question about incompleteness''.

Campbell, Paul J.

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

Project Euclid
Simplified formalizations of fragments of the propositional calculus.

Rose, Alan

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

Project Euclid
On Yablonskii theory concerning functional completeness of $k$-valued logic.

Hino, Kanzo

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

Project Euclid
Incomplete translations of complete logics.

Shapiro, Stewart

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

Project Euclid
Generalizing König's infinity lemma.

Cowen, Robert H.

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

Project Euclid
Ł ukasiewicz, Leibniz and the arithmetization of the syllogism.

Marshall, David

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

Project Euclid
An early fifteenth century discussion of infinite sets.

Ashworth, E. J.

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

Project Euclid
Metalogical incompatibilities in the formal description of Buddhist logic (Nyāya).

Daye, Douglas Dunsmore

Text on Project Euclid
PDF
Alt PDF
p. 221-231

Project Euclid
The modal predicate logics ${\bf PF}^*{\bf F}$.

Wilson, Robert L.

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

Project Euclid
Bibliography of Ivo Thomas.

La Porte, Deirdre

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

Project Euclid
In memoriam: Ivo Thomas (1912--1976).

Bird, Otto

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

Project Euclid
First degree formulas in Curry's LD.

Meyer, Robert K.

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

Project Euclid
A note on Thomason's representation of S5.

Miura, Satoshi ; Ōhama, Shigeo

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

Project Euclid
Next $P$ admissible sets are of cofinality $\omega$.

Green, Judy

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

Project Euclid
Regressive order-types.

Hickman, John L.

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

Project Euclid
Classical logical relations.

Baker, A. J.

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

Project Euclid
Variations of Zorn's lemma, principles of cofinality, and Hausdorff's maximal principle. II. Class forms.

Harper, Judith M. ; Rubin, Jean E.

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

Project Euclid
On two first order type theories for the theory of sets.

Coppotelli, Fred

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

Project Euclid
A note on the completeness proof for natural deduction.

Bennett, David W.

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

Project Euclid
Negation, material equivalence, and conditioned nonconjunction: completeness and duality.

Massey, Gerald J.

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

Project Euclid
On De Morgan's argument.

Merrill, Daniel D.

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

Project Euclid
Are modal contexts referentially opaque?

Orenduff, J. M.

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

Project Euclid
The ${\bf Q}$-consistency of ${\cal F}_{22}$.

Seldin, Jonathan P.

Text on Project Euclid
PDF
Alt PDF
p. 117-127

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

Leblanc, Hugues

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

Project Euclid
Three-valued free tense logic.

McArthur, Robert P.

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

Project Euclid
Abnormal worlds and the non-Lewis modal systems.

Georgacarakos, G. N.

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

Project Euclid
Logical truth and indeterminacy.

Boër, Steven E.

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

Project Euclid
A semantics model for imperatives.

Nolan, Patric Cean

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

Project Euclid
Leśniewski's ontology extended with the axiom of choice.

Kowalski, James George

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

Project Euclid