Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/ndjfl/Ahmed03,
  author       = {Tarek Sayed Ahmed},
  title        = {Neat Embeddings, Omitting Types, and Interpolation: An Overview},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {44},
  number       = {3},
  pages        = {157--173},
  year         = {2003},
  url          = {https://doi.org/10.1305/ndjfl/1091030854},
  doi          = {10.1305/NDJFL/1091030854},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Ahmed03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/BaldwinH03,
  author       = {John T. Baldwin and
                  Kitty L. Holland},
  title        = {Constructing {\(\omega\)}-stable Structures: Rank \emph{k}-fields},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {44},
  number       = {3},
  pages        = {139--147},
  year         = {2003},
  url          = {https://doi.org/10.1305/ndjfl/1091030852},
  doi          = {10.1305/NDJFL/1091030852},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/BaldwinH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Burgess03,
  author       = {John P. Burgess},
  title        = {A Remark on Henkin Sentences and Their Contraries},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {44},
  number       = {3},
  pages        = {185--188},
  year         = {2003},
  url          = {https://doi.org/10.1305/ndjfl/1091030856},
  doi          = {10.1305/NDJFL/1091030856},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Burgess03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Burgess03a,
  author       = {John P. Burgess},
  title        = {Book Review: Kit Fine. \emph{The Limits of Abstraction}},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {44},
  number       = {4},
  pages        = {227--251},
  year         = {2003},
  url          = {https://doi.org/10.1305/ndjfl/1091122500},
  doi          = {10.1305/NDJFL/1091122500},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Burgess03a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Cook03,
  author       = {Roy T. Cook},
  title        = {Iteration One More Time},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {44},
  number       = {2},
  pages        = {63--92},
  year         = {2003},
  url          = {https://doi.org/10.1305/ndjfl/1082637805},
  doi          = {10.1305/NDJFL/1082637805},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Cook03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Edwards03,
  author       = {Jim Edwards},
  title        = {Reduction and Tarski's Definition of Logical Consequence},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {44},
  number       = {1},
  pages        = {49--62},
  year         = {2003},
  url          = {https://doi.org/10.1305/ndjfl/1082637614},
  doi          = {10.1305/NDJFL/1082637614},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Edwards03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Esser03,
  author       = {Olivier Esser},
  title        = {A Strong Model of Paraconsistent Logic},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {44},
  number       = {3},
  pages        = {149--156},
  year         = {2003},
  url          = {https://doi.org/10.1305/ndjfl/1091030853},
  doi          = {10.1305/NDJFL/1091030853},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Esser03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/FukuzakiT03,
  author       = {Kenji Fukuzaki and
                  Akito Tsuboi},
  title        = {Implicit Definability of Subfields},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {44},
  number       = {4},
  pages        = {217--225},
  year         = {2003},
  url          = {https://doi.org/10.1305/ndjfl/1091122499},
  doi          = {10.1305/NDJFL/1091122499},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/FukuzakiT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/GreenbergM03,
  author       = {Noam Greenberg and
                  Antonio Montalb{\'{a}}n},
  title        = {Embedding and Coding below a 1-Generic Degree},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {44},
  number       = {4},
  pages        = {200--216},
  year         = {2003},
  url          = {https://doi.org/10.1305/ndjfl/1091122498},
  doi          = {10.1305/NDJFL/1091122498},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/GreenbergM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/KeremedisT03,
  author       = {Kyriakos Keremedis and
                  Eleftherios Tachtsis},
  title        = {On Sequentially Compact Subspaces of {\(\mathbb{R}\)} without the
                  Axiom of Choice},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {44},
  number       = {3},
  pages        = {175--184},
  year         = {2003},
  url          = {https://doi.org/10.1305/ndjfl/1091030855},
  doi          = {10.1305/NDJFL/1091030855},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/KeremedisT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/LepageM03,
  author       = {Fran{\c{c}}ois Lepage and
                  Charles Morgan},
  title        = {Probabilistic Canonical Models for Partial Logics},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {44},
  number       = {3},
  pages        = {125--138},
  year         = {2003},
  url          = {https://doi.org/10.1305/ndjfl/1091030851},
  doi          = {10.1305/NDJFL/1091030851},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/LepageM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/MytilinaiosS03,
  author       = {Michael E. Mytilinaios and
                  Theodore A. Slaman},
  title        = {Differences between Resource Bounded Degree Structures},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {44},
  number       = {1},
  pages        = {1--12},
  year         = {2003},
  url          = {https://doi.org/10.1305/ndjfl/1082637612},
  doi          = {10.1305/NDJFL/1082637612},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/MytilinaiosS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Seki03,
  author       = {Takahiro Seki},
  title        = {General Frames for Relevant Modal Logics},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {44},
  number       = {2},
  pages        = {93--109},
  year         = {2003},
  url          = {https://doi.org/10.1305/ndjfl/1082637806},
  doi          = {10.1305/NDJFL/1082637806},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Seki03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Thom03,
  author       = {Paul Thom},
  title        = {De Re Modality and the New Essentialism: {A} Dilemma},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {44},
  number       = {4},
  pages        = {189--199},
  year         = {2003},
  url          = {https://doi.org/10.1305/ndjfl/1091122497},
  doi          = {10.1305/NDJFL/1091122497},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Thom03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Weatherson03,
  author       = {Brian Weatherson},
  title        = {From Classical to Intuitionistic Probability},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {44},
  number       = {2},
  pages        = {111--123},
  year         = {2003},
  url          = {https://doi.org/10.1305/ndjfl/1082637807},
  doi          = {10.1305/NDJFL/1082637807},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Weatherson03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Weir03,
  author       = {Alan Weir},
  title        = {Neo-Fregeanism: An Embarrassment of Riches},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {44},
  number       = {1},
  pages        = {13--48},
  year         = {2003},
  url          = {https://doi.org/10.1305/ndjfl/1082637613},
  doi          = {10.1305/NDJFL/1082637613},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Weir03.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.