On Pseudo-Finite Dimensions

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

Authors: Ehud Hrushovski

Identity and the Cognitive Value of Logical Equations in Frege’s Foundational Project

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

Authors: Matthias Schirn

Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic

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

Authors: Tomoaki Kawano | Naosuke Matsuda | Kento Takagi

Outline of an Intensional Theory of Truth

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

Authors: Roy T. Cook

Structural Weakening and Paradoxes

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

Authors: Bruno Da Ré

Definable Continuous Solutions of Linear Equations

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

Authors: Saronsad Sokantika | Athipat Thamrongthanyalak

Prospects for a Theory of Decycling

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

Authors: Jon Erling Litland

Effectively Constructible Fixed Points in Sacchetti’s Modal Logics of Provability

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

Authors: Taishi Kurahashi | Yuya Okawa

A Probabilistic Semantics for Belief Logic

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

Authors: Jiaqi He | Hu Liu

Existence of Certain Finite Relation Algebras Implies Failure of Omitting Types for L n

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

Authors: Tarek Sayed Ahmed

A Partition Theorem of ωωα

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

Authors: Claribet Piña

A second-order axiomatic theory of strings.

JOURNAL ARTICLE published 1 October 1978 in Notre Dame Journal of Formal Logic

Authors: Howard C. Wasserman

A note on immune sets.

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

Authors: John W. Berry

On the independence of the Bigos-Kalmár axioms for sentential calculus.

JOURNAL ARTICLE published 1 April 1978 in Notre Dame Journal of Formal Logic

Authors: Robert C. Flagg

Extensions of $T^0$.

JOURNAL ARTICLE published 1 October 1972 in Notre Dame Journal of Formal Logic

Authors: Stanley E. Hayes

Syllogistic with complex terms.

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

Authors: A. J. Baker

Incidence rings of pre-ordered sets.

JOURNAL ARTICLE published 1 October 1973 in Notre Dame Journal of Formal Logic

Authors: W. Russell Belding

Combinatory and propositional logic.

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

Authors: David Meredith

Combinatorial systems with axiom.

JOURNAL ARTICLE published 1 July 1973 in Notre Dame Journal of Formal Logic

Authors: C. E. Hughes | W. E. Singletary

${rm S}3.02={rm S}3.03$.

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

Authors: George F. Schumm