Search dblp for Publications

export results for "toc:db/journals/ndjfl/ndjfl23.bht:"

 download as .bib file

@article{DBLP:journals/ndjfl/Back82,
  author       = {Allan B{\"{a}}ck},
  title        = {Syllogisms with reduplication in Aristotle},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {4},
  pages        = {453--458},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093870157},
  doi          = {10.1305/NDJFL/1093870157},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Back82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bennett82,
  author       = {Jonathan Bennett},
  title        = {Psychology and semantics: comments on Schiffer's "Intention-based
                  semantics"},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {3},
  pages        = {258--262},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093870084},
  doi          = {10.1305/NDJFL/1093870084},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Bennett82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bergmann82,
  author       = {Merrie Bergmann},
  title        = {Expressibility in two-dimensional languages for presupposition},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {4},
  pages        = {459--470},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093870158},
  doi          = {10.1305/NDJFL/1093870158},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Bergmann82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Brown82,
  author       = {Mark A. Brown},
  title        = {Generalized S2-like systems of propositional modal logic},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {1},
  pages        = {53--61},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093883565},
  doi          = {10.1305/NDJFL/1093883565},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Brown82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bunder82,
  author       = {Martin W. Bunder},
  title        = {Illative combinatory logic without equality as a primitive predicate},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {1},
  pages        = {62--70},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093883566},
  doi          = {10.1305/NDJFL/1093883566},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Bunder82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Burge82,
  author       = {Tyler Burge},
  title        = {Two thought experiments reviewed: comments on J. A. Fodor's paper:
                  "Cognitive science and the twin-Earth problem"},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {3},
  pages        = {284--293},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093870087},
  doi          = {10.1305/NDJFL/1093870087},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Burge82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Burgess82,
  author       = {John P. Burgess},
  title        = {Axioms for tense logic. I. "Since" and "until"},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {4},
  pages        = {367--374},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093870149},
  doi          = {10.1305/NDJFL/1093870149},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Burgess82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Burgess82a,
  author       = {John P. Burgess},
  title        = {Axioms for tense logic. {II.} Time periods},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {4},
  pages        = {375--383},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093870150},
  doi          = {10.1305/NDJFL/1093870150},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Burgess82a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Clark82,
  author       = {Romane Clark},
  title        = {When is a fallacy valid? Reflections on backward reasoning},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {1},
  pages        = {1--13},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093883560},
  doi          = {10.1305/NDJFL/1093883560},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Clark82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Dale82,
  author       = {A. J. Dale},
  title        = {Material equivalence and tautological entailment},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {4},
  pages        = {435--442},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093870155},
  doi          = {10.1305/NDJFL/1093870155},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Dale82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Dekker82,
  author       = {J. C. E. Dekker},
  title        = {Automorphisms of {\(\omega\)}-octahedral graphs},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {4},
  pages        = {427--434},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093870154},
  doi          = {10.1305/NDJFL/1093870154},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Dekker82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Dunn82,
  author       = {J. Michael Dunn},
  title        = {A relational representation of quasi-Boolean algebras},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {4},
  pages        = {353--357},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093870147},
  doi          = {10.1305/NDJFL/1093870147},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Dunn82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Englebretsen82,
  author       = {George Englebretsen},
  title        = {Do we need relative identity?},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {1},
  pages        = {91--93},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093883570},
  doi          = {10.1305/NDJFL/1093883570},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Englebretsen82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Evangelist82,
  author       = {Michael Evangelist},
  title        = {Nonstandard propositional logics and their application to complexity
                  theory},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {4},
  pages        = {384--392},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093870151},
  doi          = {10.1305/NDJFL/1093870151},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Evangelist82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Fodor82,
  author       = {Jerry A. Fodor},
  title        = {Cognitive science and the twin-Earth problem},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {2},
  pages        = {98--118},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093883623},
  doi          = {10.1305/NDJFL/1093883623},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Fodor82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gerla82,
  author       = {Giangiacomo Gerla},
  title        = {A note on the principle of predication},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {4},
  pages        = {471--472},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093870159},
  doi          = {10.1305/NDJFL/1093870159},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Gerla82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Grandy82,
  author       = {Richard E. Grandy},
  title        = {Semantic intentions and linguistic structure: comments on Schiffer's
                  paper: "Intention-based semantics"},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {3},
  pages        = {327--332},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093870092},
  doi          = {10.1305/NDJFL/1093870092},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Grandy82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Harman82,
  author       = {Gilbert Harman},
  title        = {Conceptual role semantics},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {2},
  pages        = {242--256},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093883628},
  doi          = {10.1305/NDJFL/1093883628},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Harman82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Higginbotham82,
  author       = {James Higginbotham},
  title        = {Comments on J. Hintikka's paper: "Game-theoretical semantics: insights
                  and prospects"},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {3},
  pages        = {263--271},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093870085},
  doi          = {10.1305/NDJFL/1093870085},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Higginbotham82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hintikka82,
  author       = {Jaakko Hintikka},
  title        = {Game-theoretical semantics: insights and prospects},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {2},
  pages        = {219--241},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093883627},
  doi          = {10.1305/NDJFL/1093883627},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Hintikka82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Horowitz82,
  author       = {Bruce M. Horowitz},
  title        = {Elementary formal systems as a framework for relative recursion theory},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {1},
  pages        = {39--52},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093883564},
  doi          = {10.1305/NDJFL/1093883564},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Horowitz82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/HuglyS82,
  author       = {Philip Hugly and
                  Charles Sayward},
  title        = {Indenumerability and substitutional quantification},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {4},
  pages        = {358--366},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093870148},
  doi          = {10.1305/NDJFL/1093870148},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/HuglyS82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Jager82,
  author       = {Thomas Jager},
  title        = {An actualistic semantics for quantified modal logic},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {3},
  pages        = {335--349},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093870093},
  doi          = {10.1305/NDJFL/1093870093},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Jager82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Katz82,
  author       = {Jerrold J. Katz},
  title        = {Common sense in semantics},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {2},
  pages        = {174--218},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093883626},
  doi          = {10.1305/NDJFL/1093883626},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Katz82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kirk82,
  author       = {Robert E. Kirk},
  title        = {A result on propositional logics having the disjunction property},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {1},
  pages        = {71--74},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093883567},
  doi          = {10.1305/NDJFL/1093883567},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Kirk82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Loar82,
  author       = {Brian Loar},
  title        = {Conceptual role and truth-conditions: comments on Harman's paper:
                  "Conceptual role semantics"},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {3},
  pages        = {272--283},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093870086},
  doi          = {10.1305/NDJFL/1093870086},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Loar82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Loewer82,
  author       = {Barry Loewer},
  title        = {The role of "Conceptual role semantics": comments on Harman's paper},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {3},
  pages        = {305--315},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093870090},
  doi          = {10.1305/NDJFL/1093870090},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Loewer82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Maloney82,
  author       = {J. Christopher Maloney},
  title        = {Abailard's theory of universals},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {1},
  pages        = {27--38},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093883563},
  doi          = {10.1305/NDJFL/1093883563},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Maloney82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mortensen82,
  author       = {Chris Mortensen},
  title        = {Model structures and set algebras for Sugihara matrices},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {1},
  pages        = {85--90},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093883569},
  doi          = {10.1305/NDJFL/1093883569},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Mortensen82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Pelletier82,
  author       = {Francis Jeffry Pelletier},
  title        = {{(X):} comments on J. J. Katz's paper: "Common sense in semantics"},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {3},
  pages        = {316--326},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093870091},
  doi          = {10.1305/NDJFL/1093870091},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Pelletier82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/PlotkinR82,
  author       = {Jacob Manuel Plotkin and
                  John W. Rosenthal},
  title        = {The expected complexity of analytic tableaux analyses in propositional
                  calculus},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {4},
  pages        = {409--426},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093870153},
  doi          = {10.1305/NDJFL/1093870153},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/PlotkinR82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Putnam82,
  author       = {Hilary Putnam},
  title        = {Comment on J. A. Fodor's "Cognitive science and the twin-Earth problem"},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {3},
  pages        = {294--295},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093870088},
  doi          = {10.1305/NDJFL/1093870088},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Putnam82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/RootW82,
  author       = {Michael Root and
                  John Wallace},
  title        = {Meaning and interpretation},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {2},
  pages        = {157--173},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093883625},
  doi          = {10.1305/NDJFL/1093883625},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/RootW82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Saarinen82,
  author       = {Esa Saarinen},
  title        = {Linguistic intuition and reductionism: comments on J. J. Katz's paper:
                  "Common sense in semantics"},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {3},
  pages        = {296--304},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093870089},
  doi          = {10.1305/NDJFL/1093870089},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Saarinen82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Schiffer82,
  author       = {Stephen Schiffer},
  title        = {Intention-based semantics},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {2},
  pages        = {119--156},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093883624},
  doi          = {10.1305/NDJFL/1093883624},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Schiffer82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Shapiro82,
  author       = {Stewart Shapiro},
  title        = {Acceptable notation},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {1},
  pages        = {14--20},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093883561},
  doi          = {10.1305/NDJFL/1093883561},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Shapiro82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Shelah82,
  author       = {Saharon Shelah},
  title        = {On the number of nonisomorphic models in L\({}_{\mbox{INFINITY , {\(\kappa\)}
                  }}\) when {\(\kappa\)} is weakly compact},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {1},
  pages        = {21--26},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093883562},
  doi          = {10.1305/NDJFL/1093883562},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Shelah82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Smorynski82,
  author       = {Craig Smorynski},
  title        = {A note on initial segment constructions in recursively saturated models
                  of arithmetic},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {4},
  pages        = {393--408},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093870152},
  doi          = {10.1305/NDJFL/1093870152},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Smorynski82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Smorynski82a,
  author       = {Craig Smorynski},
  title        = {Commutativity and self-reference},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {4},
  pages        = {443--452},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093870156},
  doi          = {10.1305/NDJFL/1093870156},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Smorynski82a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Thompson82,
  author       = {Bruce E. R. Thompson},
  title        = {Syllogisms using "few", "many", and "most"},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {23},
  number       = {1},
  pages        = {75--84},
  year         = {1982},
  url          = {https://doi.org/10.1305/ndjfl/1093883568},
  doi          = {10.1305/NDJFL/1093883568},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Thompson82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics