Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/ndjfl/Baker06,
  author       = {Alan Baker},
  title        = {Book Review: Charles S. Chihara. \emph{A Structural Account of Mathematics}},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {3},
  pages        = {435--442},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1163775447},
  doi          = {10.1305/NDJFL/1163775447},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Baker06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/BaldwinKV06,
  author       = {John Baldwin and
                  David W. Kueker and
                  Monica Van Dieren},
  title        = {Upward Stability Transfer for Tame Abstract Elementary Classes},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {2},
  pages        = {291--298},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1153858652},
  doi          = {10.1305/NDJFL/1153858652},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/BaldwinKV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/BarmpaliasL06,
  author       = {George Barmpalias and
                  Andrew E. M. Lewis},
  title        = {A {C.E.} Real That Cannot Be SW-Computed by Any {\(\Omega\)} Number},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {2},
  pages        = {197--209},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1153858646},
  doi          = {10.1305/NDJFL/1153858646},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/BarmpaliasL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/BarmpaliasL06a,
  author       = {George Barmpalias and
                  Andrew E. M. Lewis},
  title        = {The Hypersimple-Free {C.E.} {WTT} Degrees Are Dense in the {C.E.}
                  {WTT} Degrees},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {3},
  pages        = {361--370},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1163775443},
  doi          = {10.1305/NDJFL/1163775443},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/BarmpaliasL06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Bassler06,
  author       = {O. Bradley Bassler},
  title        = {Book Review: Mark van Atten. \emph{On Brouwer}},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {4},
  pages        = {581--599},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1168352669},
  doi          = {10.1305/NDJFL/1168352669},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Bassler06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/BerensteinS06,
  author       = {Alexander Berenstein and
                  Ziv Shami},
  title        = {Invariant Version of Cardinality Quantifiers in Superstable Theories},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {3},
  pages        = {343--351},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1163775441},
  doi          = {10.1305/NDJFL/1163775441},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/BerensteinS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/BergerS06,
  author       = {Josef Berger and
                  Peter Schuster},
  title        = {Classifying Dini's Theorem},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {2},
  pages        = {253--262},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1153858650},
  doi          = {10.1305/NDJFL/1153858650},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/BergerS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Brown06,
  author       = {Jennifer Brown},
  title        = {Cellularity of Pseudo-Tree Algebras},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {3},
  pages        = {353--359},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1163775442},
  doi          = {10.1305/NDJFL/1163775442},
  timestamp    = {Tue, 30 Mar 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Brown06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Brunnler06,
  author       = {Kai Br{\"{u}}nnler},
  title        = {Locality for Classical Logic},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {4},
  pages        = {557--580},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1168352668},
  doi          = {10.1305/NDJFL/1168352668},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Brunnler06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/ButchartK06,
  author       = {Sam Butchart and
                  Tomasz Kowalski},
  title        = {A Note on Monothetic {BCI}},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {4},
  pages        = {541--544},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1168352666},
  doi          = {10.1305/NDJFL/1168352666},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/ButchartK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Carter06,
  author       = {Nathan C. Carter},
  title        = {Reflexive Intermediate Propositional Logics},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {1},
  pages        = {39--62},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1143468310},
  doi          = {10.1305/NDJFL/1143468310},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Carter06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Ciuciura06,
  author       = {Janusz Ciuciura},
  title        = {A Quasi-Discursive System ND\({}_{\mbox{2}}\)\({}^{\mbox{+}}\)},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {3},
  pages        = {371--384},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1163775444},
  doi          = {10.1305/NDJFL/1163775444},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Ciuciura06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/CsimaMS06,
  author       = {Barbara F. Csima and
                  Antonio Montalb{\'{a}}n and
                  Richard A. Shore},
  title        = {Boolean Algebras, Tarski Invariants, and Index Sets},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {1},
  pages        = {1--23},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1143468308},
  doi          = {10.1305/NDJFL/1143468308},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/CsimaMS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Goris06,
  author       = {Evan Goris},
  title        = {Interpolation and the Interpretability Logic of {PA}},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {2},
  pages        = {179--195},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1153858645},
  doi          = {10.1305/NDJFL/1153858645},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Goris06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/GuzyR06,
  author       = {Nicolas Guzy and
                  C{\'{e}}dric Rivi{\`{e}}re},
  title        = {Geometrical Axiomatization for Model Complete Theories of Differential
                  Topological Fields},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {3},
  pages        = {331--341},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1163775440},
  doi          = {10.1305/NDJFL/1163775440},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/GuzyR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/HamkinsM06,
  author       = {Joel David Hamkins and
                  Alexei Miasnikov},
  title        = {The Halting Problem Is Decidable on a Set of Asymptotic Probability
                  One},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {4},
  pages        = {515--524},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1168352664},
  doi          = {10.1305/NDJFL/1168352664},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/HamkinsM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Hodkinson06,
  author       = {Ian M. Hodkinson},
  title        = {Hybrid Formulas and Elementarily Generated Modal Logics},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {4},
  pages        = {443--478},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1168352661},
  doi          = {10.1305/NDJFL/1168352661},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Hodkinson06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Humberstone06,
  author       = {Lloyd Humberstone},
  title        = {Variations on a Theme of Curry},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {1},
  pages        = {101--131},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1143468315},
  doi          = {10.1305/NDJFL/1143468315},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Humberstone06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Ishihara06,
  author       = {Hajime Ishihara},
  title        = {Weak K{\"{o}}nig's Lemma Implies Brouwer's Fan Theorem: {A} Direct
                  Proof},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {2},
  pages        = {249--252},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1153858649},
  doi          = {10.1305/NDJFL/1153858649},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Ishihara06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/KhoussainovHS06,
  author       = {Bakhadyr Khoussainov and
                  Denis R. Hirschfeldt and
                  Pavel Semukhin},
  title        = {An Uncountably Categorical Theory Whose Only Computably Presentable
                  Model Is Saturated},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {1},
  pages        = {63--71},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1143468311},
  doi          = {10.1305/NDJFL/1143468311},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/KhoussainovHS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/KolesnikovK06,
  author       = {Alexei D. Kolesnikov and
                  G. V. N. G. Krishnamurthi},
  title        = {Morley Rank in Homogeneous Models},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {3},
  pages        = {319--329},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1163775439},
  doi          = {10.1305/NDJFL/1163775439},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/KolesnikovK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/LemppM06,
  author       = {Steffen Lempp and
                  Carl Mummert},
  title        = {Filters on Computable Posets},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {4},
  pages        = {479--485},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1168352662},
  doi          = {10.1305/NDJFL/1168352662},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/LemppM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Lokhorst06,
  author       = {Gert{-}Jan C. Lokhorst},
  title        = {Andersonian Deontic Logic, Propositional Quantification, and Mally},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {3},
  pages        = {385--395},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1163775445},
  doi          = {10.1305/NDJFL/1163775445},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Lokhorst06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Lowe06,
  author       = {Benedikt L{\"{o}}we},
  title        = {Set Theory With and Without Urelements and Categories of Interpretations},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {1},
  pages        = {83--91},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1143468313},
  doi          = {10.1305/NDJFL/1143468313},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Lowe06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Luck06,
  author       = {Uwe L{\"{u}}ck},
  title        = {Continu'ous Time Goes by Russell},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {3},
  pages        = {397--434},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1163775446},
  doi          = {10.1305/NDJFL/1163775446},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Luck06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Maher06,
  author       = {Patrick Maher},
  title        = {Book Review: David Christensen. \emph{Putting Logic in its Place:
                  Formal Constraints on Rational Belief}},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {1},
  pages        = {133--149},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1143468316},
  doi          = {10.1305/NDJFL/1143468316},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Maher06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Meyer06,
  author       = {Ulrich Meyer},
  title        = {Worlds and Times},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {1},
  pages        = {25--37},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1143468309},
  doi          = {10.1305/NDJFL/1143468309},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Meyer06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/MillerT06,
  author       = {Chris Miller and
                  James Tyne},
  title        = {Expansions of o-Minimal Structures by Iteration Sequences},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {1},
  pages        = {93--99},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1143468314},
  doi          = {10.1305/NDJFL/1143468314},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/MillerT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Muravitsky06,
  author       = {Alexei Y. Muravitsky},
  title        = {The Embedding Theorem: Its Further Developments and Consequences.
                  Part 1},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {4},
  pages        = {525--540},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1168352665},
  doi          = {10.1305/NDJFL/1168352665},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Muravitsky06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Oliva06,
  author       = {Paulo Oliva},
  title        = {Unifying Functional Interpretations},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {2},
  pages        = {263--290},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1153858651},
  doi          = {10.1305/NDJFL/1153858651},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Oliva06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Oosten06,
  author       = {Jaap van Oosten},
  title        = {A General Form of Relative Recursion},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {3},
  pages        = {311--318},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1163775438},
  doi          = {10.1305/NDJFL/1163775438},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Oosten06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Payetted06,
  author       = {Gillman Payette and
                  Blaine d'Entremont},
  title        = {Level Compactness},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {4},
  pages        = {545--555},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1168352667},
  doi          = {10.1305/NDJFL/1168352667},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Payetted06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Pratt-HartmannT06,
  author       = {Ian Pratt{-}Hartmann and
                  Allan Third},
  title        = {More Fragments of Language},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {2},
  pages        = {151--177},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1153858644},
  doi          = {10.1305/NDJFL/1153858644},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Pratt-HartmannT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Roeper06,
  author       = {Peter Roeper},
  title        = {The Aristotelian Continuum. {A} Formal Characterization},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {2},
  pages        = {211--232},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1153858647},
  doi          = {10.1305/NDJFL/1153858647},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Roeper06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Terwijn06,
  author       = {Sebastiaan A. Terwijn},
  title        = {Constructive Logic and the Medvedev Lattice},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {1},
  pages        = {73--82},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1143468312},
  doi          = {10.1305/NDJFL/1143468312},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Terwijn06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Thompson06,
  author       = {Katherine Thompson},
  title        = {Universality for Orders and Graphs Which Omit Large Substructures},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {2},
  pages        = {233--248},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1153858648},
  doi          = {10.1305/NDJFL/1153858648},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Thompson06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Visser06,
  author       = {Albert Visser},
  title        = {Propositional Logics of Closed and Open Substitutions over Heyting's
                  Arithmetic},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {3},
  pages        = {299--309},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1163775437},
  doi          = {10.1305/NDJFL/1163775437},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Visser06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Voutsadakis06,
  author       = {George Voutsadakis},
  title        = {Categorical Abstract Algebraic Logic: More on Protoalgebraicity},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {4},
  pages        = {487--514},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1168352663},
  doi          = {10.1305/NDJFL/1168352663},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Voutsadakis06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.