Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/ndjfl/Africk92,
  author       = {Henry Africk},
  title        = {Classical Logic, Intuitionistic Logic and the Peirce Rule},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {2},
  pages        = {229--235},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636101},
  doi          = {10.1305/NDJFL/1093636101},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Africk92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Akama92,
  author       = {Seiki Akama},
  title        = {The Gentzen-Kripke construction of the intermediate logic {LQ}},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {1},
  pages        = {148--153},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636019},
  doi          = {10.1305/NDJFL/1093636019},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Akama92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Bonikowski92,
  author       = {Zbigniew Bonikowski},
  title        = {A Certain Conception of the Calculus of Rough Sets},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {3},
  pages        = {412--121},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634405},
  doi          = {10.1305/NDJFL/1093634405},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Bonikowski92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Buechler92,
  author       = {Steven Buechler},
  title        = {Book review: S. Shelah, Classification Theory and the Number of Non-Isomorphic
                  Models},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {1},
  pages        = {154--158},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636020},
  doi          = {10.1305/NDJFL/1093636020},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Buechler92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Crabbe92,
  author       = {Marcel Crabb{\'{e}}},
  title        = {On {NFU}},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {1},
  pages        = {112--119},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636013},
  doi          = {10.1305/NDJFL/1093636013},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Crabbe92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Denyer92,
  author       = {Nocholas Denyer},
  title        = {Pure Second-Order Logic},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {2},
  pages        = {220--224},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636099},
  doi          = {10.1305/NDJFL/1093636099},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Denyer92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Englebretsen92,
  author       = {George Englebretsen},
  title        = {Linear Diagrams for Syllogisms (with Relatitonals)},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {1},
  pages        = {37--69},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636009},
  doi          = {10.1305/NDJFL/1093636009},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Englebretsen92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Escriba92,
  author       = {Juan Barba Escriba},
  title        = {Two formal systems for situation semantics},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {1},
  pages        = {70--88},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636010},
  doi          = {10.1305/NDJFL/1093636010},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Escriba92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Fuchino92,
  author       = {Saka{\'{e}} Fuchino},
  title        = {On Potential Embedding and Versions of Martin's Axiom},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {4},
  pages        = {481--492},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634482},
  doi          = {10.1305/NDJFL/1093634482},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Fuchino92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Gent92,
  author       = {Ian P. Gent},
  title        = {A Sequent- or Tableau-style System for Lewis's Counterfactual Logic
                  {VC}},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {3},
  pages        = {369--382},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634402},
  doi          = {10.1305/NDJFL/1093634402},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Gent92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Giambrone92,
  author       = {Steve Giambrone},
  title        = {Real Reduced Models for Relevant Logics without {WI}},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {3},
  pages        = {442--449},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634408},
  doi          = {10.1305/NDJFL/1093634408},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Giambrone92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Hansson92,
  author       = {Sven Ove Hansson},
  title        = {The Difference Model of Voting},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {4},
  pages        = {576--592},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634490},
  doi          = {10.1305/NDJFL/1093634490},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Hansson92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Hazen92,
  author       = {Allen Hazen},
  title        = {The interpretability of Robinson arithmentic in the rafified second-order
                  theory of dense linear order},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {1},
  pages        = {101--111},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636012},
  doi          = {10.1305/NDJFL/1093636012},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Hazen92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Howard92,
  author       = {Paul E. Howard},
  title        = {The Axiom of Choice for Countable Collections of Countable Sets Does
                  Not Imply the Countable Union Theorem},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {2},
  pages        = {236--243},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636102},
  doi          = {10.1305/NDJFL/1093636102},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Howard92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Isles92,
  author       = {David Isles},
  title        = {What Evidence is There that 2\({}^{\mbox{65536}}\) is a Natural Number?},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {4},
  pages        = {465--480},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634481},
  doi          = {10.1305/NDJFL/1093634481},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Isles92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Jay92,
  author       = {C. Barry Jay},
  title        = {Coherence in category theory and the Church-Rosser property},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {1},
  pages        = {140--143},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636017},
  doi          = {10.1305/NDJFL/1093636017},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Jay92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Jin92,
  author       = {Renling Jin},
  title        = {A model in which every Kurepa Tree is thinck},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {1},
  pages        = {120--125},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636014},
  doi          = {10.1305/NDJFL/1093636014},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Jin92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Johnson92,
  author       = {Frederick A. Johnson},
  title        = {Counting Functions},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {4},
  pages        = {567--568},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634488},
  doi          = {10.1305/NDJFL/1093634488},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Johnson92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Krause92,
  author       = {D{\'{e}}cio Krause},
  title        = {On a Quasi-Set Theory},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {3},
  pages        = {402--411},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634404},
  doi          = {10.1305/NDJFL/1093634404},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Krause92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/KueckerL92,
  author       = {D. W. Kuecker and
                  Michael C. Laskowski},
  title        = {On Generic Structures},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {2},
  pages        = {175--183},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636094},
  doi          = {10.1305/NDJFL/1093636094},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/KueckerL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Lapierre92,
  author       = {Serge Lapierre},
  title        = {A Functional Partial Semantics for Intensional Logic},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {4},
  pages        = {517--541},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634484},
  doi          = {10.1305/NDJFL/1093634484},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Lapierre92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Laskowski92,
  author       = {Michael C. Laskowski},
  title        = {The Categoricity Spectrum of Pseudo-elementary Classes},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {3},
  pages        = {332--347},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634399},
  doi          = {10.1305/NDJFL/1093634399},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Laskowski92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Lepage92,
  author       = {Fran{\c{c}}ois Lepage},
  title        = {Partial Functions in Type Theory},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {4},
  pages        = {493--516},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634483},
  doi          = {10.1305/NDJFL/1093634483},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Lepage92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Linsky92,
  author       = {Bernard Linsky},
  title        = {A note on the "carving up content" principle of Frege's theory of
                  sense},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {1},
  pages        = {126--135},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636015},
  doi          = {10.1305/NDJFL/1093636015},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Linsky92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/MaresM92,
  author       = {Edwin D. Mares and
                  Robert K. Meyer},
  title        = {The Admissibility of {\(\gamma\)} in {R4}},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {2},
  pages        = {197--206},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636096},
  doi          = {10.1305/NDJFL/1093636096},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/MaresM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Marquis92,
  author       = {Jean{-}Pierre Marquis},
  title        = {Approximations and Logic},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {2},
  pages        = {184--196},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636095},
  doi          = {10.1305/NDJFL/1093636095},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Marquis92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/McColm92,
  author       = {Gregory L. McColm},
  title        = {Eventualy Periodicity and "One-Dimensional" Queries},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {2},
  pages        = {273--290},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636105},
  doi          = {10.1305/NDJFL/1093636105},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/McColm92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Nelson92,
  author       = {George C. Nelson},
  title        = {Constructive Ultraproducts and Isomorphisms of Recursively Saturated
                  Ultrapowers},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {3},
  pages        = {433--441},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634407},
  doi          = {10.1305/NDJFL/1093634407},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Nelson92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Northon-Smith92,
  author       = {Thomas M. Northon{-}Smith},
  title        = {A note on Philip Kitscher's analysis of mathematical truths},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {1},
  pages        = {136--139},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636016},
  doi          = {10.1305/NDJFL/1093636016},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Northon-Smith92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Otero92,
  author       = {Margarita Otero},
  title        = {Generic Models of the Theory of Normal Z-Rings},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {3},
  pages        = {322--331},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634398},
  doi          = {10.1305/NDJFL/1093634398},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Otero92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Purdy92,
  author       = {William C. Purdy},
  title        = {Surface reasoning},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {1},
  pages        = {13--36},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636008},
  doi          = {10.1305/NDJFL/1093636008},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Purdy92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Purdy92a,
  author       = {William C. Purdy},
  title        = {A Variable Free Logic for Mass Terms},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {3},
  pages        = {348--358},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634400},
  doi          = {10.1305/NDJFL/1093634400},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Purdy92a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Purdy92b,
  author       = {William C. Purdy},
  title        = {On the Question "Do we Need Indentity?"},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {4},
  pages        = {593--603},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634491},
  doi          = {10.1305/NDJFL/1093634491},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Purdy92b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Restall92,
  author       = {Greg Restall},
  title        = {A Note on Naive Set Theory in {LP}},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {3},
  pages        = {422--432},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634406},
  doi          = {10.1305/NDJFL/1093634406},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Restall92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Rijke92,
  author       = {Maarten de Rijke},
  title        = {Unary Interpretation Logic},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {2},
  pages        = {249--272},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636104},
  doi          = {10.1305/NDJFL/1093636104},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Rijke92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Rybakov92,
  author       = {Vladimir V. Rybakov},
  title        = {A Modal Analog for Glivenko's Theorem and its Applications},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {2},
  pages        = {244--248},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636103},
  doi          = {10.1305/NDJFL/1093636103},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Rybakov92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Schmerl92,
  author       = {James H. Schmerl},
  title        = {End Extensions of Models of Arithmetic},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {2},
  pages        = {216--220},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636098},
  doi          = {10.1305/NDJFL/1093636098},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Schmerl92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Shannon92,
  author       = {Gary P. Shannon},
  title        = {A note on some weak forms of the axiom of choise},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {1},
  pages        = {144--147},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636018},
  doi          = {10.1305/NDJFL/1093636018},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Shannon92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Shelah92,
  author       = {Saharon Shelah},
  title        = {The Hanf numbers of stationary logic {II:} Comparison with other logics},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {1},
  pages        = {1--12},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636007},
  doi          = {10.1305/NDJFL/1093636007},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Shelah92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Shlapentokh92,
  author       = {Alexandra Shlapentokh},
  title        = {A Diophantine Definition of Rational Integers over Some Rings of Algebraic
                  Numbers},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {3},
  pages        = {299--321},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634397},
  doi          = {10.1305/NDJFL/1093634397},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Shlapentokh92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Skura92,
  author       = {Tomasz F. Skura},
  title        = {Refutation Calculi for Certain Intermediate Propositional Logics},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {4},
  pages        = {552--560},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634486},
  doi          = {10.1305/NDJFL/1093634486},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Skura92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/StanleyM92,
  author       = {John K. Stanley and
                  Robert K. Meyer},
  title        = {A Structurally Complete Fragment of Relevant Logic},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {4},
  pages        = {561--566},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634487},
  doi          = {10.1305/NDJFL/1093634487},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/StanleyM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Sylvan92,
  author       = {Richard Sylvan},
  title        = {On Interpreting Thruth Tables and Relevant Truth Table Logic},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {2},
  pages        = {207--216},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636097},
  doi          = {10.1305/NDJFL/1093636097},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Sylvan92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Takano92,
  author       = {Mitio Takano},
  title        = {Cut-Free Systems for Three-Valued Modal Logics},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {3},
  pages        = {359--368},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634401},
  doi          = {10.1305/NDJFL/1093634401},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Takano92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Tuuri92,
  author       = {Heikki Tuuri},
  title        = {Relative Speration Theorems for L\({}^{\mbox{{\(\kappa\)}+{\(\kappa\)}}}\)},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {3},
  pages        = {383--401},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634403},
  doi          = {10.1305/NDJFL/1093634403},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Tuuri92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Wagner92,
  author       = {Frank O. Wagner},
  title        = {More on {R}},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {2},
  pages        = {159--174},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636093},
  doi          = {10.1305/NDJFL/1093636093},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Wagner92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Wang92,
  author       = {Xuegang Wang},
  title        = {The minimal System L'\({}_{\mbox{0}}\)},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {4},
  pages        = {569--575},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634489},
  doi          = {10.1305/NDJFL/1093634489},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Wang92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Weaver92,
  author       = {George Weaver},
  title        = {Unifying Some Modifications of the Henkin Construction},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {3},
  pages        = {450--460},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634409},
  doi          = {10.1305/NDJFL/1093634409},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Weaver92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Williamson92,
  author       = {Timothy Williamson},
  title        = {An Alternative Rule of disjunction in modal logic},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {1},
  pages        = {89--100},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636011},
  doi          = {10.1305/NDJFL/1093636011},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Williamson92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Zambella92,
  author       = {Domenico Zambella},
  title        = {On the Proofs of Arithmetical Completeness for Interpretability Logic},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {4},
  pages        = {542--551},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093634485},
  doi          = {10.1305/NDJFL/1093634485},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Zambella92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Zanardo92,
  author       = {Alberto Zanardo},
  title        = {A Note about the Axioms for Branching-Time Logic},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {33},
  number       = {2},
  pages        = {225--228},
  year         = {1992},
  url          = {https://doi.org/10.1305/ndjfl/1093636100},
  doi          = {10.1305/NDJFL/1093636100},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Zanardo92.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.