Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/ndjfl/AntonelliM00,
  author       = {Aldo Antonelli and
                  Robert May},
  title        = {Frege's New Science},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {41},
  number       = {3},
  pages        = {242--270},
  year         = {2000},
  url          = {https://doi.org/10.1305/ndjfl/1038336844},
  doi          = {10.1305/NDJFL/1038336844},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/AntonelliM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Bays00,
  author       = {Timothy Bays},
  title        = {The Fruits of Logicism},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {41},
  number       = {4},
  pages        = {415--421},
  year         = {2000},
  url          = {https://doi.org/10.1305/ndjfl/1038336884},
  doi          = {10.1305/NDJFL/1038336884},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Bays00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Bennett00,
  author       = {David Bennett},
  title        = {A Single Axiom for Set Theory},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {41},
  number       = {2},
  pages        = {152--170},
  year         = {2000},
  url          = {https://doi.org/10.1305/ndjfl/1038234609},
  doi          = {10.1305/NDJFL/1038234609},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Bennett00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Blanchette00,
  author       = {Patricia A. Blanchette},
  title        = {Realism and Paradox},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {41},
  number       = {3},
  pages        = {227--241},
  year         = {2000},
  url          = {https://doi.org/10.1305/ndjfl/1038336843},
  doi          = {10.1305/NDJFL/1038336843},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Blanchette00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/CawthorneK00,
  author       = {Stephanie Cawthorne and
                  David W. Kueker},
  title        = {Essential Forcing Generics},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {41},
  number       = {1},
  pages        = {41--52},
  year         = {2000},
  url          = {https://doi.org/10.1305/ndjfl/1027953482},
  doi          = {10.1305/NDJFL/1027953482},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/CawthorneK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Demopoulos00,
  author       = {William Demopoulos},
  title        = {On the Origin and Status of our Conception of Number},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {41},
  number       = {3},
  pages        = {210--226},
  year         = {2000},
  url          = {https://doi.org/10.1305/ndjfl/1038336842},
  doi          = {10.1305/NDJFL/1038336842},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Demopoulos00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Detlefsen00,
  author       = {Michael Detlefsen},
  title        = {Introduction to Logicism and the Paradoxes: {A} Reappraisal},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {41},
  number       = {3},
  pages        = {185},
  year         = {2000},
  url          = {https://doi.org/10.1305/ndjfl/1038336840},
  doi          = {10.1305/NDJFL/1038336840},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Detlefsen00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Hale00,
  author       = {Bob Hale},
  title        = {Abstraction and Set Theory},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {41},
  number       = {4},
  pages        = {379--398},
  year         = {2000},
  url          = {https://doi.org/10.1305/ndjfl/1038336882},
  doi          = {10.1305/NDJFL/1038336882},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Hale00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Hart00,
  author       = {W. D. Hart},
  title        = {Skolem Redux},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {41},
  number       = {4},
  pages        = {399--414},
  year         = {2000},
  url          = {https://doi.org/10.1305/ndjfl/1038336883},
  doi          = {10.1305/NDJFL/1038336883},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Hart00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Heck00,
  author       = {Richard G. Heck Jr.},
  title        = {Cardinality, Counting, and Equinumerosity},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {41},
  number       = {3},
  pages        = {187--209},
  year         = {2000},
  url          = {https://doi.org/10.1305/ndjfl/1038336841},
  doi          = {10.1305/NDJFL/1038336841},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Heck00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Humberstone00,
  author       = {Lloyd Humberstone},
  title        = {An Intriguing Logic with Two Implicational Connectives},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {41},
  number       = {1},
  pages        = {1--40},
  year         = {2000},
  url          = {https://doi.org/10.1305/ndjfl/1027953481},
  doi          = {10.1305/NDJFL/1027953481},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Humberstone00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Japaridze00,
  author       = {Giorgi Japaridze},
  title        = {The Propositional Logic of Elementary Tasks},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {41},
  number       = {2},
  pages        = {171--183},
  year         = {2000},
  url          = {https://doi.org/10.1305/ndjfl/1038234610},
  doi          = {10.1305/NDJFL/1038234610},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Japaridze00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Koons00,
  author       = {Robert Charles Koons},
  title        = {Book Review: Scott Soames. Understanding Truth},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {41},
  number       = {1},
  pages        = {77--94},
  year         = {2000},
  url          = {https://doi.org/10.1305/ndjfl/1027953485},
  doi          = {10.1305/NDJFL/1027953485},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Koons00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/McCarty00,
  author       = {David Charles McCarty},
  title        = {Optics of Thought: Logic and Vision in M{\"{u}}ller, Helmholtz,
                  and Frege},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {41},
  number       = {4},
  pages        = {365--378},
  year         = {2000},
  url          = {https://doi.org/10.1305/ndjfl/1038336881},
  doi          = {10.1305/NDJFL/1038336881},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/McCarty00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Putnam00,
  author       = {Hilary Putnam},
  title        = {Nonstandard Models and Kripke's Proof of the G{\"{o}}del Theorem},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {41},
  number       = {1},
  pages        = {53--58},
  year         = {2000},
  url          = {https://doi.org/10.1305/ndjfl/1027953483},
  doi          = {10.1305/NDJFL/1027953483},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Putnam00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Pykacz00,
  author       = {Jaroslaw Pykacz},
  title        = {New Operations on Orthomodular Lattices: "Disjunction" and "Conjunction"
                  Induced by Mackey Decompositions},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {41},
  number       = {1},
  pages        = {59--76},
  year         = {2000},
  url          = {https://doi.org/10.1305/ndjfl/1027953484},
  doi          = {10.1305/NDJFL/1027953484},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Pykacz00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Shapiro00,
  author       = {Stewart Shapiro},
  title        = {Frege Meets Dedekind: {A} Neologicist Treatment of Real Analysis},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {41},
  number       = {4},
  pages        = {335--364},
  year         = {2000},
  url          = {https://doi.org/10.1305/ndjfl/1038336880},
  doi          = {10.1305/NDJFL/1038336880},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Shapiro00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Suzuki00,
  author       = {Toshio Suzuki},
  title        = {Complexity of the r-query Tautologies in the Presence of a Generic
                  Oracle},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {41},
  number       = {2},
  pages        = {142--151},
  year         = {2000},
  url          = {https://doi.org/10.1305/ndjfl/1038234608},
  doi          = {10.1305/NDJFL/1038234608},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Suzuki00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Tappenden00,
  author       = {Jamie Tappenden},
  title        = {Frege on Axioms, Indirect Proof, and Independence Arguments in Geometry:
                  Did Frege Reject Independence Arguments?},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {41},
  number       = {3},
  pages        = {271--315},
  year         = {2000},
  url          = {https://doi.org/10.1305/ndjfl/1038336845},
  doi          = {10.1305/NDJFL/1038336845},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Tappenden00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Wobcke00,
  author       = {Wayne Wobcke},
  title        = {An Information-Based Theory of Conditionals},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {41},
  number       = {2},
  pages        = {95--141},
  year         = {2000},
  url          = {https://doi.org/10.1305/ndjfl/1038234607},
  doi          = {10.1305/NDJFL/1038234607},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Wobcke00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Wright00,
  author       = {Crispin Wright},
  title        = {Neo-Fregean Foundations for Real Analysis: Some Reflections on Frege's
                  Constraint},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {41},
  number       = {4},
  pages        = {317--334},
  year         = {2000},
  url          = {https://doi.org/10.1305/ndjfl/1038336879},
  doi          = {10.1305/NDJFL/1038336879},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Wright00.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.