![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Notre Dame Journal of Formal Logic, Volume 14
Volume 14, Number 1, January 1973
- V. Frederick Rickey:
Axiomatic inscriptional syntax. Part II. The syntax of protothetic. 1-52 - Martin W. Bunder:
A generalised Kleene-Rosser paradox for a system containing the combinator K. 53-54 - Czeslaw Lejewski:
A contribution to the study of extended mereologies. 55-67 - Fred S. Roberts:
Tolerance geometry. 68-76 - P. J. Fitzpatrick:
An extension of Venn diagrams. 77-86 - Jon C. Muzio:
The cosubstitution condition. 87-94 - James C. Owings:
Diagonalization and the recursion theorem. 95-99 - William D. Jackson:
A note on a theorem of C. Yates. 100-102 - David Meredith:
On a property of certain propositional formulae. 103-106 - Dorothy Bollman, Miguel Laplaza:
A set-theoretic model for nonassociative number theory. 107-110 - Boleslaw Sobocinski:
Remark about the Boolean parts in the postulate-systems of closure, derivative and projective algebras. 111-117 - Alan Bundy:
A note on omitting the replacement schema. 118-120 - R. J. Baxter:
On some models of modal logics. 121-122 - Thomas H. Payne:
Effective extendability and fixed points. 123-124 - E. William Chapin, S. Michael Webb:
A non-standard proof in the theory of integration. 125-128 - Boleslaw Sobocinski:
A note on Newman's algebraic systems. 129-133 - Martin M. Zuckerman:
Formation sequences for propositional formulas. 134-138 - E. L. Marsden:
A note on implicative models. 139-144
Volume 14, Number 2, February 1973
- Alexander Abian:
Rado's theorem and solvability of systems of equations. 145-150 - Louis F. Goble:
A simplified semantics for modal logic. 151-174 - James W. Garson:
The completeness of an intensional logic: definite topological logic. 175-184 - Kenneth W. Collier:
Physical modalities and the system E. 185-194 - A. P. Rao:
The concept of logic. 195-204 - Earline Jennifer Ashworth:
Andreas Kesler and the later theory of consequence. 205-214 - Teodor Stihi:
Une généralisation du carré logique. 215-223 - Robert K. Meyer:
On conserving positive logics. 224-236 - Vladeta Vuckovic:
Local recursive theory. 237-246 - Leroy F. Meyers:
Simultaneous versus successive quantification. 247-249 - Edward Schuh:
Many-valued logics and the Lewis paradoxes. 250-252 - Henryk Hiz:
A completeness proof for C-calculus. 253-258 - Paul T. Sagal:
On how best to make sense of Leśniewski's ontology. 259-262 - Martin M. Zuckerman:
Sums of at least 9 ordinals. 263-268 - Paul J. Welsh:
On the number of overlapping subsets of a set. 269-272 - John R. Chidgey:
A note on transitivity. 273-275 - Ivo Thomas:
Unusual feature of $S3^\ast$. 276 - Peter Gärdenfors:
On the extensions of S5. 277-280 - Steven K. Thomason:
A new representation of S5. 281-284 - Terrell Ward Bynum:
On an alleged contradiction lurking in Frege's Begriffsschrift. 285-287 - Alex Blum:
A correction in Copi's account of Boolean normal forms. 288
Volume 14, Number 3, July 1973
- Earline Jennifer Ashworth:
The theory of consequence in the late fifteenth and early sixteenth centuries. 289-315 - James F. Harris:
Secondary extensions, meanings and non-null terms. 316-322 - John T. Kearns:
The completeness of combinatory logic with discriminators. 323-330 - Erik Ellentuck:
Degrees of isolic theories. 331-340 - Martin W. Bunder:
A deduction theorem for restricted generality. 341-346 - Charles G. Morgan:
Sentential calculus for logical falsehoods. 347-353 - Charles E. Hughes
, Wilson E. Singletary:
Combinatorial systems with axiom. 354-360 - Charles C. Pinter:
A simple algebra of first order logic. 361-366 - Hubert C. Kennedy:
What Russell learned from Peano. 367-372 - Arthur M. Bullock, Hubert H. Schneider:
On generating the finitely satisfiable formulas. 373-376 - Giorgio Germano:
Incompleteness theorem via weak definability of truth: a short proof. 377-380 - J. M. Lee:
The form of Reductio ad Absurdum. 381-386 - Setsuo Saito:
Modality and preference relation. 387-391 - Robert Goldblatt
:
Concerning the proper axiom for S4.04 and some related systems. 392-396 - Nicholas J. DeLillo:
A formal characterization of ordinal numbers. 397-400 - Biswambhar Pahi:
Necessity and some non-modal propositional calculi. 401-404 - Peter W. Woodruff:
On compactness in many-valued logic. I. 405-407 - Stephen L. Bloom:
Extensions of Gödel's completeness theorem and the Löwenheim-Skolem theorem. 408-410 - Charles H. Applebaum:
A stronger definition of a recursively infinite set. 411-412 - Boleslaw Sobocinski:
A new axiomatization of modal system K1.2. 413-414 - Boleslaw Sobocinski:
Modal system S3 and the proper axioms of S4.02 and S4.04. 415-418 - Boleslaw Sobocinski:
Note about the Boolean parts of the extended Boolean algebras. 419-422 - Ivo Thomas:
Further extensions of $S3^\ast$. 423-424 - Anne Lehman:
Two sets of perfect syllogisms. 425-429 - David W. Bennett:
An elementary completeness proof for a system of natural deduction. 430-432
Volume 14, Number 4, October 1973
- Charles Leonard Hamblin:
A felicitous fragment of the predicate calculus. 433-447 - Robert E. Tax:
On the intuitionistic equivalential calculus. 448-456 - Harry J. Gensler:
A simplified decision procedure for categorical syllogisms. 457-466 - Luis E. Sanchis:
Formally defined operations in Kripke models. 467-480 - William Russell Belding:
Incidence rings of pre-ordered sets. 481-509 - Theodore C. Denise:
The two logics: traditional and modern. 510-518 - Judith L. Gersting:
Infinite series of T-regressive isols. 519-526 - Eugen Mihailescu:
Les propriétés du foncteur Nicod par rapport à la réciprocité et conjonction. I. 527-535 - Charles G. Morgan:
Truth, falsehood, and contingency in first-order predicate calculus. 536-542 - J. E. Wiredu:
On the real logical structure of Lewis' independent proof. 543-546 - Boleslaw Sobocinski:
Concerning the quantifier algebras in the sense of Pinter. 547-553 - William J. Frascella:
A stronger theorem concerning the non-existence of combinatorial designs on infinite sets. 554-558 - Robert E. Clay:
Two results in Leśniewski's mereology. 559-564 - William Russell Belding, Richard L. Poss:
A note on: "Transitivity, supertransitivity and induction". 565-566 - Robert Goldblatt
:
A new extension of S4. 567-574 - Theodore F. Sullivan:
The geometry of solids in Hilbert spaces. 575-580 - John Bacon:
Kripke's deontic semantics again. 581-582 - Boleslaw Sobocinski:
Errata: "An equational axiomatization of associative Newman algebras". 584 - Boleslaw Sobocinski:
Errata: "Note on G. J. Massey's closure-algebraic operation". 584 - Anjan Shukla:
Errata: "Decision procedures for Lewis system S1 and related modal systems". 584 - M. C. Bradley:
Errata: "Copi's method of deduction again". 584
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.