Year:

Forthcoming articles
  1. Hartry Field (forthcoming). Disarming a Paradox of Validity. Notre Dame Journal of Formal Logic.
    Abstract. Any theory of truth must find a way around Curry’s paradox, and there are well-known ways to do so. This paper concerns an apparently analogous paradox, about validity rather than truth, which JC Beall and Julien Murzi (“Two Flavor's of Curry's Paradox”) call the v-Curry. They argue that there are reasons to want a common solution to it and the standard Curry paradox, and that this rules out the solutions to the latter offered by most “naive truth theorists”. To (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  63
    Hartry Field, Harvey Lederman & Tore Fjetland Øgaard (forthcoming). Prospects for a Naive Theory of Classes. Notre Dame Journal of Formal Logic.
  3. Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt & Barbara Morawska (forthcoming). Deciding Unifiability and Computing Local Unifiers in the Description Logic $Mathcal{E!L}$ Without Top Constructor. Notre Dame Journal of Formal Logic.
    Unification in description logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. The inexpressive description logic $\mathcal{E\!L}$ is of particular interest in this context since, on the one hand, several large biomedical ontologies are defined using $\mathcal{E\!L}$. On the other hand, unification in $\mathcal{E\!L}$ has been shown to be NP-complete and, thus, of considerably lower complexity than unification in other description logics of similarly restricted expressive power. However, $\mathcal{E\!L}$ allows (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4. M. de Rijke & P. Blackburn (forthcoming). Special Issue on Combining Logics, Volume 37 (2) Of. Notre Dame Journal of Formal Logic.
     
    Export citation  
     
    My bibliography  
  5. W. Dean (forthcoming). Algorithms and the Mathematical Foundations of Computer Science. Notre Dame Journal of Formal Logic.
     
    Export citation  
     
    My bibliography  
  6. W. Dean (forthcoming). Explicit Modal Logic, Informal Provability and Montague's Paradox. Notre Dame Journal of Formal Logic.
     
    Export citation  
     
    My bibliography  
  7.  1
    Wojciech Dzik & Piotr Wojtylak (forthcoming). Modal Consequence Relations Extending $Mathbf{S4.3}$: An Application of Projective Unification. Notre Dame Journal of Formal Logic.
    We characterize all finitary consequence relations over $\mathbf{S4.3}$, both syntactically, by exhibiting so-called passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic $L$ extending $\mathbf{S4}$ has projective unification if and only if $L$ contains $\mathbf{S4.3}$. In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the known (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  10
    A. Gareau & R. Padmanabhan (forthcoming). Two Axioms for Implication Algebras. Notre Dame Journal of Formal Logic.
    Direct download  
     
    Export citation  
     
    My bibliography  
  9.  3
    Osvaldo Guzmán, Michael Hrušák & Arturo Martínez-Celis (forthcoming). Canjar Filters. Notre Dame Journal of Formal Logic.
    If $\mathcal{F}$ is a filter on $\omega$, we say that $\mathcal{F}$ is Canjar if the corresponding Mathias forcing does not add a dominating real. We prove that any Borel Canjar filter is $F_{\sigma}$, solving a problem of Hrušák and Minami. We give several examples of Canjar and non-Canjar filters; in particular, we construct a $\mathsf{MAD}$ family such that the corresponding Mathias forcing adds a dominating real. This answers a question of Brendle. Then we prove that in all the “classical” models (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. Lars Louder, Chloé Perin & Rizos Sklinos (forthcoming). Hyperbolic Towers and Independent Generic Sets in the Theory of Free Groups, to Appear in the Proceedings of the Conference" Recent Developments in Model Theory. Notre Dame Journal of Formal Logic.
     
    Export citation  
     
    My bibliography  
  11. G. Weaver (forthcoming). Dedekind Algebras. Notre Dame Journal of Formal Logic.
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues