![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Notre Dame Journal of Formal Logic, Volume 17
Volume 17, Number 1, January 1976
- Czeslaw Lejewski:
On prosleptic premisses. 1-18 - Vito F. Sinisi:
Leśniewski's analysis of Russell's antinomy. 19-34 - Charles C. Davis:
A note on the axiom of choice in Leśniewski's ontology. 35-43 - Hugh Alexander Montgomery, Richard Routley:
Algebraic semantics for S20 and necessitated extensions. 44-58 - Scott K. Lehmann:
A first-order logic of knowledge and belief with identity. I. 59-77 - Manfred E. Szabo:
An addendum to my paper: "A categorical equivalence of proofs". 78 - Jonathan Broido:
On the eliminability of de re modalities in some systems. 79-88 - Luis M. Laita:
A study of algebraic logic from the point of view of category theory. 89-118 - Luisa Iturrioz:
Les algèbres de Heyting-Brouwer et de Łukasiewicz trivalentes. 119-126 - Günther Frei-Imfeld:
Über Kongruenzen höherer Operationen. 127-130 - Maurice Machover:
An independent statement about metric spaces. 131-134 - Anjan Shukla:
Consistent, independent, and distinct propositions. II. 135-136 - Paul Vincent Spade:
An alternative to Brian Skyrms' approach to the Liar. 137-146 - Brian Skyrms:
Definitions of semantical reference and self-reference. 147-148 - Richard E. Grandy:
On the relation between free description theories and standard quantification theory. 149-152 - Martin W. Bunder:
Some notes on: "A deduction theorem for restricted generality". 153-154 - William H. Cornish:
On Nachbin's characterization of a Boolean lattice. 155-157 - K. K. Hickin, Jacob Manuel Plotkin:
A patching lemma. 158-160
Volume 17, Number 2, April 1976
- Ross T. Brady:
Significance logics. 161-183 - Robert K. Meyer:
Negation disarmed. 184-190 - Robert L. Wilson:
On some modal logics related to the Ł-modal system. 191-206 - Scott K. Lehmann:
A first-order logic of knowledge and belief with identity. II. 207-221 - Jekeri Okee:
A species-algebraic interpretation of the intuitionistic propositional calculus. 222-232 - Charles C. Davis, Vaughn R. McKim:
Temporal modalities and the future. 233-238 - Cyril F. A. Hoormann:
A further examination of Saccheri's use of the "consequentia mirabilis". 239-247 - Ivo Thomas:
Axiom sets equivalent to syllogism and Peirce. 248 - William Frank:
A note on the adequacy of translations. 249-250 - Ladislav Beran:
Three identities for ortholattices. 251-252 - Boleslaw Sobocinski:
Pledger lemma and the modal system S3đeg. 253-256 - William J. Thomas:
Consistency of n-order logics. 257-262 - Kenneth A. Bowen:
An Herbrand theorem for prenex formulas of LJ. 263-266 - Jeremy George Peterson:
Shortest single axioms for the classical equivalential calculus. 267-271 - John A. Barker:
Presupposition and entailment. 272-278 - Berndard D. Katz, Aloysius P. Martinich:
The distribution of terms. 279-283 - Donald H. Pelletier:
A note on defining the Rudin-Keisler ordering of ultrafilters. 284-286 - William G. Lycan:
Eternal existence and necessary existence. 287-290 - Bruce Lercher:
Lambda-calculus terms that reduce to themselves. 291-292 - Laurence S. Gagnon:
NOR logic: a system of natural deduction. 293-294 - Robert L. Armstrong:
A question about incompleteness. 295-296 - G. N. Georgacarakos:
Semantics for S4.04, S4.4, and S4.3.2. 297-302 - Harry Gonshor:
Effective density types. 303-307 - Robert Cogan:
A criticism of Sommers' language tree. 308-310 - Boleslaw Sobocinski:
A short equational axiomatization of modular ortholattices. 311-316 - Boleslaw Sobocinski:
A short equational axiomatization of orthomodular lattices. 317-320
Volume 17, Number 3, July 1976
- James McLelland:
Epistemic logic with identifiers. 321-343 - Alex Blum:
A logic of belief. 344-348 - Robert L. Wilson:
Some remarks on metaphysics and the modal logics F* F. 349-360 - Olgierd Narbutt:
De quelques problèmes de la logique médiévale. 361-374 - Marilyn McCord Adams:
What does Ockham mean by 'supposition'? 375-391 - Jekeri Okee:
Completeness of the algebra of species. 392-394 - Howard C. Wasserman:
An analysis of the counterfactual conditional. 395-400 - Graham Priest:
Modality as a meta-concept. 401-414 - Norman M. Martin:
Direct analogues of the Sheffer stroke in m-valued logic. 415-420 - Ivo Thomas:
One dimension in PS and PSI. 421-423 - Stephen Croddy:
Russell on the meaning of descriptions. 424-428 - Jon C. Muzio:
A complete classification of three-place functors in two-valued logic. 429-437 - E. A. Nemesszeghy:
Note on an independence proof of Johansson. 438 - Hubert H. Schneider:
A deduction system for the full first-order predicate logic. 439-445 - John Lake:
Two notes on Ackermann's set theory. 446-448 - Robert Warren Button:
Monads for regular and normal spaces. 449-456 - Giorgio Germano:
An arithmetical reconstruction of the liar's antinomy using addition and multiplication. 457-461 - J. B. Beard:
The modalities of KT4nMG. 462-464 - John A. Paulos:
A model-theoretic semantics for modal logic. 465-468 - John Rybak, Janet Rybak:
Venn diagrams extended: map logic. 469-475 - Jordan Howard Sobel:
Alternative notations for Principia Mathematica description theory: possible modifications. 476-478 - Dolph Ulrich:
On a modal system of R. A. Bull's. 479-480
Volume 17, Number 4, October 1976
- Héctor-Neri Castañeda:
Leibniz's syllogistico-propositional calculus. 481-500 - Robert K. Meyer:
Metacompleteness. 501-516 - David Meredith:
A calculus of matrical descriptors. 517-525 - Jekeri Okee:
On the independence of the fundamental operations of the algebra of species. 526-530 - George Englebretsen:
The square of opposition. 531-541 - Bertram C. Bruce:
A logic for unknown outcomes. 542-550 - Léon Birnbaum:
Algèbre et logique tripolaire. 551-564 - Judith M. Harper, Jean E. Rubin:
Variations of Zorn's lemma, principles of cofinality, and Hausdorff's maximal principle. I. Set forms. 565-588 - Margaret Murphy Prullage:
A theory of restricted variables without existence assumptions. 589-612 - Howard C. Wasserman:
A note on evaluation mappings. 613-614 - Thomas A. Sudkamp:
A proof of Sobociński's conjecture concerning a certain set of lattice-theoretical formulas. 615-616 - Boleslaw Sobocinski:
The modular latticoids. 617-621 - Dale E. Lichtblau:
Prior and the Barcan formula. 622-624 - Boleslaw Sobocinski:
The axioms for latticoids and their associative extensions. 625-631 - D. Michael Miller, Jon C. Muzio:
A ternary universal decision element. 632-637 - Michael A. Gilbert:
A heuristic procedure for natural deduction derivations using reductio ad absurdum. 638-639 - Arnold vander Nat:
Errata: "Axiomatic, sequenzen-kalkul, and subordinate proof versions of S9". 640 - John R. Chidgey:
Errata: "A note on transitivity". 640 - Stephen L. Bloom, Roman Suszko:
Errata: "Investigations into the sentential calculus with identity". 640 - Henryk Hiz:
Errata: "A completeness proof for C-calculus". 640
![](https://dblp1.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.