Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre 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
a service of 
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-04-18 20:20 CEST 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:
