Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/ndjfl/ndjfl20.bht:"
download as .bib file
@article{DBLP:journals/ndjfl/000279,
author = {David Meredith},
title = {Axiomatics for implication},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {1},
pages = {89--91},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882405},
doi = {10.1305/NDJFL/1093882405},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/000279.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Archie79,
author = {Lee C. Archie},
title = {A simple defense of material implication},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {412--414},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882549},
doi = {10.1305/NDJFL/1093882549},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Archie79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bendall79,
author = {Kent Bendall},
title = {Negation as a sign of negative judgment},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {1},
pages = {68--76},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882402},
doi = {10.1305/NDJFL/1093882402},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bendall79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bode79,
author = {James R. Bode},
title = {The possibility of a conditional logic},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {1},
pages = {147--154},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882413},
doi = {10.1305/NDJFL/1093882413},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bode79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bosley79,
author = {Richard Bosley},
title = {Modus tollens},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {1},
pages = {103--111},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882408},
doi = {10.1305/NDJFL/1093882408},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bosley79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Boudreaux79,
author = {Jack C. Boudreaux},
title = {Defining general structures},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {465--488},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882654},
doi = {10.1305/NDJFL/1093882654},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Boudreaux79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Brandom79,
author = {Robert B. Brandom},
title = {A binary Sheffer operator which does the work of quantifiers and sentential
connectives},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {262--264},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882530},
doi = {10.1305/NDJFL/1093882530},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Brandom79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bredlau79,
author = {Carl E. Bredlau},
title = {Admissible sets and recursive equivalence types},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {355--365},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882542},
doi = {10.1305/NDJFL/1093882542},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bredlau79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Brink79,
author = {Chris Brink},
title = {The algebra of relatives},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {900--908},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882812},
doi = {10.1305/NDJFL/1093882812},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Brink79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Brink79a,
author = {Chris Brink},
title = {Two axiom systems for relation algebras},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {909--914},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882813},
doi = {10.1305/NDJFL/1093882813},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Brink79a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bunch79,
author = {B. L. Bunch},
title = {Presupposition: an alternative approach},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {341--354},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882541},
doi = {10.1305/NDJFL/1093882541},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bunch79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bunder79,
author = {Martin W. Bunder},
title = {On the equivalence of systems of rules and systems of axioms in illative
combinatory logic},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {603--608},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882666},
doi = {10.1305/NDJFL/1093882666},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bunder79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bunder79a,
author = {Martin W. Bunder},
title = {Scott's models and illative combinatory logic},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {609--612},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882667},
doi = {10.1305/NDJFL/1093882667},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bunder79a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bunder79b,
author = {Martin W. Bunder},
title = {Alternative forms of propositional calculus for a given deduction
theorem},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {613--619},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882668},
doi = {10.1305/NDJFL/1093882668},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bunder79b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bunder79c,
author = {Martin W. Bunder},
title = {Generalized restricted generality},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {620--624},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882669},
doi = {10.1305/NDJFL/1093882669},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bunder79c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bunder79d,
author = {Martin W. Bunder},
title = {{\(\Lambda\)}-elimination in illative combinatory logic},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {628--630},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882671},
doi = {10.1305/NDJFL/1093882671},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bunder79d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bunder79e,
author = {Martin W. Bunder},
title = {Deduction theorems in significance logics},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {695--700},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882680},
doi = {10.1305/NDJFL/1093882680},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bunder79e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bunder79f,
author = {Martin W. Bunder},
title = {A more relevant relevance logic},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {701--704},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882681},
doi = {10.1305/NDJFL/1093882681},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bunder79f.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bunder79g,
author = {Martin W. Bunder},
title = {Variable binding term operators in {\(\lambda\)}-calculus},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {876--878},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882809},
doi = {10.1305/NDJFL/1093882809},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bunder79g.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Byrd79,
author = {Michael Byrd},
title = {A formal interpretation of {\L}ukasiewicz' logics},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {366--368},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882543},
doi = {10.1305/NDJFL/1093882543},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Byrd79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Chakravarti79,
author = {Sitansu S. Chakravarti},
title = {A note on Kripke's distinction between rigid designators and nonrigid
designators},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {309--313},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882537},
doi = {10.1305/NDJFL/1093882537},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Chakravarti79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Chakravarti79a,
author = {Sitansu S. Chakravarti},
title = {Kripke on contingent a priori truths},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {773--776},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882800},
doi = {10.1305/NDJFL/1093882800},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Chakravarti79a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Chauvin79,
author = {Andr{\'{e}} Chauvin},
title = {Theory of objects and set theory: introduction and semantics},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {1},
pages = {37--54},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882400},
doi = {10.1305/NDJFL/1093882400},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Chauvin79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cleave79,
author = {John P. Cleave},
title = {The axiomatisation of theories of material necessity},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {1},
pages = {180--190},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882415},
doi = {10.1305/NDJFL/1093882415},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cleave79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cocchiarella79,
author = {Nino B. Cocchiarella},
title = {The theory of homogeneous simple types as a second-order logic},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {505--524},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882656},
doi = {10.1305/NDJFL/1093882656},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cocchiarella79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/CorcoranZ79,
author = {John Corcoran and
Stanley Ziewacz},
title = {Identity logics},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {777--784},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882801},
doi = {10.1305/NDJFL/1093882801},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/CorcoranZ79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Daye79,
author = {Douglas Dunsmore Daye},
title = {Metalogical cliches (proto-variables) and their restricted substitution
in sixth century Buddhist logic},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {549--558},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882660},
doi = {10.1305/NDJFL/1093882660},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Daye79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DeLillo79,
author = {Nicholas J. DeLillo},
title = {Models of an extension of the theory {ORD}},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {729--734},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882793},
doi = {10.1305/NDJFL/1093882793},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/DeLillo79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Duffy79,
author = {Michael J. Duffy},
title = {Modal interpretations of three-valued logics. {I}},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {647--657},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882675},
doi = {10.1305/NDJFL/1093882675},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Duffy79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Duffy79a,
author = {Michael J. Duffy},
title = {Modal interpretations of three-valued logics. {II}},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {658--673},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882676},
doi = {10.1305/NDJFL/1093882676},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Duffy79a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Dumitriu79,
author = {Anton Dumitriu},
title = {Necessary and contingent deduction},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {525--534},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882657},
doi = {10.1305/NDJFL/1093882657},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Dumitriu79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Dunn79,
author = {J. Michael Dunn},
title = {R-mingle and beneath. Extensions of the Routley-Meyer semantics for
{R}},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {369--376},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882544},
doi = {10.1305/NDJFL/1093882544},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Dunn79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Farrell79,
author = {Robert J. Farrell},
title = {Material implication, confirmation, and counterfactuals},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {383--394},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882546},
doi = {10.1305/NDJFL/1093882546},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Farrell79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Freddoso79,
author = {Alfred J. Freddoso},
title = {O-propositions and Ockham's theory of supposition},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {741--750},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882795},
doi = {10.1305/NDJFL/1093882795},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Freddoso79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Fulton79,
author = {James Andrew Fulton},
title = {An intensional logic of predicates and predicate modifiers without
modal operators},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {807--834},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882805},
doi = {10.1305/NDJFL/1093882805},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Fulton79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Garson79,
author = {James W. Garson},
title = {The substitution interpretation and the expressive power of intensional
logics},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {858--864},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882807},
doi = {10.1305/NDJFL/1093882807},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Garson79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gladstone79,
author = {M. D. Gladstone},
title = {The decidability of one-variable propositional calculi},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {438--450},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882551},
doi = {10.1305/NDJFL/1093882551},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Gladstone79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gombocz79,
author = {Wolfgang Leopold Gombocz},
title = {Le{\'{s}}niewski und Mally},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {934--946},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882816},
doi = {10.1305/NDJFL/1093882816},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Gombocz79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Goosens79,
author = {William K. Goosens},
title = {Alternative axiomatizations of elementary probability theory},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {1},
pages = {227--239},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882420},
doi = {10.1305/NDJFL/1093882420},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Goosens79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gumb79,
author = {Raymond D. Gumb},
title = {An extended joint consistency theorem for free logic with equality},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {321--335},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882539},
doi = {10.1305/NDJFL/1093882539},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Gumb79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gyekye79,
author = {Kwame Gyekye},
title = {Aristotle on predication: an analysis of \emph{Anal. Post. 83a}},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {1},
pages = {191--195},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882416},
doi = {10.1305/NDJFL/1093882416},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Gyekye79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hadgopoulos79,
author = {Demetrius J. Hadgopoulos},
title = {The principle of the division into four figures in traditional logic},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {1},
pages = {92--94},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882406},
doi = {10.1305/NDJFL/1093882406},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hadgopoulos79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Harkleroad79,
author = {Leon Harkleroad},
title = {Recursive equivalence types on recursive manifolds},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {1},
pages = {1--31},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882398},
doi = {10.1305/NDJFL/1093882398},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Harkleroad79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Herrmann79,
author = {Robert A. Herrmann},
title = {Point monads and P-closed spaces},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {395--400},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882547},
doi = {10.1305/NDJFL/1093882547},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Herrmann79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hickman79,
author = {John L. Hickman},
title = {Semi-monotone series of ordinals},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {1},
pages = {196--200},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882417},
doi = {10.1305/NDJFL/1093882417},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hickman79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/HuglyS79,
author = {Philip Hugly and
Charles Sayward},
title = {A semantical account of the vicious circle principle},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {595--598},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882664},
doi = {10.1305/NDJFL/1093882664},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/HuglyS79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Humphries79,
author = {Jill Humphries},
title = {G{\"{o}}del's proof and the liar paradox},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {535--544},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882658},
doi = {10.1305/NDJFL/1093882658},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Humphries79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hung79,
author = {Hin Chung Hung},
title = {Entailment and proof},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {921--933},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882815},
doi = {10.1305/NDJFL/1093882815},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hung79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Jacobs79,
author = {Barry E. Jacobs},
title = {{\(\alpha\)}-naming and {\(\alpha\)}-speedup theorems},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {241--261},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882529},
doi = {10.1305/NDJFL/1093882529},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Jacobs79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Johnson79,
author = {Frederick A. Johnson},
title = {Copi's method of deduction},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {295--300},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882535},
doi = {10.1305/NDJFL/1093882535},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Johnson79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kielkopf79,
author = {Charles F. Kielkopf},
title = {The specific reading of A-propositions in a defense of William of
Sherwood},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {735--740},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882794},
doi = {10.1305/NDJFL/1093882794},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kielkopf79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Krolikoski79,
author = {Stanley J. Krolikoski},
title = {{\L}ukasiewicz's twin possibility functors},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {458--460},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882553},
doi = {10.1305/NDJFL/1093882553},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Krolikoski79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Krolikoski79a,
author = {Stanley J. Krolikoski},
title = {A deduction theorem for rejection theses in {\L}ukasiewicz's system
of modal logic},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {461--464},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882554},
doi = {10.1305/NDJFL/1093882554},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Krolikoski79a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Krolikoski79b,
author = {Stanley J. Krolikoski},
title = {A second deduction theorem for rejection theses in {\L}ukasiewicz's
system of modal logic},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {545--548},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882659},
doi = {10.1305/NDJFL/1093882659},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Krolikoski79b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lake79,
author = {John Lake},
title = {The approaches to set theory},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {415--437},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882550},
doi = {10.1305/NDJFL/1093882550},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lake79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lambros79,
author = {Charles H. Lambros},
title = {A shortened proof of Soboci{\'{n}}ski's theorem concerning a
restricted rule of substitution in the field of propositional calculi},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {1},
pages = {112--114},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882409},
doi = {10.1305/NDJFL/1093882409},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lambros79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lambros79a,
author = {Charles H. Lambros},
title = {A generalized theorem concerning a restricted rule of substitution
in the field of propositional calculi},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {760--764},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882797},
doi = {10.1305/NDJFL/1093882797},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lambros79a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Larner79,
author = {Adrian Larner},
title = {A matrix decision procedure for three modal logics},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {599--602},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882665},
doi = {10.1305/NDJFL/1093882665},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Larner79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Leblanc79,
author = {Hugues Leblanc},
title = {Generalization in first-order logic},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {835--857},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882806},
doi = {10.1305/NDJFL/1093882806},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Leblanc79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lehmann79,
author = {Scott K. Lehmann},
title = {A general propositional logic of conditionals},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {1},
pages = {77--83},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882403},
doi = {10.1305/NDJFL/1093882403},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lehmann79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Levin79,
author = {Michael E. Levin},
title = {A note on p=mv},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {639--646},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882674},
doi = {10.1305/NDJFL/1093882674},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Levin79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lewis79,
author = {Forbes D. Lewis},
title = {On unsolvability in subrecursive classes of predicates},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {1},
pages = {55--67},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882401},
doi = {10.1305/NDJFL/1093882401},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lewis79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Loader79,
author = {John Loader},
title = {The binary representation of m-valued logic with applications to universal
decision elements},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {1},
pages = {216--226},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882419},
doi = {10.1305/NDJFL/1093882419},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Loader79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lucey79,
author = {Kenneth G. Lucey},
title = {The ancestral relation without classes},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {281--284},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882533},
doi = {10.1305/NDJFL/1093882533},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lucey79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lycan79,
author = {William G. Lycan},
title = {Does quotation sometimes permit substitution?},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {279--280},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882532},
doi = {10.1305/NDJFL/1093882532},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lycan79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mackenzie79,
author = {Jim D. Mackenzie},
title = {How to stop talking to tortoises},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {705--717},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882790},
doi = {10.1305/NDJFL/1093882790},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mackenzie79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/McCall79,
author = {Storrs McCall},
title = {The strong future tense},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {489--504},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882655},
doi = {10.1305/NDJFL/1093882655},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/McCall79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/McLane79,
author = {Earl McLane},
title = {On the possibility of epistemic logic},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {559--574},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882661},
doi = {10.1305/NDJFL/1093882661},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/McLane79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mellema79,
author = {Gregory Mellema},
title = {An alternative semantics for knowledge},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {265--278},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882531},
doi = {10.1305/NDJFL/1093882531},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mellema79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Michael79,
author = {Emily Michael},
title = {A note on Peirce on Boole's algebra of logic},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {636--638},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882673},
doi = {10.1305/NDJFL/1093882673},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Michael79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Michael79a,
author = {Emily Michael},
title = {Some considerations in medieval tense logic},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {794--800},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882803},
doi = {10.1305/NDJFL/1093882803},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Michael79a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Michael79b,
author = {Emily Michael},
title = {An examination of the influence of Boole's algebra on Peirce's developments
in logic},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {801--806},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882804},
doi = {10.1305/NDJFL/1093882804},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Michael79b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/MichaelM79,
author = {Frederick Michael and
Emily Michael},
title = {Peirce on the nature of logic},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {1},
pages = {84--88},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882404},
doi = {10.1305/NDJFL/1093882404},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/MichaelM79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Morgan79,
author = {Charles G. Morgan},
title = {Local and global operators and many-valued modal logics},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {401--411},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882548},
doi = {10.1305/NDJFL/1093882548},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Morgan79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Morgan79a,
author = {Charles G. Morgan},
title = {Note on a strong liberated modal logic and its relevance to possible
world skepticism},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {718--722},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882791},
doi = {10.1305/NDJFL/1093882791},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Morgan79a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mueller79,
author = {Ian Mueller},
title = {The completeness of Stoic propositional logic},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {1},
pages = {201--215},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882418},
doi = {10.1305/NDJFL/1093882418},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mueller79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Muzio79,
author = {Jon C. Muzio},
title = {Classes of universal decision elements using negative substitutions},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {314--320},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882538},
doi = {10.1305/NDJFL/1093882538},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Muzio79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Nat79,
author = {Arnold vander Nat},
title = {Beyond nonnormal possible worlds},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {631--635},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882672},
doi = {10.1305/NDJFL/1093882672},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Nat79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Nedzynski79,
author = {Thomas G. Nedzynski},
title = {Quantification, domains of discourse, and existence},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {1},
pages = {130--140},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882411},
doi = {10.1305/NDJFL/1093882411},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Nedzynski79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Nute79,
author = {Donald Nute},
title = {Extensional equivalence of simple and general utilitarian principles},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {1},
pages = {32--36},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882399},
doi = {10.1305/NDJFL/1093882399},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Nute79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Pabion79,
author = {Jean{-}Fran{\c{c}}ois Pabion},
title = {Beth's tableaux for relevant logic},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {891--899},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882811},
doi = {10.1305/NDJFL/1093882811},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Pabion79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Paulos79,
author = {John A. Paulos},
title = {A model-theoretic account of confirmation},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {451--457},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882552},
doi = {10.1305/NDJFL/1093882552},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Paulos79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Peterson79,
author = {Philip L. Peterson},
title = {On the logic of "few", "many", and "most"},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {1},
pages = {155--179},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882414},
doi = {10.1305/NDJFL/1093882414},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Peterson79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Porte79,
author = {Jean Porte},
title = {The {\(\Omega\)}-system and the {\L}-system of modal logic},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {915--920},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882814},
doi = {10.1305/NDJFL/1093882814},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Porte79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Riser79,
author = {John Riser},
title = {A simplification procedure for alternational normal schemata},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {765--767},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882798},
doi = {10.1305/NDJFL/1093882798},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Riser79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Robinson79,
author = {O. A. Robinson},
title = {A modal natural deduction system for {S4}},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {625--627},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882670},
doi = {10.1305/NDJFL/1093882670},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Robinson79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Routley79,
author = {Richard Routley},
title = {Repairing proofs of Arrow's general impossibility theorem and enlarging
the scope of the theorem},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {879--890},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882810},
doi = {10.1305/NDJFL/1093882810},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Routley79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Schwartz79,
author = {Thomas Schwartz},
title = {Necessary truth as analyticity, and the eliminability of monadic de
re formulas},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {336--340},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882540},
doi = {10.1305/NDJFL/1093882540},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Schwartz79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobel79,
author = {Jordan Howard Sobel},
title = {Sentential notations: unique decomposition},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {377--382},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882545},
doi = {10.1305/NDJFL/1093882545},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobel79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sobocinski79,
author = {Boleslaw Sobocinski},
title = {Equational two axiom bases for Boolean algebras and some other lattice
theories},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {865--875},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882808},
doi = {10.1305/NDJFL/1093882808},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sobocinski79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sudkamp79,
author = {Thomas A. Sudkamp},
title = {On full cylindric set algebras},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {785--793},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882802},
doi = {10.1305/NDJFL/1093882802},
timestamp = {Fri, 16 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sudkamp79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sweet79,
author = {Albert M. Sweet},
title = {Intended model theory},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {575--592},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882662},
doi = {10.1305/NDJFL/1093882662},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sweet79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Swiggart79,
author = {Peter Swiggart},
title = {Domain restrictions in standard deductive logic},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {1},
pages = {115--129},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882410},
doi = {10.1305/NDJFL/1093882410},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Swiggart79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thom79,
author = {Paul Thom},
title = {Aristotle's syllogistic},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {751--759},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882796},
doi = {10.1305/NDJFL/1093882796},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thom79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thomas79,
author = {William J. Thomas},
title = {A simple generalization of Turing computability},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {1},
pages = {95--102},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882407},
doi = {10.1305/NDJFL/1093882407},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thomas79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Varela79,
author = {Francisco J. Varela},
title = {The extended calculus of indications interpreted as a three-valued
logic},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {1},
pages = {141--146},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882412},
doi = {10.1305/NDJFL/1093882412},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Varela79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Wald79,
author = {J. David Wald},
title = {Geach on atomicity and singular propositions},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {285--294},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882534},
doi = {10.1305/NDJFL/1093882534},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Wald79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/WaltonW79,
author = {Douglas Walton and
John Hayden Woods},
title = {Circular demonstration and von Wright-Geach entailment},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {768--772},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882799},
doi = {10.1305/NDJFL/1093882799},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/WaltonW79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Williamson79,
author = {John Williamson},
title = {{S5} without modal axioms},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {593--594},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882663},
doi = {10.1305/NDJFL/1093882663},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Williamson79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Wiredu79,
author = {Kwasi Wiredu},
title = {On the necessity of {S4}},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {689--694},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882679},
doi = {10.1305/NDJFL/1093882679},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Wiredu79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Zartman79,
author = {James F. Zartman},
title = {Another way of diagramming switching circuits},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {2},
pages = {301--308},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882536},
doi = {10.1305/NDJFL/1093882536},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Zartman79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Zeman79,
author = {J. Jay Zeman},
title = {Two basic pure-implicational systems},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {674--684},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882677},
doi = {10.1305/NDJFL/1093882677},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Zeman79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Zeman79a,
author = {J. Jay Zeman},
title = {Normal implications, bounded posets, and the existence of meets},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {3},
pages = {685--688},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882678},
doi = {10.1305/NDJFL/1093882678},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Zeman79a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Zeman79b,
author = {J. Jay Zeman},
title = {Quantum logic with implication},
journal = {Notre Dame J. Formal Log.},
volume = {20},
number = {4},
pages = {723--728},
year = {1979},
url = {https://doi.org/10.1305/ndjfl/1093882792},
doi = {10.1305/NDJFL/1093882792},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Zeman79b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-05-30 04:52 CEST from data curated 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:
