Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 13
Volume 13, Number 1, January 1972
- V. Frederick Rickey:
Axiomatic inscriptional syntax. I. General syntax. 1-33 - Earline Jennifer Ashworth:
The treatment of semantic paradoxes from 1400 to 1700. 34-52 - Laurent Larouche:
Examination of the axiomatic foundations of a theory of change. V. 53-68 - A. J. Baker:
Syllogistic with complex terms. 69-87 - Robert E. Clay:
Note on inductive finiteness in mereology. 88-90 - Florencio G. Asenjo, J. M. McKean:
Weierstrass's final theorem of arithmetic is not final. 91-94 - Theodore F. Sullivan:
The name solid as primitive in projective geometry. 95-97 - John W. Berry:
A note on immune sets. 98-100 - Boleslaw Sobocinski:
Additional note on lattice-theoretical form of Hauber's law. 101-102 - Frederick S. Gass:
A note on π11 ordinals. 103-104 - James Cargile:
Moore's proposition W. 105-117 - J. Jay Zeman:
S4.6 is S4.9. 118 - Boleslaw Sobocinski:
Certain sets of postulates for distributive lattices with the constant elements. 119-123 - Dorothy Bollman, M. Tapia:
On the recursive unsolvability of the provability of the deduction theorem in partial propositional calculi. 124-128 - Charles F. Kielkopf:
Premisses are not axioms. 129-130 - Richard L. Call:
The Gödel-Herbrand theorems. 131-134 - Douglas D. Smith:
Non-recursiveness of the set of finite sets of equations whose theories are one-based. 135-138 - Boleslaw Sobocinski:
An abbreviation of Croisot's axiom-system for distributive lattices with I. 139-141 - Biswambhar Pahi:
Maximal full matrices. 142-144
Volume 13, Number 2, April 1972
- Albert M. Sweet:
The pragmatics of first order languages. I. 145-160 - Ross T. Brady:
The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG in a three-valued logic. 161-176 - William Russell Belding, Richard L. Poss, Paul J. Welsh:
Transitivity, supertransitivity and induction. 177-190 - William Russell Belding:
Induction on fields of binary relations. 191-194 - J. Michael Dunn:
A modification of Parry's analytic implication. 195-205 - John Corcoran:
Strange arguments. 206-210 - Eugene W. Madison:
Real fields with characterization of the natural numbers. 211-218 - Gerald J. Massey:
The modal structure of the Prior-Rescher family of infinite product systems. 219-223 - John R. Chidgey, R. Zane Parks:
Necessity and ticket entailment. 224-226 - R. Zane Parks:
A note on R-Mingle and Sobociński's three-valued logic. 227-228 - Hugues Leblanc, Robert K. Meyer:
Matters of separation. 229-236 - Melvin Fitting:
Tableau methods of proof for modal logics. 237-247 - T. Hecht, Tibor Katrinák:
Equational classes of relative Stone algebras. 248-254 - Boleslaw Sobocinski:
A new formalization of Newman algebra. 255-264 - Boleslaw Sobocinski:
An equational axiomatization of associative Newman algebras. 265-269 - Peter A. Facione:
A modal truth-tabular interpretation for necessary and sufficient conditons. 270-272 - Michael C. Gemignani:
Parallel 1-flats in 2-arrangements. 273-278 - R. D. Lee:
An application of mathematical logic to the integer linear programming problem. 279-282 - Boleslaw Sobocinski:
A semi-lattice theoretical characterization of associative Newman algebras. 283-285 - W. D. Hart:
Probability as degree of possibility. 286-288
Volume 13, Number 3, July 1972
- Stephen L. Bloom, Roman Suszko:
Investigations into the sentential calculus with identity. 289-308 - Arnold vander Nat:
Axiomatic, sequenzen-kalkul, and subordinate proof versions of S9. 309-322 - Ruth Manor, Nicholas Rescher:
Modal elaborations of propositional logics. 323-330 - Marie Goldstein:
The historical development of group theoretical ideas in connection with Euclid's axiom of congruence. 331-349 - George Englebretsen:
Sommers on empty domains and existence. 350-358 - Peter Perkins:
An unsolvable provability problem for one variable groupoid equations. 359-362 - Dolph Ulrich:
Some results concerning finite models for sentential calculi. 363-368 - Anjan Shukla:
The existence postulate and non-regular systems of modal logic. 369-378 - Charles F. Kielkopf:
Kripke's axiomatization of S2. 379-380 - Melvin Fitting:
ε-calculus based axiom systems for some propositional modal logics. 381-384 - R. Zane Parks:
On formalizing Aristotle's theory of modal syllogisms. 385-386 - Hugues Leblanc, D. Paul Snyder:
Duals of Smullyan trees. 387-393 - Wilfred G. Malcolm:
Variations in definition of ultraproducts of a family of first order relational structures. 394-398 - Anjan Shukla:
Consistent, independent, and distinct propositions. 399-406 - Boleslaw Sobocinski:
An equational axiomatization and a semi-lattice theoretical characterization of mixed associative Newman algebras. 407-423 - Aleksandar Kron:
A note on E. 424-426 - R. B. Redmon:
A note on Linsky's Referring. 427-428 - John G. Stevenson:
Donnelly on Geach. 429-430 - Howard Pospesel, Alicia Roqué:
Note on Carney's "Introduction to symbolic logic". 431-432
Volume 13, Number 4, October 1972
- Max O. Hocutt:
Is epistemic logic possible? 433-453 - J. Jay Zeman:
Semantics for S4.3.2. 454-460 - Thomas W. Satre:
Natural deduction rules for modal logics. 461-475 - Robert K. Meyer:
On relevantly derivable disjunctions. 476-480 - John H. Harris:
Indexings of sets. 481-484 - Max J. Cresswell:
The completeness of S1 and some related systems. 485-496 - Colwyn Williamson:
Squares of opposition: Comparisons between syllogistic and propositional logic. 497-500 - Stanley E. Hayes:
Extensions of T0. 501-505 - Shalom Rosenberg:
A note on propositional calculus. 506-510 - Mitchell Ginsberg:
The entailment-presupposition relationship. 511-515 - Kit Fine:
In so many possible worlds. 516-520 - John Grant:
Recognizable algebras of formulas. 521-526 - Allen Hazen:
Semantics for S4.2. 527-528 - Boleslaw Sobocinski:
Solution to the problem concerning the Boolean bases for cylindric algebras. 529-545 - Lawrence J. Pozsgay:
Semi-intuitionistic set theory. 546-550 - Joseph Barback, William D. Jackson, M. Parnes:
Analogous characterizations of finite and isolated sets. 551-555 - Earline Jennifer Ashworth:
Strict and material implication in the early sixteenth century. 556-560 - Klemens Döpp:
Bermerkungen zu Henkins Beweis für die Nichtstandard-Vollständigkeit der Typentheorie. 561-562 - R. L. Goodstein:
A new proof of completeness. 563-564 - Thomas W. Satre:
Natural deduction rules for S10-S40. 565-568 - Kit Fine:
For so many individuals. 569-572 - Tobias Chapman:
Note on Rescher's formalization of Aristotelian indeterminism. 573-575
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 21:14 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:
