Sommaire

Correction to my paper ``Some completeness results for intermediate propositional logics''.

McKay, C. G.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Incompleteness of a logic of Routley's.

Trew, A.

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

Project Euclid
Examination of the axiomatic foundations of a theory of change. I.

Larouche, Laurent

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

Project Euclid
A first order type theory for the theory of sets.

Coppotelli, Fred

Text on Project Euclid
PDF
Alt PDF
p. 367-370

Project Euclid
Propositional sequence-calculi for inconsistent systems.

Raggio, Andrés R.

Text on Project Euclid
PDF
Alt PDF
p. 359-366

Project Euclid
The shortest axioms of the implicational calculus.

Tursman, Richard

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

Project Euclid
Definitional Boolean calculi.

Cole, Richard

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

Project Euclid
On symbolizing singulary ${\rm S}5$ functions.

Canty, John Thomas

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

Project Euclid
A note on theses of the first-order functional calculus.

Reichbach, Juliusz

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

Project Euclid
On explanation of number progression.

Chang, Chung-ying

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

Project Euclid
Logical continuity.

Chandler, Hugh S.

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

Project Euclid
The logical concept of existence.

Kearns, John T.

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

Project Euclid
Approximation to a decision procedure for the halting problem.

Anderson, Michael

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

Project Euclid
A note on the structure of the power set.

Schumm, G. F.

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

Project Euclid
The Church Rosser theorem for strong reduction in combinatory logic.

Loewen, Kenneth

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

Project Euclid
The propostitional calculus ${\rm MC}$ and its modal analog.

Zeman, J. Jay

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

Project Euclid
On Kleene's recursive realizability as an interpretation for intuitionistic elementary number theory.

Tompkins, Robert R.

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

Project Euclid
Note on duality in propositional calculus.

Works, Chandler ; Yourgrau, Wolfgang

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

Project Euclid
A standardization theorem for strong reduction.

Loewen, Kenneth

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

Project Euclid
Modified strong reduction in combinatory logic.

Loewen, Kenneth

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

Project Euclid
Towards a logic of significance.

Goddard, Leonard

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

Project Euclid
The middle term.

Sibajiban

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

Project Euclid
Petrus Fonseca and material implication.

Ashworth, E. J.

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

Project Euclid
Equational logic.

Meredith, C. A. ; Prior, A. N.

Text on Project Euclid
PDF
Alt PDF
p. 212-226

Project Euclid
Results regarding the axiomatization of partial propositional calculi.

Singletary, W. E.

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

Project Euclid
Propositional logic in the sixteenth and early seventeenth centuries.

Ashworth, E. J.

Text on Project Euclid
PDF
Alt PDF
p. 179-192

Project Euclid
An infixed, punctuation-free notation.

Wilcox, W. C. ; Carnes, R. D.

Text on Project Euclid
PDF
Alt PDF
p. 171-178

Project Euclid
Syntactically free, semantically bound. A note on variables.

Leblanc, Hugues

Text on Project Euclid
PDF
Alt PDF
p. 167-170

Project Euclid
On propositional, truth and Boolean functions.

Ristea, Tudor

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

Project Euclid
Modal logics with two kinds of necessity and possibility.

Weingartner, Paul

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

Project Euclid
On the Leibnizian modal system.

Saito, Setsuo

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

Project Euclid
A note on the arithmetical hierarchy.

Bloom, Stephen L.

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

Project Euclid
On provable recursive functions.

Enderton, H. B.

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

Project Euclid
Normal form generation of ${\rm S}5$ functions via truth functions.

Massey, Gerald J.

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

Project Euclid
Completeness without the Barcan formula.

Cresswell, M. J.

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

Project Euclid
A philosophical remark on Gödel's unprovability of consistency proof.

Barbò, Francesca Rivetti

Text on Project Euclid
PDF
Alt PDF
p. 67-74

Project Euclid
Some proofs of relative completeness in modal logic.

Cresswell, M. J.

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

Project Euclid
Creative sequences and double sequences.

Carpentier, M. Adrian

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

Project Euclid
The rule of Peirce.

Thomas, Ivo

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Ontology in the Tractatus of L. Wittgenstein.

Suszko, Roman

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

Project Euclid
Note on definitional reductions.

Seldin, Jonathan P.

Text on Project Euclid
PDF
Alt PDF
p. 4-6

Project Euclid
In memoriam: Edward John Lemmon (1930---1966).

Thomas, Ivo

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

Project Euclid