default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 18
Volume 18, Number 1, January 1977
- James George Kowalski:
Leśniewski's ontology extended with the axiom of choice. 1-78 - Patric Cean Nolan:
A semantics model for imperatives. 79-84 - Steven E. Boër:
Logical truth and indeterminacy. 85-94 - G. N. Georgacarakos:
Abnormal worlds and the non-Lewis modal systems. 95-100 - Robert P. McArthur:
Three-valued free tense logic. 101-106 - Hugues Leblanc:
A strong completeness theorem for 3-valued logic. II. 107-116 - Jonathan P. Seldin:
The Q-consistency of F22. 117-127 - J. Michael Orenduff:
Are modal contexts referentially opaque? 128-132 - Daniel D. Merrill:
On De Morgan's argument. 133-139 - Gerald J. Massey:
Negation, material equivalence, and conditioned nonconjunction: completeness and duality. 140-144 - David W. Bennett:
A note on the completeness proof for natural deduction. 145-146 - Fred Coppotelli:
On two first order type theories for the theory of sets. 147-150 - Judith M. Harper, Jean E. Rubin:
Variations of Zorn's lemma, principles of cofinality, and Hausdorff's maximal principle. II. Class forms. 151-163 - A. J. Baker:
Classical logical relations. 164-168 - John L. Hickman:
Regressive order-types. 169-174 - Judy Green:
Next P admissible sets are of cofinality ω. 175-176 - Satoshi Miura, Shigeo Ohama:
A note on Thomason's representation of S5. 177-180 - Robert K. Meyer:
First degree formulas in Curry's LD. 181-191
Volume 18, Number 2, April 1977
- Otto Bird:
In memoriam: Ivo Thomas (1912-1976). 193-194 - Deirdre La Porte:
Bibliography of Ivo Thomas. 195-207 - Robert L. Wilson:
The modal predicate logics PF* F. 208-220 - Douglas Dunsmore Daye:
Metalogical incompatibilities in the formal description of Buddhist logic (Nyāya). 221-231 - Earline Jennifer Ashworth:
An early fifteenth century discussion of infinite sets. 232-234 - David Marshall:
Łukasiewicz, Leibniz and the arithmetization of the syllogism. 235-242 - Robert H. Cowen:
Generalizing König's infinity lemma. 243-247 - Stewart Shapiro:
Incomplete translations of complete logics. 248-250 - Kanzo Hino:
On Yablonskii theory concerning functional completeness of k-valued logic. 251-254 - Alan Rose:
Simplified formalizations of fragments of the propositional calculus. 255-261 - Paul J. Campbell:
An answer to Armstrong's question about incompleteness in Copi: "A question about incompleteness". 262-264 - Vladeta Vuckovic:
Recursive and recursively enumerable manifolds. I. 265-291 - Melvin Fitting:
A tableau system for propositional S5. 292-294 - Richard Guhl:
Two notes on recursively enumerable vector spaces. 295-298 - Judith L. Gersting:
Infinite series of regressive isols under addition. 299-304 - Charles E. Hughes
, Wilson E. Singletary:
The one-one equivalence of some general combinatorial decision problems. 305-309 - Robert H. Cowen:
Binary consistent choice on triples. 310-312 - John Loader:
Second order and higher order universal decision elements in m-valued logic. 313-317 - Yale N. Patt:
Independent necessary conditions for functional completeness in m-valued logic. 318-320
Volume 18, Number 3, July 1977
- J. M. Bell, Lloyd Humberstone:
Two systems of presupposition logic. 321-339 - Graham Priest:
A refoundation of modal logic. 340-354 - Robert L. Wilson:
A note on metaphysics and the foundations of mathematics. 355-362 - James W. van Evra:
A reassessment of George Boole's theory of logic. 363-377 - John Neil Martin:
An axiomatization of Herzberger's 2-dimensional presuppositional semantics. 378-382 - Vladeta Vuckovic:
Recursive and recursively enumerable manifolds. II. 383-405 - Robert Warren Button:
When do *continuous extensions exist? 406-408 - Rolf Schock:
A note on the axiom of choice and the continuum hypothesis. 409-414 - Peter A. Facione:
The entailment operator. 415-420 - Metodej K. Chytil:
Sémantique des formules logiques en forme d'équivalence n-aire (demi-modèles). 421-435 - Arnold R. Vobach:
The weak topology on logical calculi. 436-440 - Manfred E. Szabo:
The logic of closed categories. 441-457 - Henri J. Sarlet:
Hintikka's free logic is not free. 458 - Ivan Boh:
The "conditionatim"-clause: one of the problems of existential import in the history of logic. 459-466 - Robert V. Kohn:
Some Post-complete extensions of S2 and S3. 467-470 - Johannes Czermak:
A remark on Gentzen's calculus of sequents. 471-474 - Richard Butrick:
The numeral axioms. 475-476 - G. N. Georgacarakos:
Additional extensions of S4. 477-488 - Richard A. DeMillo:
Some applications of model theory to the metatheory of program schemata. 489-495 - Charles G. Werner:
Frequencies and beliefs. 496-498 - Thomas S. Weston:
The continuum hypothesis is independent of second-order ZF. 499-503 - G. N. Georgacarakos:
Semantics for S4.03. 504-506 - Bernhard Banaschewski:
On G. Spencer Brown's laws of form. 507-509 - Richard Butrick:
A deduction rule for VBTO( )ni=1. 510-512
Volume 18, Number 4, October 1977
- David Meredith:
In memoriam: Carew Arthur Meredith (1904-1976). 513-516 - Ralph L. Slaght:
Modal tree constructions. 517-526 - John L. Hickman:
Critical points of normal functions. I. 527-534 - Seth Catlin:
Pathologies in the ed-regressive sets of order 2. 535-544 - Thomas G. McLaughlin:
Degrees of unsolvability and strong forms of ΛR + ΛR ⊈ ΛR. 545-566 - Richard Milton Martin:
Some thomistic properties of primordiality. 567-582 - Klaus Mainzer:
Is the intuitionistic bar-induction a constructive principle? 583-588 - Piergiorgio Odifreddi:
A note on Suzuki's chain of hyperdegrees. 589-590 - Dasharath Singh:
On Ackermann's theory of sets. 591-595 - Lee C. Archie, B. G. Hurdle, William Stewart Thomblison:
A note on the truth-table for "if p then q". 596-598 - Gabriele Lolli:
On Ramsey's theorem and the axiom of choice. 599-601 - B. Davidson, Frank Cameron Jackson, Robert Pargetter:
Modal trees for T and S5. 602-606 - Barry Coburn, David Miller:
Two comments on Lemmon's Beginning logic. 607-610 - Spencer K. Wertz:
"Not both p and q, therefore if p then q" is a valid form of argument. 611-612 - Gary H. Merrill:
On an enduring non sequitur of Quine's. 613-615 - Luisa Iturrioz:
An axiom system for three-valued Łukasiewicz propositional calculus. 616-620 - E. H. Alves, Newton C. A. da Costa:
A semantical analysis of the calculi Cn. 621-630 - David F. Siemens:
Fitch-style rules for many modal logics. 631-636 - Robert W. Murungi:
Necessitas consequentis in a singleton possible world. 637-638 - Emily Michael:
A note on the roots on Peirce's division of logic into three branches. 639-640
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 2026-05-17 00:03 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:
