Π10-Encodability and Omniscient Reductions

JOURNAL ARTICLE published 1 January 2019 in Notre Dame Journal of Formal Logic

Authors: Benoit Monin | Ludovic Patey

Why Intuitionistic Relevant Logic Cannot Be a Core Logic

JOURNAL ARTICLE published 1 January 2017 in Notre Dame Journal of Formal Logic

Authors: Joseph Vidal-Rosset

Blurring: An Approach to Conflation

JOURNAL ARTICLE published 1 January 2018 in Notre Dame Journal of Formal Logic

Authors: David Ripley

Grothendieck Ring of the Pairing Function without Cycles

JOURNAL ARTICLE published 1 May 2022 in Notre Dame Journal of Formal Logic

Authors: Esther Elbaz

Sequent Calculi for Intuitionistic Gödel–Löb Logic

JOURNAL ARTICLE published 1 May 2021 in Notre Dame Journal of Formal Logic

Authors: Iris van der Giessen | Rosalie Iemhoff

Revisiting Chaitin’s Incompleteness Theorem

JOURNAL ARTICLE published 1 January 2021 in Notre Dame Journal of Formal Logic

Authors: Christopher P. Porter

The Logic of Turing Progressions

JOURNAL ARTICLE published 1 January 2020 in Notre Dame Journal of Formal Logic

Authors: Eduardo Hermo Reyes | Joost J. Joosten

Conditionals and Conditional Probabilities without Triviality

JOURNAL ARTICLE published 1 August 2019 in Notre Dame Journal of Formal Logic

Authors: Alexander R. Pruss

Noncontractive Classical Logic

JOURNAL ARTICLE published 1 November 2019 in Notre Dame Journal of Formal Logic

Authors: Lucas Rosenblatt

SCE-Cell Decomposition and OCP in Weakly O-Minimal Structures

JOURNAL ARTICLE published 1 January 2016 in Notre Dame Journal of Formal Logic

Authors: Jafar S. Eivazloo | Somayyeh Tari

The Distributivity on Bi-Approximation Semantics

JOURNAL ARTICLE published 1 January 2016 in Notre Dame Journal of Formal Logic

Authors: Tomoyuki Suzuki

A Note on FDE “All the Way Up”

JOURNAL ARTICLE published 1 May 2020 in Notre Dame Journal of Formal Logic

Authors: Jc Beall | Caleb Camrud

Remarks on Purity of Methods

JOURNAL ARTICLE published 1 January 2021 in Notre Dame Journal of Formal Logic

Authors: Anand Pillay

Self-Embeddings of Computable Trees

JOURNAL ARTICLE published 1 January 2008 in Notre Dame Journal of Formal Logic

Authors: Stephen Binns | Bjørn Kjos-Hanssen | Manuel Lerman | James H. Schmerl | Reed Solomon

Nondefinability of Rings of Integers in Most Algebraic Fields

JOURNAL ARTICLE published 1 August 2021 in Notre Dame Journal of Formal Logic

Authors: Philip Dittmann | Arno Fehm

Tall Cardinals in Extender Models

JOURNAL ARTICLE published 1 August 2021 in Notre Dame Journal of Formal Logic

Authors: Gabriel Fernandes | Ralf Schindler

More Automorphism Groups of Countable, Arithmetically Saturated Models of Peano Arithmetic

JOURNAL ARTICLE published 1 January 2018 in Notre Dame Journal of Formal Logic

Authors: James H. Schmerl

A Counterexample to Polynomially Bounded Realizability of Basic Arithmetic

JOURNAL ARTICLE published 1 August 2019 in Notre Dame Journal of Formal Logic

Authors: Mohammad Ardeshir | Erfan Khaniki | Mohsen Shahriari

Questions and Dependency in Intuitionistic Logic

JOURNAL ARTICLE published 1 January 2020 in Notre Dame Journal of Formal Logic

Authors: Ivano Ciardelli | Rosalie Iemhoff | Fan Yang

Categorical Abstract Algebraic Logic: Truth-Equational π-Institutions

JOURNAL ARTICLE published 1 January 2015 in Notre Dame Journal of Formal Logic

Authors: George Voutsadakis