Sommaire du Fascicule no. 1

Note on an independence proof of Johansson.

Nemesszeghy, E. A.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
An addendum to my paper: ``A categorical equivalence of proofs''.

Szabo, Manfred E.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Axiom sets equivalent to syllogism and Peirce.

Thomas, Ivo

Text on Project Euclid
PDF
Alt PDF


Project Euclid
On prosleptic premisses.

Lejewski, Czesław

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

Project Euclid
Leśniewski's analysis of Russell's antinomy.

Sinisi, Vito F.

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

Project Euclid
A note on the axiom of choice in Leśniewski's ontology.

Davis, Charles C.

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

Project Euclid
Algebraic semantics for $S2^0$ and necessitated extensions.

Routley, R. ; Montgomery, Hugh Alexander

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

Project Euclid
A first-order logic of knowledge and belief with identity. I.

Lehmann, Scott K.

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

Project Euclid
On the eliminability of de re modalities in some systems.

Broido, Jonathan

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

Project Euclid
A study of algebraic logic from the point of view of category theory.

Laita, Luis M.

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

Project Euclid
Les algèbres de Heyting-Brouwer et de Ł ukasiewicz trivalentes.

Iturrioz, Luisa

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

Project Euclid
Über Kongruenzen höherer Operationen.

Frei-Imfeld, Günther

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

Project Euclid
An independent statement about metric spaces.

Machover, Maurice

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

Project Euclid
Consistent, independent, and distinct propositions. II.

Shukla, Anjan

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

Project Euclid
An alternative to Brian Skyrms' approach to the Liar.

Spade, Paul Vincent

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

Project Euclid
Definitions of semantical reference and self-reference.

Skyrms, Brian

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

Project Euclid
On the relation between free description theories and standard quantification theory.

Grandy, Richard E.

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

Project Euclid
Some notes on: ``A deduction theorem for restricted generality''.

Bunder, M. W.

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

Project Euclid
On Nachbin's characterization of a Boolean lattice.

Cornish, William H.

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

Project Euclid
A patching lemma.

Hickin, K. K. ; Plotkin, J. M.

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

Project Euclid
Significance logics.

Brady, Ross T.

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

Project Euclid
Negation disarmed.

Meyer, Robert K.

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

Project Euclid
On some modal logics related to the Ł -modal system.

Wilson, Robert L.

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

Project Euclid
A first-order logic of knowledge and belief with identity. II.

Lehmann, Scott K.

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

Project Euclid
A species-algebraic interpretation of the intuitionistic propositional calculus.

Okee, Jekeri

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

Project Euclid
Temporal modalities and the future.

McKim, Vaughn R. ; Davis, Charles C.

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

Project Euclid
A further examination of Saccheri's use of the ``consequentia mirabilis''.

Hoormann, Cyril F. A.

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

Project Euclid
A note on the adequacy of translations.

Frank, William

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

Project Euclid
Three identities for ortholattices.

Beran, Ladislav

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

Project Euclid
Pledger lemma and the modal system $S3\deg$.

Sobociński, Bolesław

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

Project Euclid
Consistency of $n$-order logics.

Thomas, William J.

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

Project Euclid
An Herbrand theorem for prenex formulas of LJ.

Bowen, Kenneth A.

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

Project Euclid
Shortest single axioms for the classical equivalential calculus.

Peterson, Jeremy George

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

Project Euclid
Presupposition and entailment.

Barker, John A.

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

Project Euclid
The distribution of terms.

Katz, Berndard D. ; Martinich, A. P.

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

Project Euclid
A note on defining the Rudin-Keisler ordering of ultrafilters.

Pelletier, Donald H.

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

Project Euclid
Eternal existence and necessary existence.

Lycan, William G.

Text on Project Euclid
PDF
Alt PDF
p. 287-290

Project Euclid
Lambda-calculus terms that reduce to themselves.

Lercher, Bruce

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

Project Euclid
NOR logic: a system of natural deduction.

Gagnon, Laurence S.

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

Project Euclid
A question about incompleteness.

Armstrong, Robert L.

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

Project Euclid
Semantics for $S4.04$, $S4.4$, and $S4.3.2$.

Georgacarakos, G. N.

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

Project Euclid
Effective density types.

Gonshor, Harry

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

Project Euclid
A criticism of Sommers' language tree.

Cogan, Robert

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

Project Euclid
A short equational axiomatization of modular ortholattices.

Sobociński, Bolesław

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

Project Euclid
A short equational axiomatization of orthomodular lattices.

Sobociński, Bolesław

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

Project Euclid
Epistemic logic with identifiers.

McLelland, James

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

Project Euclid
A logic of belief.

Blum, Alex

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

Project Euclid
Some remarks on metaphysics and the modal logics ${\bf F}^*{\bf F}$.

Wilson, Robert L.

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

Project Euclid
De quelques problèmes de la logique médiévale.

Narbutt, Olgierd

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

Project Euclid
What does Ockham mean by `supposition'?

Adams, Marilyn McCord

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

Project Euclid
Completeness of the algebra of species.

Okee, Jekeri

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

Project Euclid
An analysis of the counterfactual conditional.

Wasserman, Howard C.

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

Project Euclid
Modality as a meta-concept.

Priest, Graham

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

Project Euclid
Direct analogues of the Sheffer stroke in $m$-valued logic.

Martin, Norman M.

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

Project Euclid
One dimension in PS and PSI.

Thomas, Ivo

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

Project Euclid
Russell on the meaning of descriptions.

Croddy, Stephen

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

Project Euclid
A complete classification of three-place functors in two-valued logic.

Muzio, J. C.

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

Project Euclid
A deduction system for the full first-order predicate logic.

Schneider, Hubert H.

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

Project Euclid
Two notes on Ackermann's set theory.

Lake, John

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

Project Euclid
Monads for regular and normal spaces.

Button, Robert Warren

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

Project Euclid
An arithmetical reconstruction of the liar's antinomy using addition and multiplication.

Germano, Giorgio

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

Project Euclid
The modalities of $KT4_nMG$.

Beard, J. B.

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

Project Euclid
A model-theoretic semantics for modal logic.

Paulos, John

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

Project Euclid
Venn diagrams extended: map logic.

Rybak, John ; Rybak, Janet

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

Project Euclid
Alternative notations for Principia Mathematica description theory: possible modifications.

Sobel, Jordan Howard

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

Project Euclid
On a modal system of R. A. Bull's

Ulrich, Dolph

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

Project Euclid
Leibniz's syllogistico-propositional calculus.

Casta neda, Hector-Neri

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

Project Euclid
Metacompleteness.

Meyer, Robert K.

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

Project Euclid
A calculus of matrical descriptors.

Meredith, David

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

Project Euclid
On the independence of the fundamental operations of the algebra of species.

Okee, Jekeri

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

Project Euclid
The square of opposition.

Englebretsen, George

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

Project Euclid
A logic for unknown outcomes.

Bruce, Bertram

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

Project Euclid
Algèbre et logique tripolaire.

Birnbaum, Léon

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

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

Harper, Judith M. ; Rubin, Jean E.

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

Project Euclid
A theory of restricted variables without existence assumptions.

Prullage, Margaret Murphy

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

Project Euclid
A note on evaluation mappings.

Wasserman, Howard C.

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

Project Euclid
A proof of Sobociński's conjecture concerning a certain set of lattice-theoretical formulas.

Sudkamp, Thomas A.

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

Project Euclid
The modular latticoids.

Sobociński, Bolesław

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

Project Euclid
Prior and the Barcan formula.

Lichtblau, Dale E.

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

Project Euclid
The axioms for latticoids and their associative extensions.

Sobociński, Bolesław

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

Project Euclid
A ternary universal decision element.

Muzio, J. C. ; Miller, D. M.

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

Project Euclid
A heuristic procedure for natural deduction derivations using reductio ad absurdum.

Gilbert, Michael A.

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

Project Euclid