default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre 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
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.
last updated on 2024-11-08 20:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
