{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,25]],"date-time":"2024-04-25T23:09:39Z","timestamp":1714086579126},"reference-count":48,"publisher":"Oxford University Press (OUP)","issue":"3","license":[{"start":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T00:00:00Z","timestamp":1649203200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,5,25]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Two algebraic structures, the contrapositionally complemented Heyting algebra (ccHa) and the contrapositionally $\\vee $ complemented Heyting algebra (c$\\vee $cHa), are studied. The salient feature of these algebras is that there are two negations, one intuitionistic and another minimal in nature, along with a condition connecting the two operators. Properties of these algebras are discussed, examples are given and comparisons are made with relevant algebras. Intuitionistic Logic with Minimal Negation (ILM) corresponding to ccHas and its extension ${\\textrm {ILM}}$-${\\vee }$ for c$\\vee $cHas are then investigated. Besides its relations with intuitionistic and minimal logics, ILM is observed to be related to Peirce\u2019s logic and Vakarelov\u2019s logic MIN. With a focus on properties of the two negations, relational semantics for ILM and ${\\textrm {ILM}}$-${\\vee }$ are obtained with respect to four classes of frames, and inter-translations between the classes preserving truth and validity are provided. ILM and ${\\textrm {ILM}}$-${\\vee }$ are shown to have the finite model property with respect to these classes of frames and proved to be decidable. Extracting features of the two negations in the algebras, a further investigation is made, following logical studies of negations that define the operators independently of the binary operator of implication. Using Dunn\u2019s logical framework for the purpose, two logics $K_{im}$ and $K_{im-{\\vee }}$ are discussed, where the language does not include implication. The $K_{im}$-algebras are reducts of ccHas and are different from relevant algebraic structures having two negations. The negations in the $K_{im}$-algebras and $K_{im-{\\vee }}$-algebras are shown to occupy distinct positions in an enhanced form of Dunn\u2019s kite of negations. Relational semantics for $K_{im}$ and $K_{im-{\\vee }}$ is provided by a class of frames that are based on Dunn\u2019s compatibility frames. It is observed that this class coincides with one of the four classes giving the relational semantics for ILM and ${\\textrm {ILM}}$-${\\vee }$.<\/jats:p>","DOI":"10.1093\/jigpal\/jzac041","type":"journal-article","created":{"date-parts":[[2022,3,20]],"date-time":"2022-03-20T12:06:50Z","timestamp":1647778010000},"page":"441-474","source":"Crossref","is-referenced-by-count":1,"title":["Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation"],"prefix":"10.1093","volume":"31","author":[{"given":"Anuj Kumar","family":"More","sequence":"first","affiliation":[{"name":"Department of Mathematics and Statistics Indian Institute of Technology Kanpur , Kanpur 208016, India"}]},{"given":"Mohua","family":"Banerjee","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Statistics Indian Institute of Technology Kanpur , Kanpur 208016, India"}]}],"member":"286","published-online":{"date-parts":[[2022,4,6]]},"reference":[{"key":"2023052700431074700_ref1","first-page":"167","article-title":"A category for rough sets","volume":"18","author":"Banerjee","year":"1993","journal-title":"Foundations of Computing and Decision Sciences"},{"key":"2023052700431074700_ref2","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1016\/S1571-0661(04)80701-1","article-title":"Foundations of vagueness","volume":"82","author":"Banerjee","year":"2003","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"2023052700431074700_ref3","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-8860-1","volume-title":"Leo Esakia on Duality in Modal and Intuitionistic Logics","author":"Bezhanishvili","year":"2014"},{"key":"2023052700431074700_ref4","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1016\/j.indag.2019.01.001","article-title":"A semantic hierarchy for intuitionistic logic","volume":"30","author":"Bezhanishvili","year":"2019","journal-title":"Indagationes Mathematicae"},{"key":"2023052700431074700_ref5","volume-title":"Lattices of Intermediate and Cylindric Modal Logics","author":"Bezhanishvili","year":"2006"},{"key":"2023052700431074700_ref6","first-page":"67","article-title":"Translations between logical systems: a manifesto","volume":"40","author":"Carnielli","year":"1997","journal-title":"Logique et Analyse"},{"key":"2023052700431074700_ref7","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/978-94-017-8860-1_4","article-title":"Esakia Duality and Its Extensions","volume-title":"Leo Esakia on Duality in Modal and Intuitionistic Logics","author":"Celani","year":"2014"},{"key":"2023052700431074700_ref8","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"Chagrov","year":"1997"},{"key":"2023052700431074700_ref9","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-3-540-75939-3_5","article-title":"The algebras of \u0141ukasiewicz many-valued logic: a historical overview","volume-title":"Algebraic and Proof-Theoretic Aspects of Non-Classical Logics","author":"Cignoli","year":"2007"},{"key":"2023052700431074700_ref10","article-title":"Cambridge Studies in Advanced Mathematics","volume-title":"Natural Dualities for the Working Algebraist","author":"Clark","year":"1998"},{"key":"2023052700431074700_ref11","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/s00500-016-2391-8","article-title":"Subminimal negation","volume":"21","author":"Colacito","year":"2017","journal-title":"Soft Computing"},{"key":"2023052700431074700_ref12","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"Davey","year":"2002"},{"key":"2023052700431074700_ref13","first-page":"15","article-title":"Negation as a modal operator","volume":"20","author":"Do\u0161en","year":"1986","journal-title":"Reports on Mathematical Logic"},{"key":"2023052700431074700_ref14","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-94-015-9309-0_4","article-title":"Negation in the light of modal logic","volume-title":"What Is Negation?","author":"Do\u0161en","year":"1999"},{"key":"2023052700431074700_ref15","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BFb0018431","article-title":"Gaggle theory: an abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators","volume-title":"Logics in AI","author":"Dunn","year":"1991"},{"key":"2023052700431074700_ref16","doi-asserted-by":"crossref","first-page":"331","DOI":"10.2307\/2214128","article-title":"Star and perp: two treatments of negation","volume":"7","author":"Dunn","year":"1993","journal-title":"Philosophical Perspectives"},{"key":"2023052700431074700_ref17","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/BF01061239","article-title":"Positive modal logic","volume":"55","author":"Dunn","year":"1995","journal-title":"Studia Logica"},{"key":"2023052700431074700_ref18","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1515\/9783110876802.3","article-title":"Generalized ortho negation","volume-title":"Negation: A Notion in Focus","author":"Dunn","year":"1996"},{"key":"2023052700431074700_ref19","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/s11225-005-8470-y","article-title":"Negation in the context of gaggle theory","volume":"80","author":"Dunn","year":"2005","journal-title":"Studia Logica"},{"key":"2023052700431074700_ref20","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1515\/9783110324921.227","article-title":"On the relation between various negative translations","volume-title":"Logic, Construction, Computation","author":"Ferreira","year":"2012"},{"key":"2023052700431074700_ref21","first-page":"289","article-title":"The analysis and synthesis of logic translation","volume-title":"Proceedings of the Twenty-Fifth International FLAIRS Conference (AICogSem)","author":"Fu","year":"2012"},{"key":"2023052700431074700_ref22","first-page":"130","article-title":"Conditional negation on the positive logic","volume":"23","author":"Geisler","year":"1994","journal-title":"Bulletin of the Section of Logic"},{"key":"2023052700431074700_ref23","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1002\/malq.19740201304","article-title":"Decidability of Some Extensions of J","volume":"20","author":"Goldblatt","year":"1974","journal-title":"Mathematical Logic Quarterly"},{"key":"2023052700431074700_ref24","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BF02121114","article-title":"Intuitionistic logic with strong negation","volume":"36","author":"Gurevich","year":"1977","journal-title":"Studia Logica"},{"key":"2023052700431074700_ref25","first-page":"119","article-title":"Der Minimalkalk\u00fcl, ein reduzierter intuitionistischer Formalismus","volume":"4","author":"Johansson","year":"1937","journal-title":"Compositio Mathematica"},{"key":"2023052700431074700_ref26","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0165-0114(90)90217-T","article-title":"Multivariable fuzzy controller under G\u00f6del\u2019s implication","volume":"34","author":"Kiszka","year":"1990","journal-title":"Fuzzy Sets and Systems"},{"key":"2023052700431074700_ref27","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","article-title":"Semantical analysis of modal logic I: normal modal propositional calculi","volume":"9","author":"Kripke","year":"1963","journal-title":"Mathematical Logic Quarterly"},{"key":"2023052700431074700_ref28","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1016\/S0049-237X(08)71685-9","article-title":"Semantical analysis of intuitionistic logic I","volume-title":"Formal Systems and Recursive Functions","author":"Kripke","year":"1965"},{"key":"2023052700431074700_ref29","volume-title":"A Study of Algebraic Structures and Logics Based on Categories of Rough Sets","author":"More","year":"2019"},{"key":"2023052700431074700_ref30","doi-asserted-by":"crossref","first-page":"173","DOI":"10.3233\/FI-2016-1429","article-title":"Categories and algebras from rough sets: new facets","volume":"148","author":"More","year":"2016","journal-title":"Fundamenta Informaticae"},{"key":"2023052700431074700_ref31","first-page":"95","article-title":"New algebras and logic from a category of rough sets","volume-title":"Rough Sets, IJCRS 2017","author":"More","year":"2017"},{"key":"2023052700431074700_ref32","doi-asserted-by":"crossref","first-page":"967","DOI":"10.1007\/s11225-019-09884-z","article-title":"Subminimal logics in light of Vakarelov\u2019s logic","volume":"108","author":"Niki","year":"2020","journal-title":"Studia Logica"},{"key":"2023052700431074700_ref33","first-page":"201","article-title":"The weakest logic of conditional negation","volume":"24","author":"Nowak","year":"1995","journal-title":"Bulletin of the Section of Logic"},{"key":"2023052700431074700_ref34","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/s11225-005-8472-9","article-title":"The class of extensions of Nelson\u2019s paraconsistent logic","volume":"80","author":"Odintsov","year":"2005","journal-title":"Studia Logica"},{"key":"2023052700431074700_ref35","doi-asserted-by":"crossref","first-page":"112","DOI":"10.3103\/S1055134407020034","article-title":"The lattice of extensions of the minimal logic","volume":"17","author":"Odintsov","year":"2007","journal-title":"Siberian Advances in Mathematics"},{"key":"2023052700431074700_ref36","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-6867-6","volume-title":"Constructive Negations and Paraconsistency","author":"Odintsov","year":"2008"},{"key":"2023052700431074700_ref37","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BF01001956","article-title":"Rough sets","volume":"11","author":"Pawlak","year":"1982","journal-title":"International Journal of Computer and Information Sciences"},{"key":"2023052700431074700_ref38","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/S0049-237X(08)70527-5","article-title":"A survey of some connections between classical, intuitionistic and minimal logic","volume":"50","author":"Prawitz","year":"1968","journal-title":"Studies in Logic and the Foundations of Mathematics"},{"key":"2023052700431074700_ref39","doi-asserted-by":"crossref","first-page":"135","DOI":"10.2307\/2964392","article-title":"Peirce\u2019s axioms for propositional calculus","volume":"23","author":"Prior","year":"1958","journal-title":"Journal of Symbolic Logic"},{"key":"2023052700431074700_ref40","article-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"An Algebraic Approach to Non-Classical Logics","author":"Rasiowa","year":"1974"},{"key":"2023052700431074700_ref41","doi-asserted-by":"crossref","first-page":"62","DOI":"10.4064\/fm-40-1-62-95","article-title":"Algebraic treatment of the notion of satisfiability","volume":"40","author":"Rasiowa","year":"1953","journal-title":"Fundamenta Mathematicae"},{"key":"2023052700431074700_ref42","doi-asserted-by":"crossref","first-page":"853","DOI":"10.1093\/jigpal\/8.6.853","article-title":"Defining double negation elimination","volume":"8","author":"Restall","year":"2000","journal-title":"Logic Journal of IGPL"},{"key":"2023052700431074700_ref43","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1111\/j.1755-2567.1968.tb00337.x","article-title":"Propositional logics related to Heyting\u2019s and Johansson\u2019s","volume":"34","author":"Segerberg","year":"1968","journal-title":"Theoria"},{"key":"2023052700431074700_ref44","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/s11225-005-8474-7","article-title":"Dual intuitionistic logic and a variety of negations: the logic of scientific research","volume":"80","author":"Shramko","year":"2005","journal-title":"Studia Logica"},{"key":"2023052700431074700_ref45","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF02121118","article-title":"Notes on N-lattices and constructive logic with strong negation","volume":"36","author":"Vakarelov","year":"1977","journal-title":"Studia Logica"},{"key":"2023052700431074700_ref46","doi-asserted-by":"crossref","first-page":"328","DOI":"10.2307\/j.ctv2x8v8c7.15","article-title":"Consistency, completeness and negation","volume-title":"Paraconsistent Logic: Essays on the Inconsistent","author":"Vakarelov","year":"1989"},{"key":"2023052700431074700_ref47","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/s11225-005-8476-5","article-title":"Nelson\u2019s negation on the base of weaker versions of intuitionistic negation","volume":"80","author":"Vakarelov","year":"2005","journal-title":"Studia Logica"},{"key":"2023052700431074700_ref48","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1111\/j.1755-2567.1970.tb00419.x","article-title":"A note on JP","volume":"36","author":"Woodruff","year":"1970","journal-title":"Theoria"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/31\/3\/441\/50460862\/jzac041.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/31\/3\/441\/50460862\/jzac041.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,19]],"date-time":"2023-11-19T01:44:53Z","timestamp":1700358293000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/31\/3\/441\/6562599"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,6]]},"references-count":48,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2022,4,6]]},"published-print":{"date-parts":[[2023,5,25]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzac041","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2023,6]]},"published":{"date-parts":[[2022,4,6]]}}}