![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Notre Dame Journal of Formal Logic, Volume 21
Volume 21, Number 1, January 1980
- John Carson Simms:
A realist semantics for Cocchiarella's T*. 1-32 - Hubert H. Schneider:
Substitutions for predicate variables and functional variables. 33-44 - Philip Hugly:
Reflections on an extensionality theorem. 45-50 - Peter E. Lauer:
Towards an axiomatization of value theory. 51-77 - John Bryant:
The logic of relative modality and the paradoxes of deontic logic. 78-88 - Patrice Bailhache:
Several possible systems of deontic weak and strong norms. 89-100 - George Englebretsen:
On propositional form. 101-110 - David W. Bennett:
Junctions. 111-118 - M. Richard Diaz:
Deductive completeness and conditionalization in systems of weak implication. 119-130 - Jan A. Bergstra:
Discourse between processes. 131-134 - Terry A. McKee:
Generalized equivalence and the foundations of quasigroups. 135-140 - Terry A. McKee:
Generalized equivalence and the phraseology of configuration theorems. 141-147 - D. Michael Miller, Jon C. Muzio:
A class of two-place three-valued unary generators. 148-154 - John A. Paulos:
A model-theoretic explication of the theses of Kuhn and Whorf. 155-165 - William H. Friedman:
Calculemus. 166-174 - Kathleen Johnson Wu:
On a tableau rule for identity. 175-178 - Charles Silver:
A simple strong completeness proof for sentential logic. 179-181 - David E. Cooper:
Referential occurrence. 182-188 - Robert W. Murungi:
Lewis' postulate of existence disarmed. 189-191
Volume 21, Number 2, April 1980
- Leonard Goddard:
Significance, necessity, and verification. 193-215 - Craig Kalicki:
Infinitary propositional intuitionistic logic. 216-228 - Joseph A. Novak:
Some recent work on the assertoric syllogistic. 229-242 - Stanley J. Krolikoski:
On substitution for variable one-place functors. 243-250 - Jack C. Boudreaux:
Frames versus minimally restricted structures. 251-262 - Ross T. Brady:
Two remarks on: The logic of significance and context. Vol. I [Halsted, New York, 1973]. 263-272 - Bruce M. Horowitz:
Constructively nonpartial recursive functions. 273-276 - Thomas H. Payne:
General computability. 277-292 - Rolf Schock:
A complete system of indexical logic. 293-315 - Laurence S. Gagnon:
Three theories of dialectic. 316-318 - Ross T. Brady:
Significance range theory. 319-345 - Jean Porte:
Simplifying the axioms of the predicate calculus. 346-350 - Rolf Schock:
A natural deduction system of indexical logic. 351-364 - Léon Birnbaum:
n-polar logic of classes. 365-379 - Martin W. Bunder:
Significance and illative combinatory logics. 380-384 - Ross T. Brady:
A theory of classes and individuals based on a 3-valued significance logic. 385-414 - John Evenden:
Generalised logic. II. 415-428 - Wlodzimierz Rabinowicz:
Some remarks about the family K of modal systems. 429-448 - P. Tosi:
Normal derivability and first-order arithmetic. 449-466 - Joseph Almog:
Semantical considerations on modal counterfactual logic with corollaries on decidability, completeness, and consistency questions. 467-479
Volume 21, Number 3, July 1980
- Nino B. Cocchiarella:
Nominalism and conceptualism as predicative second-order theories of predication. 481-500 - Charles E. Hughes
, David W. Straight:
Word problems for bidirectional, single-premise Post systems. 501-508 - Diderik Batens:
A completeness-proof method for extensions of the implicational fragment of the propositional calculus. 509-517 - Richard Statman:
Solution to a problem of Chang and Lee. 518-520 - Michael Katz:
Inexact geometry. 521-535 - Herbert E. Hendry:
Functional completeness and non-Łukasiewiczian truth functions. 536-538 - Robert K. Meyer:
Career induction for quantifiers. 539-548 - Robert J. Cosgrove:
A three-valued free logic for presuppositional languages. 549-571 - Ermanno Bencivenga:
A weak free logic with the existence sign. 572-576 - George Edward Hughes:
Equivalence relations and S5. 577-584 - Robert J. Titiev:
On self-sustenance in systems of epistemic logic. 585-590 - Michael Byrd:
Eventual permanence. 591-601 - George Englebretsen:
Noncategorical syllogisms in the Analytics. 602-608
Volume 21, Number 4, October 1980
- John Corcoran, Susan Wood:
Boole's criteria for validity and invalidity. 609-638 - Charles B. Daniels, James B. Freeman:
An analysis of the subjunctive conditional. 639-655 - Russell W. Myers:
Complexity of model-theoretic notions. 656-658 - William H. Hanson:
First-degree entailments and information. 659-671 - Jean Porte:
Congruences in Lemmon's S0.5. 672-678 - Czeslaw Lejewski:
Postscript: "A note concerning the notion of mereological class". 679-682 - K. E. Pledger:
Location of some modal systems. 683-684 - Mario Coppo, Mariangiola Dezani-Ciancaglini:
An extension of the basic functionality theory for the λ-calculus. 685-693 - Chris Mortensen:
Every quotient algebra for C1 is trivial. 694-700 - Aris Noah:
Predicate-functors and the limits of decidability in logic. 701-707 - Harry Gonshor:
Number theory for the ordinals with a new definition for multiplication. 708-710 - Eugenio Giovanni Omodeo:
Three existence principles in a modal calculus without descriptions contained in A. Bressan's MCν. 711-727 - Jonathan P. Seldin:
A second corrigendum to my paper: "Note on definitional reductions". 728
![](https://dblp.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.