Sommaire

Commutativity of generalized ordinals.

Hickman, John L.

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

Project Euclid
Effective inner product spaces.

Fowler, Northrup

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

Project Euclid
The finite model property for ${\bf MIPQ}$ and some consequences.

Fischer-Servi, Gisèle

Text on Project Euclid
PDF
Alt PDF
p. 687-692

Project Euclid
A note on the $Q$-topology.

Button, Robert Warren

Text on Project Euclid
PDF
Alt PDF
p. 679-686

Project Euclid
Axioms for generalized Newman algebras.

Beazer, R.

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

Project Euclid
Some remarks on Quine's arguments against modal logic.

Baker, John Robert

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

Project Euclid
Uncertainties over distribution dispelled.

Friedman, William H.

Text on Project Euclid
PDF
Alt PDF
p. 653-662

Project Euclid
A semantics for a weak free logic.

Bencivenga, Ermanno

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

Project Euclid
A generalization of combinatorial operators.

Silverstein, Anna

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

Project Euclid
An additional remark on self-conjugate functions of Boolean algebras.

Sudkamp, Thomas A.

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

Project Euclid
An incompleteness theorem for conditional logic.

Nute, Donald

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

Project Euclid
A second-order axiomatic theory of strings.

Wasserman, Howard C.

Text on Project Euclid
PDF
Alt PDF
p. 629-633

Project Euclid
Putting ${\cal K}$ in its place.

Schumm, George F.

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

Project Euclid
The eliminability of the actuality operator in propositional modal logic.

Hazen, Allen

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

Project Euclid
Aristotle on the subject of predication.

Englebretsen, George

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

Project Euclid
Multiple quantification and the use of special quantifiers in early sixteenth century logic.

Ashworth, E. J.

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

Project Euclid
The ideal of orderable subsets of a set.

Hickman, John L.

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

Project Euclid
The ontological theorem.

Brown, Charles D.

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

Project Euclid
John Buridan on the liar: a study and reconstruction.

Spade, Paul Vincent

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

Project Euclid
A modal logic with temporal variables.

Chapman, Tobias

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

Project Euclid
More logics without tautologies.

Simons, Leo

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

Project Euclid
Model theoretical investigation of theorem proving methods.

Gergely, T. ; Vershinin, K. P.

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

Project Euclid
Provably recursive real numbers.

Collins, William J.

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

Project Euclid
Self-conjugate functions on Boolean algebras.

Sudkamp, Thomas A.

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

Project Euclid
Relative strength of Malitz quantifiers.

Garavaglia, Steven

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

Project Euclid
Truth in constructive metamathematics.

Staples, John

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

Project Euclid
The minimal modal logic: a cautionary tale about primitives and definitions.

Milberger, Marilyn

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

Project Euclid
An ambiguity in modal logic.

Williamson, John

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

Project Euclid
A new axiomatization of the mixed associative Newman algebras.

Sobociński, Bolesław

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

Project Euclid
${\rm S}4.1.4={\rm S}4.1.2$ and ${\rm S}4.021={\rm S}4.04$.

Lenzen, Wolfgang

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

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

Ulrich, Dolph

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

Project Euclid
Note about Ł ukasiewicz's theorem concerning the system of axioms of the implicational propositional calculus.

Sobociński, Bolesław

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

Project Euclid
Passages between finite and infinite.

Abian, Alexander

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

Project Euclid
Proofs of the normalization and Church-Rosser theorems for the typed $\lambda$-calculus.

Pottinger, Garrel

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

Project Euclid
Classifications for inconsistent theories.

Grant, John

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

Project Euclid
Binomial pairs, semi-Brouwerian and Brouwerian semilattices.

Schmidt, Jürgen

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

Project Euclid
A note concerning a sole sufficient operator.

Muzio, J. C.

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

Project Euclid
On certain incapacities claimed for logicians.

Hawkins, Benjamin S.

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

Project Euclid
Hyperenumeration reducibility.

Sanchis, Luis E.

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

Project Euclid
Buridan: ``every proposition is false'' is false.

Sirridge, Mary

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

Project Euclid
Some observations on a method of McKinsey.

Hendry, Herbert E. ; Hart, Allan M.

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

Project Euclid
Doubly transitive sets.

Hickman, John L.

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

Project Euclid
Primitivity in mereology. II.

Welsh, Paul J.

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

Project Euclid
Three substitution-instance interpretations.

Kearns, John T.

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

Project Euclid
The adequacy of material dialogue-games.

Krabbe, Erik C. W.

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

Project Euclid
Awkward axiom-systems.

Sobociński, Bolesław

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

Project Euclid
The middle term.

Hadgopoulos, Demetrius J.

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

Project Euclid
On creative definitions in first order functional calculi.

Rickey, V. Frederick

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

Project Euclid
On propositions.

Hart, W. D. ; McGinn, Colin

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

Project Euclid
Supervaluations and Tarski.

Griffin, Nicholas

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

Project Euclid
Analytica priora I, $38$ and reduplication.

Angelelli, Ignacio

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

Project Euclid
A note on Turing machine regularity and primitive recursion.

De Lillo, Nicholas J.

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

Project Euclid
On the independence of the Bigos-Kalmár axioms for sentential calculus.

Flagg, Robert C.

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

Project Euclid
The closing passage of Frege's ``Über Sinn und Bedeutung''.

Nusenoff, Ronald E.

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

Project Euclid
A new family of modal systems.

Georgacarakos, G. N.

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

Project Euclid
Minimalization of Boolean polynomials, truth functions, and lattices.

Locks, Mitchell O.

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

Project Euclid
A note concerning the notion of mereological class.

Lejewski, Czesław

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

Project Euclid
A rare accident.

Lenzen, Wolfgang

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

Project Euclid
An independence result concerning infinite products of alephs.

Hickman, John L.

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

Project Euclid
Model theory of alternative rings.

Rose, Bruce I.

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

Project Euclid
Logics for knowledge, possibility, and existence.

Girle, Roderic A.

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

Project Euclid
Projective bigraphs with recursive operations.

Dekker, J. C. E.

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

Project Euclid
Free ${\rm S}5$ algebras.

Horn, Alfred

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

Project Euclid
Forbidden subgraphs in terms of forbidden quantifiers.

McKee, T. A.

Text on Project Euclid
PDF
Alt PDF
p. 186-188

Project Euclid
Attributive names.

Boër, Steven E.

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

Project Euclid
A note on the law of identity and the converse Parry property.

Došen, Kosta

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

Project Euclid
The intensionality of the predicate `$\underline{}$ is recursive'.

Kielkopf, Charles F.

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

Project Euclid
On some substitution instances of ${\bf R1}$ and ${\bf L1}$.

Lenzen, Wolfgang

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

Project Euclid
On the consistency and independence of some set-theoretical axioms.

Abian, Alexander ; LaMacchia, Samuel

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

Project Euclid
Degrees of partial functions.

Bergstra, Jan

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

Project Euclid
A formal system for the non-theorems of the propositional calculus.

Caicedo Ferrer, Xavier

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

Project Euclid
Geach and the Lewis result.

Iseminger, Gary

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

Project Euclid
A shortest single axiom for the classical equivalential calculus.

Kalman, John A.

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

Project Euclid
Right-divisive groups.

Verloren van Themaat, W. A.

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

Project Euclid
Logical and probability analysis of systems.

Locks, Mitchell O.

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

Project Euclid
An automatic theorem prover for substitution and detachment systems.

Peterson, Jeremy George

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

Project Euclid
A note on the decomposition of theories with respect to amalgamation, convexity, and related properties.

Pinter, Charles

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

Project Euclid
A modal system properly independent of both the Brouwerian system and $S4$.

Georgacarakos, G. N.

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

Project Euclid
Foundational problems of number theory.

Gauthier, Yvon

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

Project Euclid
Essentialism and the modal semantics of J. Hintikka.

Baker, John Robert

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

Project Euclid
Apodictic truth: Husserl's eidetic reduction versus induction.

Palermo, James

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

Project Euclid
A note on three-valued modal logic.

Schotch, Peter K. ; Jensen, Jorgen B. ; Larsen, Peter F. ; MacLellan, Edwin J.

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

Project Euclid
Primitivity in mereology. I.

Welsh, Paul J.

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

Project Euclid
Critical points of normal functions. II.

Hickman, John L.

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

Project Euclid
Isomorphism types of the hyperarithmetic sets ${\bf H}_a$.

Nelson, George C.

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

Project Euclid