Year:

  1.  8
    Avicenna: A Challenge Dataset for Natural Language Generation Toward Commonsense Syllogistic Reasoning.Zeinab Aghahadi & Alireza Talebpour - 2022 - Journal of Applied Non-Classical Logics 32 (1):55-71.
    Syllogism is a type of everyday reasoning. For instance, given that ‘Avicenna wrote the famous book the Canon of Medicine’ and ‘The Canon of Medicine has influenced modern medicine,’ it can be conc...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2. A Separation Theorem for Discrete-Time Interval Temporal Logic.Dimitar P. Guelev & Ben Moszkowski - 2022 - Journal of Applied Non-Classical Logics 32 (1):28-54.
    Gabbay's separation theorem about linear temporal logic with past has proved to be one of the most useful theoretical results in temporal logic. In this paper, we establish an analogous statement a...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  1
    A Categorical Approach to Graded Fuzzy Topological System and Fuzzy Geometric Logic with Graded Consequence.Purbita Jana & Mihir K. Chakraborty - 2022 - Journal of Applied Non-Classical Logics 32 (1):11-27.
    A detailed study of graded frame, graded fuzzy topological system and fuzzy topological space with graded inclusion is already done in our earlier paper. The notions of graded fuzzy topological sys...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  3
    Representing Voting Rules in Łukasiewicz’s Three-Valued Logic.Adrian Miroiu & Mircea Dumitru - 2022 - Journal of Applied Non-Classical Logics 32 (1):72-88.
    We show how voting rules like the simple and the absolute majority rules, unanimity, consensus, etc. can be represented as logical operators in Łukasiewicz’s three-valued logic. First, we prove tha...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues