7 found
Order:
Disambiguations
Mihir Kumar Chakraborty [4]Mihir K. Chakraborty [3]Mihir Kr Chakraborty [2]
  1.  27
    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.  11
    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   1 citation  
  3.  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   3 citations  
  4.  32
    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   1 citation  
  5.  16
    $$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  
  6.  14
    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).
  7.  40
    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