Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 20 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 20 · NO. 4 | October 1979
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 20, issue 4 (1979)
Notre Dame J. Formal Logic 20 (4), (October 1979) Open Access
No abstract available
DOWNLOAD PAPER
Articles
How to stop talking to tortoises.
J. D. Mackenzie
Notre Dame J. Formal Logic 20 (4), 705-717, (October 1979) DOI: 10.1305/ndjfl/1093882790 Open Access
KEYWORDS: 03B99
No abstract available
DOWNLOAD PAPER
Note on a strong liberated modal logic and its relevance to possible world skepticism.
Charles G. Morgan
Notre Dame J. Formal Logic 20 (4), 718-722, (October 1979) DOI: 10.1305/ndjfl/1093882791 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Quantum logic with implication.
J. Jay Zeman
Notre Dame J. Formal Logic 20 (4), 723-728, (October 1979) DOI: 10.1305/ndjfl/1093882792 Open Access
KEYWORDS: 03G12, 03B45, 06C15, 81B10
No abstract available
DOWNLOAD PAPER
Models of an extension of the theory ${\bf ORD}$.
Nicholas J. De Lillo
Notre Dame J. Formal Logic 20 (4), 729-734, (October 1979) DOI: 10.1305/ndjfl/1093882793 Open Access
KEYWORDS: 03C40, 03F99
No abstract available
DOWNLOAD PAPER
The specific reading of A-propositions in a defense of William of Sherwood.
Charles F. Kielkopf
Notre Dame J. Formal Logic 20 (4), 735-740, (October 1979) DOI: 10.1305/ndjfl/1093882794 Open Access
KEYWORDS: 03-03, 01A35, 03A05
No abstract available
DOWNLOAD PAPER
O-propositions and Ockham's theory of supposition.
Alfred J. Freddoso
Notre Dame J. Formal Logic 20 (4), 741-750, (October 1979) DOI: 10.1305/ndjfl/1093882795 Open Access
KEYWORDS: 03-03, 01A35, 03A05
No abstract available
DOWNLOAD PAPER
Aristotle's syllogistic.
Paul Thom
Notre Dame J. Formal Logic 20 (4), 751-759, (October 1979) DOI: 10.1305/ndjfl/1093882796 Open Access
KEYWORDS: 03-03, 01A20, 03B20
No abstract available
DOWNLOAD PAPER
A generalized theorem concerning a restricted rule of substitution in the field of propositional calculi.
Charles H. Lambros
Notre Dame J. Formal Logic 20 (4), 760-764, (October 1979) DOI: 10.1305/ndjfl/1093882797 Open Access
KEYWORDS: 03B05
No abstract available
DOWNLOAD PAPER
A simplification procedure for alternational normal schemata.
John Riser
Notre Dame J. Formal Logic 20 (4), 765-767, (October 1979) DOI: 10.1305/ndjfl/1093882798 Open Access
KEYWORDS: 03B05, 03G05
No abstract available
DOWNLOAD PAPER
Circular demonstration and von Wright-Geach entailment.
Douglas Walton, John Woods
Notre Dame J. Formal Logic 20 (4), 768-772, (October 1979) DOI: 10.1305/ndjfl/1093882799 Open Access
KEYWORDS: 03A05, 03B45
No abstract available
DOWNLOAD PAPER
Kripke on contingent a priori truths.
Sitansu S. Chakravarti
Notre Dame J. Formal Logic 20 (4), 773-776, (October 1979) DOI: 10.1305/ndjfl/1093882800 Open Access
KEYWORDS: 03A05, 03B45
No abstract available
DOWNLOAD PAPER
Identity logics.
John Corcoran, Stanley Ziewacz
Notre Dame J. Formal Logic 20 (4), 777-784, (October 1979) DOI: 10.1305/ndjfl/1093882801 Open Access
KEYWORDS: 03B20
No abstract available
DOWNLOAD PAPER
On full cylindric set algebras.
Thomas A. Sudkamp
Notre Dame J. Formal Logic 20 (4), 785-793, (October 1979) DOI: 10.1305/ndjfl/1093882802 Open Access
KEYWORDS: 03G15
No abstract available
DOWNLOAD PAPER
Some considerations in medieval tense logic.
Emily Michael
Notre Dame J. Formal Logic 20 (4), 794-800, (October 1979) DOI: 10.1305/ndjfl/1093882803 Open Access
No abstract available
DOWNLOAD PAPER
An examination of the influence of Boole's algebra on Peirce's developments in logic.
Emily Michael
Notre Dame J. Formal Logic 20 (4), 801-806, (October 1979) DOI: 10.1305/ndjfl/1093882804 Open Access
KEYWORDS: 01A55, 03-03
No abstract available
DOWNLOAD PAPER
An intensional logic of predicates and predicate modifiers without modal operators.
James Andrew Fulton
Notre Dame J. Formal Logic 20 (4), 807-834, (October 1979) DOI: 10.1305/ndjfl/1093882805 Open Access
KEYWORDS: 03B99
No abstract available
DOWNLOAD PAPER
Generalization in first-order logic.
Hugues Leblanc
Notre Dame J. Formal Logic 20 (4), 835-857, (October 1979) DOI: 10.1305/ndjfl/1093882806 Open Access
KEYWORDS: 03B10
No abstract available
DOWNLOAD PAPER
The substitution interpretation and the expressive power of intensional logics.
James W. Garson
Notre Dame J. Formal Logic 20 (4), 858-864, (October 1979) DOI: 10.1305/ndjfl/1093882807 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Equational two axiom bases for Boolean algebras and some other lattice theories.
Bolesław Sobociński
Notre Dame J. Formal Logic 20 (4), 865-875, (October 1979) DOI: 10.1305/ndjfl/1093882808 Open Access
KEYWORDS: 06B05, 06C05, 06D05, 06E05
No abstract available
DOWNLOAD PAPER
Variable binding term operators in $\lambda $-calculus.
M. W. Bunder
Notre Dame J. Formal Logic 20 (4), 876-878, (October 1979) DOI: 10.1305/ndjfl/1093882809 Open Access
KEYWORDS: 03B40
No abstract available
DOWNLOAD PAPER
Repairing proofs of Arrow's general impossibility theorem and enlarging the scope of the theorem.
R. Routley
Notre Dame J. Formal Logic 20 (4), 879-890, (October 1979) DOI: 10.1305/ndjfl/1093882810 Open Access
KEYWORDS: 90A08
No abstract available
DOWNLOAD PAPER
Beth's tableaux for relevant logic.
J.-F. Pabion
Notre Dame J. Formal Logic 20 (4), 891-899, (October 1979) DOI: 10.1305/ndjfl/1093882811 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
The algebra of relatives.
Chris Brink
Notre Dame J. Formal Logic 20 (4), 900-908, (October 1979) DOI: 10.1305/ndjfl/1093882812 Open Access
KEYWORDS: 03G05, 03G99
No abstract available
DOWNLOAD PAPER
Two axiom systems for relation algebras.
Chris Brink
Notre Dame J. Formal Logic 20 (4), 909-914, (October 1979) DOI: 10.1305/ndjfl/1093882813 Open Access
KEYWORDS: 03G15, 06E99
No abstract available
DOWNLOAD PAPER
The $\Omega $-system and the Ł-system of modal logic.
Jean Porte
Notre Dame J. Formal Logic 20 (4), 915-920, (October 1979) DOI: 10.1305/ndjfl/1093882814 Open Access
KEYWORDS: 03B45, 03B50
No abstract available
DOWNLOAD PAPER
Entailment and proof.
Hin Chung Hung
Notre Dame J. Formal Logic 20 (4), 921-933, (October 1979) DOI: 10.1305/ndjfl/1093882815 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Leśniewski und Mally.
Wolfgang Leopold Gombocz
Notre Dame J. Formal Logic 20 (4), 934-946, (October 1979) DOI: 10.1305/ndjfl/1093882816 Open Access
KEYWORDS: 03A05, 01A60, 03-03
No abstract available
DOWNLOAD PAPER
Back Matter
Author Index III. Volumes XVI-XX (1975--1979).
Notre Dame J. Formal Logic 20 (4), 947-968, (October 1979) Open Access
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 20, issue 4 (1979)
Notre Dame J. Formal Logic 20 (4), (October 1979) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top