default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre 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
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-10-31 20:16 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:
