Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 20
Volume 20, Number 1, January 1979
- Leon Harkleroad:
Recursive equivalence types on recursive manifolds. 1-31 - Donald Nute:
Extensional equivalence of simple and general utilitarian principles. 32-36 - André Chauvin:
Theory of objects and set theory: introduction and semantics. 37-54 - Forbes D. Lewis:
On unsolvability in subrecursive classes of predicates. 55-67 - Kent Bendall:
Negation as a sign of negative judgment. 68-76 - Scott K. Lehmann:
A general propositional logic of conditionals. 77-83 - Frederick Michael, Emily Michael:
Peirce on the nature of logic. 84-88 - David Meredith:
Axiomatics for implication. 89-91 - Demetrius J. Hadgopoulos:
The principle of the division into four figures in traditional logic. 92-94 - William J. Thomas:
A simple generalization of Turing computability. 95-102 - Richard Bosley:
Modus tollens. 103-111 - Charles H. Lambros:
A shortened proof of Sobociński's theorem concerning a restricted rule of substitution in the field of propositional calculi. 112-114 - Peter Swiggart:
Domain restrictions in standard deductive logic. 115-129 - Thomas G. Nedzynski:
Quantification, domains of discourse, and existence. 130-140 - Francisco J. Varela:
The extended calculus of indications interpreted as a three-valued logic. 141-146 - James R. Bode:
The possibility of a conditional logic. 147-154 - Philip L. Peterson:
On the logic of "few", "many", and "most". 155-179 - John P. Cleave:
The axiomatisation of theories of material necessity. 180-190 - Kwame Gyekye:
Aristotle on predication: an analysis of Anal. Post. 83a. 191-195 - John L. Hickman:
Semi-monotone series of ordinals. 196-200 - Ian Mueller:
The completeness of Stoic propositional logic. 201-215 - John Loader:
The binary representation of m-valued logic with applications to universal decision elements. 216-226 - William K. Goosens:
Alternative axiomatizations of elementary probability theory. 227-239
Volume 20, Number 2, April 1979
- Barry E. Jacobs:
α-naming and α-speedup theorems. 241-261 - Robert B. Brandom:
A binary Sheffer operator which does the work of quantifiers and sentential connectives. 262-264 - Gregory Mellema:
An alternative semantics for knowledge. 265-278 - William G. Lycan:
Does quotation sometimes permit substitution? 279-280 - Kenneth G. Lucey:
The ancestral relation without classes. 281-284 - J. David Wald:
Geach on atomicity and singular propositions. 285-294 - Frederick A. Johnson:
Copi's method of deduction. 295-300 - James F. Zartman:
Another way of diagramming switching circuits. 301-308 - Sitansu S. Chakravarti:
A note on Kripke's distinction between rigid designators and nonrigid designators. 309-313 - Jon C. Muzio:
Classes of universal decision elements using negative substitutions. 314-320 - Raymond D. Gumb:
An extended joint consistency theorem for free logic with equality. 321-335 - Thomas Schwartz:
Necessary truth as analyticity, and the eliminability of monadic de re formulas. 336-340 - B. L. Bunch:
Presupposition: an alternative approach. 341-354 - Carl E. Bredlau:
Admissible sets and recursive equivalence types. 355-365 - Michael Byrd:
A formal interpretation of Łukasiewicz' logics. 366-368 - J. Michael Dunn:
R-mingle and beneath. Extensions of the Routley-Meyer semantics for R. 369-376 - Jordan Howard Sobel:
Sentential notations: unique decomposition. 377-382 - Robert J. Farrell:
Material implication, confirmation, and counterfactuals. 383-394 - Robert A. Herrmann:
Point monads and P-closed spaces. 395-400 - Charles G. Morgan:
Local and global operators and many-valued modal logics. 401-411 - Lee C. Archie:
A simple defense of material implication. 412-414 - John Lake:
The approaches to set theory. 415-437 - M. D. Gladstone:
The decidability of one-variable propositional calculi. 438-450 - John A. Paulos:
A model-theoretic account of confirmation. 451-457 - Stanley J. Krolikoski:
Łukasiewicz's twin possibility functors. 458-460 - Stanley J. Krolikoski:
A deduction theorem for rejection theses in Łukasiewicz's system of modal logic. 461-464
Volume 20, Number 3, July 1979
- Jack C. Boudreaux:
Defining general structures. 465-488 - Storrs McCall:
The strong future tense. 489-504 - Nino B. Cocchiarella:
The theory of homogeneous simple types as a second-order logic. 505-524 - Anton Dumitriu:
Necessary and contingent deduction. 525-534 - Jill Humphries:
Gödel's proof and the liar paradox. 535-544 - Stanley J. Krolikoski:
A second deduction theorem for rejection theses in Łukasiewicz's system of modal logic. 545-548 - Douglas Dunsmore Daye:
Metalogical cliches (proto-variables) and their restricted substitution in sixth century Buddhist logic. 549-558 - Earl McLane:
On the possibility of epistemic logic. 559-574 - Albert M. Sweet:
Intended model theory. 575-592 - John Williamson:
S5 without modal axioms. 593-594 - Philip Hugly, Charles Sayward:
A semantical account of the vicious circle principle. 595-598 - Adrian Larner:
A matrix decision procedure for three modal logics. 599-602 - Martin W. Bunder:
On the equivalence of systems of rules and systems of axioms in illative combinatory logic. 603-608 - Martin W. Bunder:
Scott's models and illative combinatory logic. 609-612 - Martin W. Bunder:
Alternative forms of propositional calculus for a given deduction theorem. 613-619 - Martin W. Bunder:
Generalized restricted generality. 620-624 - O. A. Robinson:
A modal natural deduction system for S4. 625-627 - Martin W. Bunder:
Λ-elimination in illative combinatory logic. 628-630 - Arnold vander Nat:
Beyond nonnormal possible worlds. 631-635 - Emily Michael:
A note on Peirce on Boole's algebra of logic. 636-638 - Michael E. Levin:
A note on p=mv. 639-646 - Michael J. Duffy:
Modal interpretations of three-valued logics. I. 647-657 - Michael J. Duffy:
Modal interpretations of three-valued logics. II. 658-673 - J. Jay Zeman:
Two basic pure-implicational systems. 674-684 - J. Jay Zeman:
Normal implications, bounded posets, and the existence of meets. 685-688 - Kwasi Wiredu:
On the necessity of S4. 689-694 - Martin W. Bunder:
Deduction theorems in significance logics. 695-700 - Martin W. Bunder:
A more relevant relevance logic. 701-704
Volume 20, Number 4, October 1979
- Jim D. Mackenzie:
How to stop talking to tortoises. 705-717 - Charles G. Morgan:
Note on a strong liberated modal logic and its relevance to possible world skepticism. 718-722 - J. Jay Zeman:
Quantum logic with implication. 723-728 - Nicholas J. DeLillo:
Models of an extension of the theory ORD. 729-734 - Charles F. Kielkopf:
The specific reading of A-propositions in a defense of William of Sherwood. 735-740 - Alfred J. Freddoso:
O-propositions and Ockham's theory of supposition. 741-750 - Paul Thom
:
Aristotle's syllogistic. 751-759 - Charles H. Lambros:
A generalized theorem concerning a restricted rule of substitution in the field of propositional calculi. 760-764 - John Riser:
A simplification procedure for alternational normal schemata. 765-767 - Douglas Walton, John Hayden Woods:
Circular demonstration and von Wright-Geach entailment. 768-772 - Sitansu S. Chakravarti:
Kripke on contingent a priori truths. 773-776 - John Corcoran, Stanley Ziewacz:
Identity logics. 777-784 - Thomas A. Sudkamp:
On full cylindric set algebras. 785-793 - Emily Michael:
Some considerations in medieval tense logic. 794-800 - Emily Michael:
An examination of the influence of Boole's algebra on Peirce's developments in logic. 801-806 - James Andrew Fulton:
An intensional logic of predicates and predicate modifiers without modal operators. 807-834 - Hugues Leblanc:
Generalization in first-order logic. 835-857 - James W. Garson:
The substitution interpretation and the expressive power of intensional logics. 858-864 - Boleslaw Sobocinski:
Equational two axiom bases for Boolean algebras and some other lattice theories. 865-875 - Martin W. Bunder:
Variable binding term operators in λ-calculus. 876-878 - Richard Routley:
Repairing proofs of Arrow's general impossibility theorem and enlarging the scope of the theorem. 879-890 - Jean-François Pabion:
Beth's tableaux for relevant logic. 891-899 - Chris Brink:
The algebra of relatives. 900-908 - Chris Brink:
Two axiom systems for relation algebras. 909-914 - Jean Porte:
The Ω-system and the Ł-system of modal logic. 915-920 - Hin Chung Hung:
Entailment and proof. 921-933 - Wolfgang Leopold Gombocz:
Leśniewski und Mally. 934-946
a service of 
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-04-25 05:28 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:
