default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/ndjfl/ndjfl24.bht:"
download as .bib file
@article{DBLP:journals/ndjfl/000283,
author = {David Meredith},
title = {Separating minimal, intuitionist, and classical logic},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {4},
pages = {485--490},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870451},
doi = {10.1305/NDJFL/1093870451},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/000283.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Austin83,
author = {David F. Austin},
title = {Plantinga's theory of proper names},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {1},
pages = {115--132},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870225},
doi = {10.1305/NDJFL/1093870225},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Austin83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Brady83,
author = {Ross T. Brady},
title = {The simple consistency of a set theory based on the logic {CSQ}},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {4},
pages = {431--449},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870447},
doi = {10.1305/NDJFL/1093870447},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Brady83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Brunner83,
author = {Norbert Brunner},
title = {Sequential compactness and the axiom of choice},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {1},
pages = {89--92},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870222},
doi = {10.1305/NDJFL/1093870222},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Brunner83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Brunner83a,
author = {Norbert Brunner},
title = {The axiom of choice in topology},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {3},
pages = {305--317},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870373},
doi = {10.1305/NDJFL/1093870373},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Brunner83a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Burgess83,
author = {John P. Burgess},
title = {Common sense and "relevance"},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {1},
pages = {41--53},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870219},
doi = {10.1305/NDJFL/1093870219},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Burgess83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Burgess83a,
author = {John P. Burgess},
title = {Why {I} am not a nominalist},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {1},
pages = {93--105},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870223},
doi = {10.1305/NDJFL/1093870223},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Burgess83a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Comer83,
author = {Stephen D. Comer},
title = {A new foundation for the theory of relations},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {2},
pages = {181--187},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870308},
doi = {10.1305/NDJFL/1093870308},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Comer83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Copeland83,
author = {B. Jack Copeland},
title = {Tense trees: a tree system for K\({}_{\mbox{t}}\)},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {3},
pages = {318--322},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870374},
doi = {10.1305/NDJFL/1093870374},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Copeland83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cowen83,
author = {Robert Cowen},
title = {Compactness via prime semilattices},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {2},
pages = {199--204},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870310},
doi = {10.1305/NDJFL/1093870310},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cowen83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/CowlesL83,
author = {John Cowles and
Robert LaGrange},
title = {Generalized Archimedean fields},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {1},
pages = {133--140},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870226},
doi = {10.1305/NDJFL/1093870226},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/CowlesL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cresswell83,
author = {M. J. Cresswell},
title = {{KM} and the finite model property},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {3},
pages = {323--327},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870375},
doi = {10.1305/NDJFL/1093870375},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cresswell83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Dawson83,
author = {John W. Dawson},
title = {The published work of Kurt G{\"{o}}del: an annotated bibliography},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {2},
pages = {255--284},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870315},
doi = {10.1305/NDJFL/1093870315},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Dawson83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DwyerMM83,
author = {Robert Dwyer and
Errol P. Martin and
Robert K. Meyer},
title = {The fundamental S-theorem - a corollary},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {4},
pages = {509--516},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870453},
doi = {10.1305/NDJFL/1093870453},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/DwyerMM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Dywan83,
author = {Zdzislaw Dywan},
title = {The connective of necessity of modal logic {S5} is metalogical},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {3},
pages = {410--414},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870385},
doi = {10.1305/NDJFL/1093870385},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Dywan83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/GoddardJ83,
author = {Leonard Goddard and
Mark Johnston},
title = {The nature of reflexive paradoxes. {I}},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {4},
pages = {491--508},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870452},
doi = {10.1305/NDJFL/1093870452},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/GoddardJ83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Harkleroad83,
author = {Leon Harkleroad},
title = {Manifolds allowing {RET} arithmetic},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {4},
pages = {482--484},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870450},
doi = {10.1305/NDJFL/1093870450},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Harkleroad83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hendry83,
author = {Herbert E. Hendry},
title = {Minimally incomplete sets of {\L}ukasiewiczian truth functions},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {1},
pages = {146--150},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870229},
doi = {10.1305/NDJFL/1093870229},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hendry83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/HenschenSVWW83,
author = {Larry Henschen and
Barry Smith and
Robert Veroff and
Steve Winker and
Larry Wos},
title = {Questions concerning possible shortest single axioms for the equivalential
calculus: an application of automated theorem proving to infinite
domains},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {2},
pages = {205--223},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870311},
doi = {10.1305/NDJFL/1093870311},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/HenschenSVWW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hickman83,
author = {John L. Hickman},
title = {A note on Conway multiplication of ordinals},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {1},
pages = {143--145},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870228},
doi = {10.1305/NDJFL/1093870228},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hickman83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Humberstone83,
author = {I. L. Humberstone},
title = {Inaccessible worlds},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {3},
pages = {346--352},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870378},
doi = {10.1305/NDJFL/1093870378},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Humberstone83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/HumberstoneB83,
author = {I. L. Humberstone and
J. F. A. K. van Benthem},
title = {Halld{\'{e}}n-completeness by gluing of Kripke frames},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {4},
pages = {426--430},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870446},
doi = {10.1305/NDJFL/1093870446},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/HumberstoneB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/KoppelbergM83,
author = {Sabine Koppelberg and
J. Donald Monk},
title = {Homogeneous Boolean algebras with very nonsymmetric subalgebras},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {3},
pages = {353--356},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870379},
doi = {10.1305/NDJFL/1093870379},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/KoppelbergM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kuhn83,
author = {Steven T. Kuhn},
title = {An axiomatization of predicate functor logic},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {2},
pages = {233--241},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870313},
doi = {10.1305/NDJFL/1093870313},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kuhn83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/LavendhommeL83,
author = {Ren{\'{e}} Lavendhomme and
Thierry Lucas},
title = {A note on intuitionistic models of {ZF}},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {1},
pages = {54--66},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870220},
doi = {10.1305/NDJFL/1093870220},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/LavendhommeL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/LeblancM83,
author = {Hugues Leblanc and
Charles G. Morgan},
title = {Probabilistic semantics for intuitionistic logic},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {2},
pages = {161--180},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870307},
doi = {10.1305/NDJFL/1093870307},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/LeblancM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/LeblancM83a,
author = {Hugues Leblanc and
Charles G. Morgan},
title = {Probability theory, intuitionism, semantics, and the Dutch book argument},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {3},
pages = {289--304},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870372},
doi = {10.1305/NDJFL/1093870372},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/LeblancM83a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Loureiro83,
author = {Isabel Loureiro},
title = {Prime spectrum of a tetravalent modal algebra},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {3},
pages = {389--394},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870382},
doi = {10.1305/NDJFL/1093870382},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Loureiro83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lowe83,
author = {E. J. Lowe},
title = {A simplification of the logic of conditionals},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {3},
pages = {357--366},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870380},
doi = {10.1305/NDJFL/1093870380},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Lowe83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Markovic83,
author = {Zoran Markovic},
title = {Some preservation results for classical and intuitionistic satisfiability
in Kripke models},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {3},
pages = {395--398},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870383},
doi = {10.1305/NDJFL/1093870383},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Markovic83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mellema83,
author = {Gregory Mellema},
title = {On measures and distinguishability},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {1},
pages = {151--158},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870230},
doi = {10.1305/NDJFL/1093870230},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mellema83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Meyer83,
author = {Robert K. Meyer},
title = {A note on {\(\mathbb{R}\)}\({}_{\mbox{-{\textgreater}}}\) matrices},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {4},
pages = {450--472},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870448},
doi = {10.1305/NDJFL/1093870448},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Meyer83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mijajlovic83,
author = {Zarko Mijajlovic},
title = {Submodels and definable points in models of Peano arithmetic},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {4},
pages = {417--425},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870445},
doi = {10.1305/NDJFL/1093870445},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mijajlovic83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Miller83,
author = {Arnold W. Miller},
title = {On the Borel classification of the isomorphism class of a countable
model},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {1},
pages = {22--34},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870217},
doi = {10.1305/NDJFL/1093870217},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Miller83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Moerdijk83,
author = {Ieke Moerdijk},
title = {On the Freyd cover of a topos},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {4},
pages = {517--526},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870454},
doi = {10.1305/NDJFL/1093870454},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Moerdijk83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Moon83,
author = {Ralph H. Moon},
title = {Correction of the semantics for {S4.03} and a note on literal disjunctive
symmetry},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {3},
pages = {337--345},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870377},
doi = {10.1305/NDJFL/1093870377},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Moon83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mortensen83,
author = {Chris Mortensen},
title = {The validity of disjunctive syllogism is not so easily proved},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {1},
pages = {35--40},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870218},
doi = {10.1305/NDJFL/1093870218},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mortensen83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Nemeti83,
author = {Istv{\'{a}}n N{\'{e}}meti},
title = {The class of neat-reducts of cylindric algebras is not a variety but
is closed with respect to {HP}},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {3},
pages = {399--409},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870384},
doi = {10.1305/NDJFL/1093870384},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Nemeti83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Pillay83,
author = {Anand Pillay},
title = {{\(\aleph\)}\({}_{\mbox{0}}\)-categoricity over a predicate},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {4},
pages = {527--536},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870455},
doi = {10.1305/NDJFL/1093870455},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Pillay83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Read83,
author = {Stephen Read},
title = {Burgess on relevance: a fallacy indeed},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {4},
pages = {473--481},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870449},
doi = {10.1305/NDJFL/1093870449},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Read83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Shelton83,
author = {La Verne Shelton},
title = {A diachronic semantics for inexact reference},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {1},
pages = {67--88},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870221},
doi = {10.1305/NDJFL/1093870221},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Shelton83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Shukla83,
author = {Anjan Shukla},
title = {Consistent, independent, and distinct propositions. {III.} Modalities
in {S6}},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {1},
pages = {141--142},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870227},
doi = {10.1305/NDJFL/1093870227},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Shukla83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Smith83,
author = {Robin Smith},
title = {Completeness of an ecthetic syllogistic},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {2},
pages = {224--232},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870312},
doi = {10.1305/NDJFL/1093870312},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Smith83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thuraisingham83,
author = {Bhavani M. Thuraisingham},
title = {Cylindrical decision problems for system functions},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {2},
pages = {188--198},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870309},
doi = {10.1305/NDJFL/1093870309},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thuraisingham83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thuraisingham83a,
author = {Bhavani M. Thuraisingham},
title = {Some elementary closure properties of n-cylinders},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {2},
pages = {242--254},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870314},
doi = {10.1305/NDJFL/1093870314},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thuraisingham83a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thuraisingham83b,
author = {Bhavani M. Thuraisingham},
title = {The concept of n-cylinder and its relationship to simple sets},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {3},
pages = {328--336},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870376},
doi = {10.1305/NDJFL/1093870376},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Thuraisingham83b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Wagner83,
author = {Steven J. Wagner},
title = {Frege's definition of number},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {1},
pages = {1--21},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870216},
doi = {10.1305/NDJFL/1093870216},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Wagner83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Wilson83,
author = {N. L. Wilson},
title = {The transitivity of implication in tree logic},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {1},
pages = {106--114},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870224},
doi = {10.1305/NDJFL/1093870224},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Wilson83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Zanardo83,
author = {Alberto Zanardo},
title = {On the equivalence between the calculi MC\({}^{\mbox{{\(\nu\)}}}\)
and EC\({}^{\mbox{{\(\nu\)}+1}}\) of A. Bressan},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {3},
pages = {367--388},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870381},
doi = {10.1305/NDJFL/1093870381},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Zanardo83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-12-23 09:59 CET 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:
