default search action
Notre Dame Journal of Formal Logic, Volume 15
Volume 15, Number 1, January 1974
- Wilfred G. Malcolm:
Some results and algebraic applications in the theory of higher-order ultraproducts. 1-15 - Michael J. Loux, Wm. David Solomon:
Quine on the inscrutability and relativity of reference. 16-24 - Martin W. Bunder:
Propositional and predicate calculuses based on combinatory logic. 25-34 - John Evenden:
Generalised logic. 35-44 - Roderic A. Girle
:
Possibility pre-supposition free logics. 45-62 - Jordan Howard Sobel:
Principia Mathematica description theory: the classical and an alternative notation. 63-72 - Peter B. Andrews:
Resolution and the consistency of analysis. 73-84 - Eugen Mihailescu:
Les propriétés du foncteur Nicod par rapport à le réciprocité et conjonction. II. 85-96 - J. Michael Dunn, Hugues Leblanc, Robert K. Meyer:
Completeness of relevant quantification theories. 97-121 - John W. Rosenthal:
Models of Th(<ωω,<>). 122-132 - Jon C. Muzio:
Partial universal decision elements. 133-140 - Robert E. Clay:
Some mereological models. 141-146 - George F. Schumm:
S3.02=S3.03. 147-148 - J. G. Anderson:
A note on finite intermediate logics. 149-155 - David Meredith:
Combinatory and propositional logic. 156-160 - Ralph L. Slaght:
A concise method for translating propositional formulae containing the standard truth-functional connectives into a Sheffer stroke equivalent; plus an extension of the method. 161-164 - Robert G. Wengert:
Schematizing De Morgan's argument. 165-166 - Bruce White:
A note on natural deduction in many-valued logic. 167-168 - Boleslaw Sobocinski:
Concerning the proper axioms of S4.02. 169-172 - T. Y. Pak:
McCawley and logic. 173-175 - Frank Fox:
A note on a consistency proof. 176
Volume 15, Number 2, April 1974
- Manfred E. Szabo:
A categorical equivalence of proofs. 177-191 - Martin W. Bunder:
Various systems of set theory based on combinatory logic. 192-206 - James K. Feibleman:
Professor Quine and real classes. 207-224 - Robert P. McArthur, David Welker:
Non-assertoric inference. 225-244 - Chung-ying Cheng:
On referentiality and its conditions. 245-264 - Howard C. Wasserman:
Admissible rules, derivable rules, and extendible logistic systems. 265-278 - Günther Frei-Imfeld:
Über eine Erweiterung der algebraischen Operationen. 279-288 - Robert Goldblatt
A study of Z modal systems. 289-294 - George F. Schumm:
K and Z. 295-297 - Paul Vincent Spade:
Ockham on self-reference. 298-300 - Bohuslav T. Peklo:
Sind die deontischen Funktoren distributiv? 301-311 - Johannes Czermak:
Matrix calculi SS1M and SS1I compared with axiomatic systems. 312-316 - Thomas M. Hearne, Carl G. Wagner:
Boolean subtractive algebras. 317-324 - Harold Goldberg, Hugues Leblanc, George Weaver:
A strong completeness theorem for 3-valued logic. 325-330 - Zane Parks, Terry L. Smith:
The inadequacy of Hughes and Cresswell's semantics for the CI systems. 331-332 - Zane Parks:
Semantics for contingent identity systems. 333-334 - Wilson E. Singletary:
Many-one degrees associated with partial propositional calculi. 335-343 - Kenneth W. Collier:
A result of extending Bochvar's 3-valued logic. 344-346 - Ivo Thomas:
On a passage of Aristotle. 347-348 - Alex Blum:
A note on natural deduction. 349-350 - Howard Pospesel, Charles G. Werner:
Deductive inferences from particular to general. 351-352
Volume 15, Number 3, July 1974
- Albert Sade:
Indice de vérité, fonctions implicationnelles accessibles, recensement des thèses. 353-369 - John Corcoran, George Weaver:
Logical consequence in modal logic. II. Some semantic systems for S4. 370-378 - Gary Gilford Gleason:
Normal and skew systems. 379-401 - Charles F. Kielkopf:
K1 as a Dawson modeling of A. R. Anderson's sense of "ought". 402-410 - Leo Simons:
Logic without tautologies. 411-431 - H. Julian Wadleigh:
Translation of the simple theory of types into a first order language. 432-442 - Newton C. A. da Costa:
α-models and the systems T and T*. 443-454 - Louis F. Goble:
Gentzen systems for modal logic. 455-461 - Mary Sirridge:
William of Sherwood on propositions and their parts. 462-464 - Boleslaw Sobocinski:
A theorem concerning a restricted rule of substitution in the field of propositional calculi. I. 465-476 - Ivo Thomas:
On Meredith's sole positive axiom. 477 - V. Frederick Rickey:
The one variable implicational calculus. 478-480 - John Lake:
Ordered pairs and cardinality in new foundations. 481-484 - T. C. Wesselkamper:
A note on UDE's in an n-valued logic. 485-486 - Andrés R. Raggio:
A simple proof of Herbrand's theorem. 487-488 - Howard Burdick:
On syntactical characterization of logical expressions. 489-490 - Alan C. Wilde:
Generalizations of the distributive and associative laws. 491-493 - Robert W. Murungi:
On a nonthesis of classical modal logic. 494-496
Volume 15, Number 4, October 1974
- Boleslaw Sobocinski:
A theorem concerning a restricted rule of substitution in the field of propositional calculi. II. 589-597 - Newton C. A. da Costa:
On the theory of inconsistent formal systems. 497-510 - Charles Francis Quinn:
An analysis of the concept of constructive categoricity. 511-551 - Nino B. Cocchiarella:
Fregean semantics for a realist ontology. 552-568 - Michael B. Smyth:
Involution as a basis for propositional calculi. 569-588 - R. L. Goodstein:
Satisfiability in a larger domain. 598-600 - John Grant:
Imcomplete models. 601-607 - Peter Swiggart:
Self reference in formal languages. 608-612 - George Englebretsen:
A note on contrariety. 613-614 - Kwame Gyekye:
Aristotle and a modern notion of predication. 615-618 - E. William Chapin:
Set-valued set theory. I. 619-634 - James Andrew Fulton:
Unary predicates. 635-638 - Alan C. Wilde:
A substitution property. 639-640 - Jean-Claude Volgo:
Description theory: critical defense of a Russellian approach. 641-647 - Aleksandar Kron:
Erratum: "A note on E". 648 - Dolph Ulrich:
Erratum: "Some results concerning finite models for sentential calculi". 648 - Nicholas J. DeLillo:
Erratum: "A formal characterization of ordinal numbers". 648 - Hugues Leblanc, D. Paul Snyder:
Erratum: "Duals of Smullyan trees". 648 - Boleslaw Sobocinski:
Erratum: "Modal system S3 and the proper axioms of S4.02 and S4.04". 648 - Rangaswamy V. Setlur:
Erratum: "On the equivalence of strong and weak validity of rule schemes in the two-valued of rule schemes in the two-valued propositional calculus". 648 - John G. Stevenson:
Erratum: "Donnelly on Geach". 648 - Alberto M. Dou:
Erratum: "Logical and historical remarks on Saccheri's geometry". 648
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-12-22 18:48 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: