default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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.
retrieved on 2024-09-26 02:54 CEST 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:
