7 found
Order:
  1.  31
    A Sahlqvist Theorem for Substructural Logic.Tomoyuki Suzuki - 2013 - Review of Symbolic Logic 6 (2):229-253.
    In this paper, we establish the first-order definability of sequents with consistent variable occurrence on bi-approximation semantics by means of the Sahlqvist–van Benthem algorithm. Then together with the canonicity results in Suzuki (2011), this allows us to establish a Sahlqvist theorem for substructural logic. Our result is not limited to substructural logic but is also easily applicable to other lattice-based logics.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  28
    Canonicity Results of Substructural and Lattice-Based Logics.Tomoyuki Suzuki - 2011 - Review of Symbolic Logic 4 (1):1-42.
    In this paper, we extend the canonicity methodology in Ghilardi & Meloni (1997) to arbitrary lattice expansions, and syntactically describe canonical inequalities for lattice expansions consisting of -meet preserving operations, -multiplicative operations, adjoint pairs, and constants. This approach gives us a uniform account of canonicity for substructural and lattice-based logics. Our method not only covers existing results, but also systematically accounts for many canonical inequalities containing nonsmooth additive and multiplicative uniform operations. Furthermore, we compare our technique with the approach in (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  3.  4
    Bi-Approximation Semantics for Substructural Logic at Work.Tomoyuki Suzuki - 2010 - In Lev Beklemishev, Valentin Goranko & Valentin Shehtman (eds.), Advances in Modal Logic, Volume 8. CSLI Publications. pp. 411-433.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  15
    The Distributivity on Bi-Approximation Semantics.Tomoyuki Suzuki - 2016 - Notre Dame Journal of Formal Logic 57 (3):411-430.
    In this paper, we give a possible characterization of the distributivity on bi-approximation semantics. To this end, we introduce new notions of special elements on polarities and show that the distributivity is first-order definable on bi-approximation semantics. In addition, we investigate the dual representation of those structures and compare them with bi-approximation semantics for intuitionistic logic. We also discuss that two different methods to validate the distributivity—by the splitters and by the adjointness—can be explicated with the help of the axiom (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  3
    Morphisms on Bi-Approximation Semantics.Tomoyuki Suzuki - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 494-515.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  17
    Interactions Between a Quiz Robot and Multiple Participants: Focusing on Speech, Gaze and Bodily Conduct in Japanese and English Speakers.Akiko Yamazaki, Keiichi Yamazaki, Keiko Ikeda, Matthew Burdelski, Mihoko Fukushima, Tomoyuki Suzuki, Miyuki Kurihara, Yoshinori Kuno & Yoshinori Kobayashi - 2013 - Interaction Studies: Social Behaviour and Communication in Biological and Artificial Systems 14 (3):366-389.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  1
    Interactions Between a Quiz Robot and Multiple Participants.Akiko Yamazaki, Keiichi Yamazaki, Keiko Ikeda, Matthew Burdelski, Mihoko Fukushima, Tomoyuki Suzuki, Miyuki Kurihara, Yoshinori Kuno & Yoshinori Kobayashi - 2013 - Interaction Studies. Social Behaviour and Communication in Biological and Artificial Systemsinteraction Studies / Social Behaviour and Communication in Biological and Artificial Systemsinteraction Studies 14 (3):366-389.
    This paper reports on a quiz robot experiment in which we explore similarities and differences in human participant speech, gaze, and bodily conduct in responding to a robot’s speech, gaze, and bodily conduct across two languages. Our experiment involved three-person groups of Japanese and English-speaking participants who stood facing the robot and a projection screen that displayed pictures related to the robot’s questions. The robot was programmed so that its speech was coordinated with its gaze, body position, and gestures in (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark