Stop the war!Остановите войну!
for scientists:
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.
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.
last updated on 2024-05-05 00:54 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:
