Sommaire

Four-valued tables and modal logic.

Purtill, Richard L.

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

Project Euclid
The Carrollian matrix.

Rasof, Elvin

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

Project Euclid
Referential involvements of number words.

Cheng, Chung-ying

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

Project Euclid
A note on the intuitionist fan theorem.

Belding, W. Russell

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

Project Euclid
On the interpretability of arithmetic in set theory.

Collins, George E. ; Halpern, J. D.

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

Project Euclid
Generalized reals.

Asenjo, F. G.

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

Project Euclid
The dependence of mereological axiom.

Clay, Robert E.

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

Project Euclid
A paradox in illative combinatory logic.

Bunder, M. W.

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

Project Euclid
Les algèbres de Heyting et de Lukasiewicz trivalentes.

Monteiro, Luiz

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

Project Euclid
Completeness of the generalized propositional calculus.

Abian, Alexander

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

Project Euclid
Polynomials with computable coefficients.

Goodstein, R. L.

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

Project Euclid
Context logic. I. Fundamental concepts, notations, and derived notions.

Kotelly, John Christopher

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

Project Euclid
Remarks on the W. C. Nemitz's paper ``Semi-Boolean lattices''.

Katriňák, Tibor

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

Project Euclid
Über Intensionen und Modalitäten.

Essler, Wilhelm K.

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

Project Euclid
Logical and historical remarks on Saccheri's geometry.

Dou, Alberto M.

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

Project Euclid
Note on Zeman's modal system $S4.04$.

Sobociński, Bolesław

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

Project Euclid
The completeness of Copi's system of natural deduction.

Winnie, John A.

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

Project Euclid
Locating vertices of trees.

Zuckerman, Martin M.

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

Project Euclid
On a problem of Th. Skolem.

Harris, John H.

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

Project Euclid
Ein nichtkonstruktiver Beweis des ersten $\varepsilon$-theorems.

Essler, Wilhelm K.

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

Project Euclid
Certain extensions of modal system $S4$.

Sobociński, Bolesław

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

Project Euclid
Note on G. J. Massey's closure-algebraic operation.

Sobociński, Bolesław

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

Project Euclid
Binary closure-algebraic operations that are functionally complete.

Massey, Gerald J.

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

Project Euclid
A note on a lemma of J. W. Addison.

Poss, Richard L.

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

Project Euclid
A logical calculus of analogy involving functions of order $2$.

Dorrough, Douglas C.

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

Project Euclid
Non-existence does not exist.

Routley, R.

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

Project Euclid
Expressibility in type theory.

Wadleigh, H. Julian

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

Project Euclid
On infinite matrices and the paradoxes of material implication.

Wilcox, W. C.

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

Project Euclid
On the equivalence of strong and weak validity of rule schemes in the two-valued propositional calculus.

Setlur, Rangaswamy V.

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

Project Euclid
The product of implication and counter-implication systems.

Setlur, Rangaswamy V.

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

Project Euclid
New algorithms for the statement and class calculi.

Byerly, Henry C. ; Merchant, Charles J.

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

Project Euclid
Axiomatic quasi-natural deduction.

Gregg, John R.

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

Project Euclid
Corrigendum to our paper: ``A theorem on $n$-tuples which is equivalent to the well-ordering theorem''.

Rubin, H. ; Rubin, J. E.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Affine geometry with S. Dowdy's ``trapezoid'' as primitive.

Clay, Robert E.

Text on Project Euclid
PDF
Alt PDF
p. 205-219

Project Euclid
The missing premiss.

Blum, Alex

Text on Project Euclid
PDF
Alt PDF
p. 203-204

Project Euclid
An unsolvable problem concerning implicational calculi.

Pahi, Biswambhar ; Applebee, Ralph C.

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

Project Euclid
${\rm E}$ and ${\rm S}4$.

Meyer, Robert K.

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

Project Euclid
Decision procedures for Lewis system S1 and related modal systems.

Shukla, Anjan

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

Project Euclid
In memoriam: Clarence Irving Lewis (1883--1964).

Parry, William Tuthill

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

Project Euclid
Generalizability of the propositional and predicate calculi to infinite-valued calculi.

Schott, Hermann F.

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

Project Euclid
Every functionally complete $m$-valued logic has a Post-complete axiomatization.

Belnap, Nuel D. ; McCall, Storrs

Text on Project Euclid
PDF
Alt PDF


Project Euclid
A characterization of a spherical $m$-arrangement.

Gemignani, Michael C.

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

Project Euclid
A remark on note on duality.

Sibajiban

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

Project Euclid
A note on primary and secondary syncategoremata.

Dorrough, Douglas

Text on Project Euclid
PDF
Alt PDF
p. 97-98

Project Euclid
Zur Frage der Existenzvoraussetzungen in der Logik.

Dapunt, I.

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

Project Euclid
Sur les axiomes de Götlind.

Sade, Albert

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

Project Euclid
A new proof of the compactness theorem for propositional logic.

Cowen, Robert H.

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

Project Euclid
A proof of the Löwenheim-Skolem theorem.

Boolos, George S.

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

Project Euclid
Reconstructing formal logic: Further developments and considerations.

Goe, George

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

Project Euclid
Syllogistic and non-syllogistic aspects of the comparative argument.

Blackhurst, J. Herbert

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

Project Euclid
Some notes on syllogistic in the sixteenth and seventeenth centuries.

Ashworth, E. J.

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

Project Euclid
Final word on a shortest implicational axiom.

Thomas, Ivo

Text on Project Euclid
PDF
Alt PDF


Project Euclid
On the number of variables in the axioms.

Gladstone, M. D.

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

Project Euclid