default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 16
Volume 16, Number 1, January 1975
- Melvin Fitting:
A modal logic ε-calculus. 1-16 - Florencio G. Asenjo, J. Tamburino:
Logic of antinomies. 17-44 - Thomas W. Scharle:
Axiomatization of fragments of S5. 45-70 - Bohuslav T. Peklo:
Erweiterte deontische Logik (EDL). Ein Versuch um weitere formale Ausbildung der deontischen Modallogik. 71-80 - Boleslaw Sobocinski:
A new postulate-system for modular lattices. 81-85 - T. C. Wesselkamper:
A sole sufficient operator. 86-88 - Will Harris:
A formal metasystem for Frege's semantics. 89-101 - James B. Davant:
Wittgenstein on Russell's theory of types. 102-108 - Benjamin S. Hawkins:
A compendium of C. S. Peirce's 1866-1885 work. 109-115 - Tobias Chapman:
Prior's criticism of the Barcan formula. 116-118 - Albert M. Sweet:
The pragmatics of first order languages. II. 119-131 - John Grant:
Corrigendum to my paper: "Recognizable algebras of formulas". 132 - Daniel Gogol:
Formulas with two generalized quantifiers. 133-136 - Saburo Tamura:
Two identities for lattices, distributive lattices and modular lattices with a constant. 137-140 - Boleslaw Sobocinski:
A short postulate-system for ortholattices. 141-144
Volume 16, Number 2, April 1975
- Charles C. Davis:
An investigation concerning the Hilbert-Sierpiński logical form of the axiom of choice. 145-184 - Leslie Stevenson:
A formal theory of sortal quantification. 185-207 - Charles E. Hughes
:
The general decision problem for Markov algorithms with axiom. 208-216 - Nicholas J. Moutafakis:
A new look at erotetic communication. 217-228 - Kit Fine:
Normal forms in modal logic. 229-237 - Thomas H. Payne:
Concrete computability. 238-244 - Lyman C. D. Kulathungam:
Reductio-ad-absurdum: a family feud between Copi and Scherer. 245-254 - E. William Chapin:
Set-valued set theory. II. 255-267 - Ivo Thomas:
Simple implicational development. 268 - Robert E. Clay:
Corrections for my paper: "A model for Leśniewski's mereology in functions". 269-270 - K. E. Pledger:
Some extensions of S3. 271-272 - V. Frederick Rickey:
Creative definitions in propositional calculi. 273-294 - Peter Jablon:
A generalised propositional calculus. 295-297 - George Englebretsen:
Sommers' proof that something exists. 298-300 - Robert J. Farrell:
A note on the truth-table for $p \supset q$. 301-304
Volume 16, Number 3, July 1975
- L. Herman, E. L. Marsden, Robert Piziak:
Implication connectives in orthomodular lattices. 305-328 - Barbara Jeffcott:
Decomposable orthologics. 329-338 - Roderic A. Girle:
S1 ≠ S0.9. 339-344 - Robert E. Clay:
Single axioms for atomistic and atomless mereology. 345-351 - Edward A. Hacker:
The octagon of opposition. 352-353 - Thomas H. Payne:
Computability on finite linear configurations. 354-356 - Richard Guhl:
A theorem on recursively enumerable vector spaces. 357-362 - Paul Horwich:
A formalization of "nothing". 363-368 - Emily Michael:
Peirce's paradoxical solution to the Liar's Paradox. 369-374 - Robert H. Cowen:
A characterization of logical consequence in quantification theory. 375-377 - Ivo Thomas:
Shorter development of an axiom. 378 - Northrup Fowler III:
Sums of α-spaces. 379-388 - R. Beazer:
Compactness in abstractions of Post algebras. 389-396 - S. Michael Webb:
Nonstandard probability. 397-401 - George F. Schumm:
A Henkin-style completeness proof for the pure implicational calculus. 402-404 - Robert Goldblatt:
Solution to a completeness problem of Lemmon and Scott. 405-408 - Judith Gersting:
Universal pairs of regressive isols. 409-414 - Judy Green:
A note on P-admissible sets with urelements. 415-417 - John E. Cooley:
Theories of types and ordered pairs. 418-420 - W. A. Verloren van Themaat:
The confiramtion of sentences by instances with different truth-values of its atoms. 421-424 - Rainer Güting:
Subtractive abelian groups. 425-428 - Boleslaw Sobocinski:
Concerning the postulate-systems of subtractive abelian groups. 429-444 - Max J. Cresswell:
Note of the use of sequences in Logics and languages (Methuen, London, 1973). 445-448
Volume 16, Number 4, October 1975
- Jonathan P. Seldin:
Arithmetic as a study of formal systems. 449-464 - James Wilkinson Miller:
The logic of the synthetic a priori. 465-475 - Donald Nute:
Counterfactuals. 476-482 - Richard L. Purtill:
Paradox-free deontic logics. 483-490 - Herbert E. Hendry:
Another system of natural deduction. 491-495 - John Robert Baker:
On two immediate inferences by limitation. 496-500 - David Marans:
A note on reflexiveness. 501-506 - Ivo Thomas:
Nice implicational axioms. 507-508 - George F. Schumm:
Remark on a logic of preference. 509-510 - Charles C. Pinter:
Algebraic logic with generalized quantifiers. 511-516 - Edwin M. Curley:
The development of Lewis' theory of strict implication. 517-527 - Robert P. McArthur:
S5 with the CBF. 528-530 - Peter A. Facione:
The logic of intending and believing. 531-535 - George Englebretsen:
Rescher on 'e!'. 536-538 - A. P. Rao:
A note on universally free description theory. 539-542 - Nelson Pole:
A deductive argument with a specific premise and a general conclusion. 543-544 - Jorge J. E. Gracia:
Propositions as premises of syllogisms in medieval logic. 545-547 - Constantin Milici:
Note on the C-calculus. 548 - Gerald J. Massey:
Concerning an alleged Sheffer function. 549-550 - T. C. Wesselkamper:
A correction to my paper "A sole sufficient operator". 551 - Jekeri Okee:
A semantical proof of the undecidability of the monadic intuitionistic predicate calculus of the first order. 552-554 - Alexander Abian:
On the use of more than two-element Boolean valued models. 555-564 - R. B. Redmon:
Identity. 565-577 - Martin M. Zuckerman:
Arithmetic operations on ordinals. 578-582 - Richard A. DeMillo:
Non-definability of certain semantic properties of programs. 583-590 - Jorge Baralt-Torrijos, Lucio Chiaraviglio, William I. Grosky:
The programmatic semantics of binary predicator calculi. 591-596 - Paul Vincent Spade:
On a conservative attitude toward some naive semantic principles. 597-602 - Charles Turek:
Lehmann on the rules of the invalid syllogisms. 603-604 - Robert V. Kohn:
Generalization of a result of Halldén. 605-606 - Yudit Rosenberg:
In defense of Copi. 607 - Charles C. Davis:
Erratum: "An investigation concerning the Hilbert-Sierpiński logical form of the axiom of choice". 608 - Newton C. A. da Costa:
Erratum: "On the theory of inconsistent formal systems". 608 - Robert Goldblatt:
Erratum: "Concerning the proper axiom for S4.04 and some related systems". 608
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-01-21 20:17 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:
