default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 19
Volume 19, Number 1, January 1978
- George C. Nelson:
Isomorphism types of the hyperarithmetic sets Ha. 1-19 - John L. Hickman:
Critical points of normal functions. II. 20-24 - Paul J. Welsh:
Primitivity in mereology. I. 25-62 - Jorgen B. Jensen, Peter F. Larsen, Edwin J. MacLellan, Peter K. Schotch:
A note on three-valued modal logic. 63-68 - James Palermo:
Apodictic truth: Husserl's eidetic reduction versus induction. 69-80 - John Robert Baker:
Essentialism and the modal semantics of J. Hintikka. 81-91 - Yvon Gauthier:
Foundational problems of number theory. 92-100 - G. N. Georgacarakos:
A modal system properly independent of both the Brouwerian system and S4. 101-114 - Charles Pinter:
A note on the decomposition of theories with respect to amalgamation, convexity, and related properties. 115-118 - Jeremy George Peterson:
An automatic theorem prover for substitution and detachment systems. 119-122 - Mitchell O. Locks:
Logical and probability analysis of systems. 123-136 - W. A. Verloren van Themaat:
Right-divisive groups. 137-140 - John A. Kalman:
A shortest single axiom for the classical equivalential calculus. 141-144 - Gary Iseminger:
Geach and the Lewis result. 145-146 - Xavier Caicedo Ferrer
:
A formal system for the non-theorems of the propositional calculus. 147-151 - Jan A. Bergstra:
Degrees of partial functions. 152-154 - Alexander Abian, Samuel Lamacchia:
On the consistency and independence of some set-theoretical axioms. 155-158 - Wolfgang Lenzen:
On some substitution instances of R1 and L1. 159-164 - Charles F. Kielkopf:
The intensionality of the predicate '_ is recursive'. 165-173 - Kosta Dosen:
A note on the law of identity and the converse Parry property. 174-176 - Steven E. Boër:
Attributive names. 177-185 - Terry A. McKee:
Forbidden subgraphs in terms of forbidden quantifiers. 186-188 - Alfred Horn:
Free S5 algebras. 189-191
Volume 19, Number 2, April 1978
- J. C. E. Dekker:
Projective bigraphs with recursive operations. 193-199 - Roderic A. Girle:
Logics for knowledge, possibility, and existence. 200-214 - Bruce I. Rose:
Model theory of alternative rings. 215-243 - John L. Hickman:
An independence result concerning infinite products of alephs. 244-248 - Wolfgang Lenzen:
A rare accident. 249-250 - Czeslaw Lejewski:
A note concerning the notion of mereological class. 251-263 - Mitchell O. Locks:
Minimalization of Boolean polynomials, truth functions, and lattices. 264-270 - G. N. Georgacarakos:
A new family of modal systems. 271-281 - Ronald E. Nusenoff:
The closing passage of Frege's "Über Sinn und Bedeutung". 282-284 - Robert C. Flagg:
On the independence of the Bigos-Kalmár axioms for sentential calculus. 285-288 - Nicholas J. DeLillo:
A note on Turing machine regularity and primitive recursion. 289-294 - Ignacio Angelelli:
Analytica priora I, 38 and reduplication. 295-296 - Nicholas Griffin:
Supervaluations and Tarski. 297-298 - W. D. Hart, Colin McGinn:
On propositions. 299-306 - V. Frederick Rickey:
On creative definitions in first order functional calculi. 307-309 - Demetrius J. Hadgopoulos:
The middle term. 310-314 - Boleslaw Sobocinski:
Awkward axiom-systems. 315-320
Volume 19, Number 3, July 1978
- Erik C. W. Krabbe:
The adequacy of material dialogue-games. 321-330 - John T. Kearns:
Three substitution-instance interpretations. 331-354 - Paul J. Welsh:
Primitivity in mereology. II. 355-385 - John L. Hickman:
Doubly transitive sets. 386-394 - Allan M. Hart, Herbert E. Hendry:
Some observations on a method of McKinsey. 395-396 - Mary Sirridge:
Buridan: "every proposition is false" is false. 397-404 - Luis E. Sanchis:
Hyperenumeration reducibility. 405-415 - Benjamin S. Hawkins:
On certain incapacities claimed for logicians. 416-418 - Jon C. Muzio:
A note concerning a sole sufficient operator. 419-420 - Jürgen Schmidt:
Binomial pairs, semi-Brouwerian and Brouwerian semilattices. 421-434 - John Grant:
Classifications for inconsistent theories. 435-444 - Garrel Pottinger:
Proofs of the normalization and Church-Rosser theorems for the typed λ-calculus. 445-451 - Alexander Abian:
Passages between finite and infinite. 452-456 - Boleslaw Sobocinski:
Note about Łukasiewicz's theorem concerning the system of axioms of the implicational propositional calculus. 457-460 - Dolph Ulrich:
Semantics for S4.1.2. 461-464 - Wolfgang Lenzen:
S4.1.4=S4.1.2 and S4.021=S4.04. 465-466 - Boleslaw Sobocinski:
A new axiomatization of the mixed associative Newman algebras. 467-474 - John Williamson:
An ambiguity in modal logic. 475-485 - Marilyn Milberger:
The minimal modal logic: a cautionary tale about primitives and definitions. 486-488 - John Staples:
Truth in constructive metamathematics. 489-494 - Steven Garavaglia:
Relative strength of Malitz quantifiers. 495-503 - Thomas A. Sudkamp:
Self-conjugate functions on Boolean algebras. 504-512
Volume 19, Number 4, October 1978
- William J. Collins:
Provably recursive real numbers. 513-522 - Tamás Gergely, Konstantin Vershinin:
Model theoretical investigation of theorem proving methods. 523-542 - Leo Simons:
More logics without tautologies. 543-557 - Tobias Chapman:
A modal logic with temporal variables. 558-578 - Paul Vincent Spade:
John Buridan on the liar: a study and reconstruction. 579-590 - Charles D. Brown:
The ontological theorem. 591-592 - John L. Hickman:
The ideal of orderable subsets of a set. 593-598 - Earline Jennifer Ashworth:
Multiple quantification and the use of special quantifiers in early sixteenth century logic. 599-613 - George Englebretsen:
Aristotle on the subject of predication. 614-616 - Allen Hazen:
The eliminability of the actuality operator in propositional modal logic. 617-622 - George F. Schumm:
Putting K in its place. 623-628 - Howard C. Wasserman:
A second-order axiomatic theory of strings. 629-633 - Donald Nute:
An incompleteness theorem for conditional logic. 634-636 - Thomas A. Sudkamp:
An additional remark on self-conjugate functions of Boolean algebras. 637-638 - Anna Silverstein:
A generalization of combinatorial operators. 639-645 - Ermanno Bencivenga:
A semantics for a weak free logic. 646-652 - William H. Friedman:
Uncertainties over distribution dispelled. 653-662 - John Robert Baker:
Some remarks on Quine's arguments against modal logic. 663-673 - R. Beazer:
Axioms for generalized Newman algebras. 674-678 - Robert Warren Button:
A note on the Q-topology. 679-686 - Gisèle Fischer Servi:
The finite model property for MIPQ and some consequences. 687-692 - Northrup Fowler III:
Effective inner product spaces. 693-701 - John L. Hickman:
Commutativity of generalized ordinals. 702-704
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 2025-04-02 00: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:
