default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre 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.
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.
last updated on 2025-05-27 21:42 CEST 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:
