Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/ndjfl/ndjfl62.bht:"
download as .bib file
@article{DBLP:journals/ndjfl/BlanchetteFB21,
author = {Patricia A. Blanchette and
Curtis Franks and
Timothy Bays},
title = {Introduction},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {1},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0010},
doi = {10.1215/00294527-2021-0010},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/BlanchetteFB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Conidis21,
author = {Chris J. Conidis},
title = {The Complexity of Module Radicals},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {2},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0017},
doi = {10.1215/00294527-2021-0017},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/Conidis21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DittmannF21,
author = {Philip Dittmann and
Arno Fehm},
title = {Nondefinability of Rings of Integers in Most Algebraic Fields},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {3},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0029},
doi = {10.1215/00294527-2021-0029},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/DittmannF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DzhafarovFSW21,
author = {Damir D. Dzhafarov and
Stephen Flood and
Reed Solomon and
Linda Brown Westrick},
title = {Effectiveness for the Dual Ramsey Theorem},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {3},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0024},
doi = {10.1215/00294527-2021-0024},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/DzhafarovFSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/EleftheriouSR21,
author = {Pantelis E. Eleftheriou and
Omar Le{\'{o}}n S{\'{a}}nchez and
Nathalie Regnault},
title = {On Coincidence of Dimensions in Closed Ordered Differential Fields},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {2},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0013},
doi = {10.1215/00294527-2021-0013},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/EleftheriouSR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Fan21,
author = {Jie Fan},
title = {Two Variants of Noncontingency Operator},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {3},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0025},
doi = {10.1215/00294527-2021-0025},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/Fan21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/FernandesS21,
author = {Gabriel Fernandes and
Ralf Schindler},
title = {Tall Cardinals in Extender Models},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {3},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0023},
doi = {10.1215/00294527-2021-0023},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/FernandesS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/FjellstadO21,
author = {Andreas Fjellstad and
Jan{-}Fredrik Olsen},
title = {IKT{\(\omega\)} and {\L}ukasiewicz-Models},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {2},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0012},
doi = {10.1215/00294527-2021-0012},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/FjellstadO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/GiessenI21,
author = {Iris van der Giessen and
Rosalie Iemhoff},
title = {Sequent Calculi for Intuitionistic G{\"{o}}del-L{\"{o}}b
Logic},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {2},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0011},
doi = {10.1215/00294527-2021-0011},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/GiessenI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/GilbertV21,
author = {David R. Gilbert and
Giorgio Venturi},
title = {Reflexive-Insensitive Logics, the Boxdot Translation, and the Modal
Logic of Generic Absoluteness},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {2},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0014},
doi = {10.1215/00294527-2021-0014},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/GilbertV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/GuerriniM21,
author = {Stefano Guerrini and
Andrea Masini},
title = {Proof Nets for Classical Logic},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {2},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0016},
doi = {10.1215/00294527-2021-0016},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/GuerriniM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Haffner21,
author = {Emmylou Haffner},
title = {The Shaping of Dedekind's Rigorous Mathematics: What Do Dedekind's
Drafts Tell Us about His Ideal of Rigor?},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {1},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0001},
doi = {10.1215/00294527-2021-0001},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/Haffner21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/HeL21,
author = {Jiaqi He and
Hu Liu},
title = {A Probabilistic Semantics for Belief Logic},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {4},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0033},
doi = {10.1215/00294527-2021-0033},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/HeL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Leach-Krouse21,
author = {Graham Leach{-}Krouse},
title = {Coalgebra and Abstraction},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {1},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0002},
doi = {10.1215/00294527-2021-0002},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/Leach-Krouse21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Lehet21,
author = {Ellen Lehet},
title = {Impurity in Contemporary Mathematics},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {1},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0003},
doi = {10.1215/00294527-2021-0003},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/Lehet21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/McCarthy21,
author = {Timothy McCarthy},
title = {Induction, Constructivity, and Grounding},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {1},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0004},
doi = {10.1215/00294527-2021-0004},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/McCarthy21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/McCarthy21a,
author = {Andrew Joseph McCarthy},
title = {Modal Metatheory for Quantified Modal Logic, With and Without the
Barcan Formulas},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {2},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0015},
doi = {10.1215/00294527-2021-0015},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/McCarthy21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Moschovakis21,
author = {Joan Rand Moschovakis},
title = {Solovay's Relative Consistency Proof for {FIM} and {BI}},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {4},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0034},
doi = {10.1215/00294527-2021-0034},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/Moschovakis21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Nicolai21,
author = {Carlo Nicolai},
title = {Cut Elimination for Systems of Transparent Truth with Restricted Initial
Sequents},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {4},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0032},
doi = {10.1215/00294527-2021-0032},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Nicolai21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/OmsZ21,
author = {Sergi Oms and
Elia Zardini},
title = {Inclosure and Intolerance},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {2},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0020},
doi = {10.1215/00294527-2021-0020},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/OmsZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Pillay21,
author = {Anand Pillay},
title = {Remarks on Purity of Methods},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {1},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0008},
doi = {10.1215/00294527-2021-0008},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/Pillay21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Porter21,
author = {Christopher P. Porter},
title = {Revisiting Chaitin's Incompleteness Theorem},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {1},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0006},
doi = {10.1215/00294527-2021-0006},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/Porter21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Re21,
author = {Bruno Da R{\'{e}}},
title = {Structural Weakening and Paradoxes},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {2},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0018},
doi = {10.1215/00294527-2021-0018},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/Re21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Rivello21,
author = {Edoardo Rivello},
title = {Generalizing Montague's Theorem on Recursive Definitions},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {3},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0027},
doi = {10.1215/00294527-2021-0027},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Rivello21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/ShapiroR21,
author = {Stewart Shapiro and
Craige Roberts},
title = {Open Texture and Mathematics},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {1},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0007},
doi = {10.1215/00294527-2021-0007},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/ShapiroR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Shen21,
author = {Guozhen Shen},
title = {A Choice-Free Cardinal Equality},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {3},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0028},
doi = {10.1215/00294527-2021-0028},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Shen21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/SokantikaT21,
author = {Saronsad Sokantika and
Athipat Thamrongthanyalak},
title = {Definable Continuous Solutions of Linear Equations},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {2},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0019},
doi = {10.1215/00294527-2021-0019},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/SokantikaT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Standefer21,
author = {Shawn Standefer},
title = {An Incompleteness Theorem for Modal Relevant Logics},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {4},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0035},
doi = {10.1215/00294527-2021-0035},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/Standefer21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/SzmucF21,
author = {Dami{\'{a}}n Enrique Szmuc and
Thomas Macaulay Ferguson},
title = {Meaningless Divisions},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {3},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0022},
doi = {10.1215/00294527-2021-0022},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/SzmucF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Tran-Hoang21,
author = {Paul Anh Tran{-}Hoang},
title = {On the Virtue of Categoricity},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {1},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0005},
doi = {10.1215/00294527-2021-0005},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/Tran-Hoang21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Trang21,
author = {Nam Trang},
title = {Supercompactness Can Be Equiconsistent with Measurability},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {4},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0031},
doi = {10.1215/00294527-2021-0031},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/Trang21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Uckelman21,
author = {Sara L. Uckelman},
title = {What Problem Did Ladd-Franklin (Think She) Solve(d)?},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {3},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0026},
doi = {10.1215/00294527-2021-0026},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/Uckelman21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Wu21,
author = {Huishan Wu},
title = {Characterizing von Neumann Regular Rings in Reverse Mathematics},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {4},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0036},
doi = {10.1215/00294527-2021-0036},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/Wu21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-06-02 08:02 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:
