![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Notre Dame Journal of Formal Logic, Volume 62
Volume 62, Number 1, January 2021
- Graham Leach-Krouse:
Coalgebra and Abstraction. - Paul Anh Tran-Hoang:
On the Virtue of Categoricity. - Timothy McCarthy:
Induction, Constructivity, and Grounding. - Patricia A. Blanchette, Curtis Franks, Timothy Bays:
Introduction. - Emmylou Haffner:
The Shaping of Dedekind's Rigorous Mathematics: What Do Dedekind's Drafts Tell Us about His Ideal of Rigor? - Christopher P. Porter:
Revisiting Chaitin's Incompleteness Theorem. - Stewart Shapiro, Craige Roberts:
Open Texture and Mathematics. - Anand Pillay:
Remarks on Purity of Methods. - Ellen Lehet:
Impurity in Contemporary Mathematics.
Volume 62, Number 2, May 2021
- Pantelis E. Eleftheriou, Omar León Sánchez, Nathalie Regnault:
On Coincidence of Dimensions in Closed Ordered Differential Fields. - Chris J. Conidis:
The Complexity of Module Radicals. - Andrew Joseph McCarthy:
Modal Metatheory for Quantified Modal Logic, With and Without the Barcan Formulas. - Sergi Oms
, Elia Zardini
:
Inclosure and Intolerance. - Iris van der Giessen, Rosalie Iemhoff
:
Sequent Calculi for Intuitionistic Gödel-Löb Logic. - David R. Gilbert, Giorgio Venturi:
Reflexive-Insensitive Logics, the Boxdot Translation, and the Modal Logic of Generic Absoluteness. - Andreas Fjellstad, Jan-Fredrik Olsen:
IKTω and Łukasiewicz-Models. - Stefano Guerrini, Andrea Masini:
Proof Nets for Classical Logic. - Saronsad Sokantika, Athipat Thamrongthanyalak
:
Definable Continuous Solutions of Linear Equations. - Bruno Da Ré
:
Structural Weakening and Paradoxes.
Volume 62, Number 3, August 2021
- Edoardo Rivello
:
Generalizing Montague's Theorem on Recursive Definitions. - Jie Fan:
Two Variants of Noncontingency Operator. - Damián Enrique Szmuc, Thomas Macaulay Ferguson:
Meaningless Divisions. - Sara L. Uckelman:
What Problem Did Ladd-Franklin (Think She) Solve(d)? - Damir D. Dzhafarov, Stephen Flood, Reed Solomon, Linda Brown Westrick:
Effectiveness for the Dual Ramsey Theorem. - Guozhen Shen
:
A Choice-Free Cardinal Equality. - Philip Dittmann
, Arno Fehm:
Nondefinability of Rings of Integers in Most Algebraic Fields. - Gabriel Fernandes, Ralf Schindler:
Tall Cardinals in Extender Models.
Volume 62, Number 4, November 2021
- Carlo Nicolai
:
Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents. - Huishan Wu:
Characterizing von Neumann Regular Rings in Reverse Mathematics. - Joan Rand Moschovakis:
Solovay's Relative Consistency Proof for FIM and BI. - Nam Trang:
Supercompactness Can Be Equiconsistent with Measurability. - Shawn Standefer
:
An Incompleteness Theorem for Modal Relevant Logics. - Jiaqi He, Hu Liu:
A Probabilistic Semantics for Belief Logic.
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.