Results for 'Hitoshi Nasu'

Order:
  1. Conjunction and Disjunction in Infectious Logics.Hitoshi Omori & Damian Szmuc - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 268-283.
    In this paper we discuss the extent to which conjunction and disjunction can be rightfully regarded as such, in the context of infectious logics. Infectious logics are peculiar many-valued logics whose underlying algebra has an absorbing or infectious element, which is assigned to a compound formula whenever it is assigned to one of its components. To discuss these matters, we review the philosophical motivations for infectious logics due to Bochvar, Halldén, Fitting, Ferguson and Beall, noticing that none of them discusses (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  2. Liberating classical negation from falsity conditions.Damian Szmuc & Hitoshi Omori - 2022 - Proceedings of the 52nd International Symposium on Multiple-Valued Logic (ISMVL 2022).
    In one of their papers, Michael De and Hitoshi Omori observed that the notion of classical negation is not uniquely determined in the context of so-called Belnap-Dunn logic, and in fact there are 16 unary operations that qualify to be called classical negation. These varieties are due to different falsity conditions one may assume for classical negation. The aim of this paper is to observe that there is an interesting way to make sense of classical negation independent of falsity (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. On Woodruff’s Constructive Nonsense Logic.Jonas R. B. Arenhart & Hitoshi Omori - forthcoming - Studia Logica:1-20.
    Sören Halldén’s logic of nonsense is one of the most well-known many-valued logics available in the literature. In this paper, we discuss Peter Woodruff’s as yet rather unexplored attempt to advance a version of such a logic built on the top of a constructive logical basis. We start by recalling the basics of Woodruff’s system and by bringing to light some of its notable features. We then go on to elaborate on some of the difficulties attached to it; on our (...)
    Download  
     
    Export citation  
     
    Bookmark