10 found
Order:
Disambiguations
Mihir K. Chakraborty [5]Mihir Kumar Chakraborty [4]Mihir Kr Chakraborty [2]
  1.  31
    Singular Propositions, Negation and the Square of Opposition.Lopamudra Choudhury & Mihir Kumar Chakraborty - 2016 - Logica Universalis 10 (2-3):215-231.
    This paper contains two traditions of diagrammatic studies namely one, the Euler–Venn–Peirce diagram and the other, following tradition of Aristotle, the square of oppositions. We put together both the traditions to study representations of singular propositions, their negations and the inter relationship between the two. Along with classical negation we have incorporated negation of another kind viz. absence. We have also considered the changes that take place in the context of open universe.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  1
    Theory of Graded Consequence: A General Framework for Logics of Uncertainty.Mihir Kumar Chakraborty & Soma Dutta - 2019 - Springer Singapore.
    This book introduces the theory of graded consequence and its mathematical formulation. It also compares the notion of graded consequence with other notions of consequence in fuzzy logics, and discusses possible applications of the theory in approximate reasoning and decision-support systems. One of the main points where this book emphasizes on is that GCT maintains the distinction between the three different levels of languages of a logic, namely object language, metalanguage and metametalanguage, and thus avoids the problem of violation of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  15
    Venn Diagram with Names of Individuals and Their Absence: A Non-Classical Diagram Logic.Reetu Bhattacharjee, Mihir Kr Chakraborty & Lopamudra Choudhury - 2018 - Logica Universalis 12 (1-2):141-206.
    Venn diagram system has been extended by introducing names of individuals and their absence. Absence gives a kind of negation of singular propositions. We have offered here a non-classical interpretation of this negation. Soundness and completeness of the present diagram system have been established with respect to this interpretation.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  7
    On Extending Venn Diagram by Augmenting Names of Individuals.L. Choudhury & Mihir K. Chakraborty - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 142--146.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  35
    Negation and Paraconsistent Logics.Soma Dutta & Mihir K. Chakraborty - 2011 - Logica Universalis 5 (1):165-176.
    Does there exist any equivalence between the notions of inconsistency and consequence in paraconsistent logics as is present in the classical two valued logic? This is the key issue of this paper. Starting with a language where negation ( ${\neg}$ ) is the only connective, two sets of axioms for consequence and inconsistency of paraconsistent logics are presented. During this study two points have come out. The first one is that the notion of inconsistency of paraconsistent logics turns out to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  20
    $$Hbox {Venn}{I{O1}}$$ Venn I o 1 : A Diagram System for Universe Without Boundary.Reetu Bhattacharjee, Mihir Kr Chakraborty & Lopamudra Choudhury - 2019 - Logica Universalis 13 (3):289-346.
    A new diagram system \ where properties are fundamental and an object exists only w.r.t a property is presented. This work modifies both in syntax and semantics the system \ proposed by Choudhury and Chakraborty to picturise and address issues connected with open universe. Semantics for the current system is given. Soundness and completeness w.r.t the semantics are established.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  41
    Logic and Truth : Some Logics Without Theorems.Jayanta Sen & Mihir Kumar Chakraborty - 2008 - Studia Philosophica Estonica 1 (1):104-117.
    Two types of logical consequence are compared: one, with respect to matrix and designated elements and the other with respect to ordering in a suitable algebraic structure. Particular emphasis is laid on algebraic structures in which there is no top-element relative to the ordering. The significance of this special condition is discussed. Sequent calculi for a number of such structures are developed. As a consequence it is re-established that the notion of truth as such, not to speak of tautologies, is (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  8.  15
    Indian Institute of Technology, Kanpur January 14–26, 2008.Ramon Jansana, Mai Gehrke, Alessandra Palmigiano, Mihir K. Chakraborty, Didier Dubois, Eric Pacuit, Rohit Parikh & Prakash Panangaden - 2008 - Bulletin of Symbolic Logic 14 (4).
  9.  2
    Restricted Rules of Inference and Paraconsistency.Sankha S. Basu & Mihir K. Chakraborty - 2022 - Logic Journal of the IGPL 30 (3):534-560.
    In this paper, we study two companions of a logic, viz., the left variable inclusion companion and the restricted rules companion, their nature and interrelations, especially in connection with paraconsistency. A sufficient condition for the two companions to coincide has also been proved. Two new logical systems—intuitionistic paraconsistent weak Kleene logic and paraconsistent pre-rough logic —are presented here as examples of logics of left variable inclusion. IPWK is the left variable inclusion companion of intuitionistic propositional logic and is also the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  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