{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:02Z","timestamp":1761611222309},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,3,26]],"date-time":"2008-03-26T00:00:00Z","timestamp":1206489600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1007\/s11225-008-9113-x","type":"journal-article","created":{"date-parts":[[2008,3,25]],"date-time":"2008-03-25T08:50:03Z","timestamp":1206435003000},"page":"325-348","source":"Crossref","is-referenced-by-count":37,"title":["Constructive Logic with Strong Negation is a Substructural Logic. I"],"prefix":"10.1007","volume":"88","author":[{"given":"Matthew","family":"Spinks","sequence":"first","affiliation":[]},{"given":"Robert","family":"Veroff","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,3,26]]},"reference":[{"key":"9113_CR1","volume-title":"Distributive Lattices","author":"R. Balbes","year":"1974","unstructured":"Balbes R., Dwinger P. (1974). Distributive Lattices. University of Missouri Press, Columbia"},{"key":"9113_CR2","unstructured":"Bignall, R. J., and M. Spinks, \u2018On binary discriminator varieties, I: Implicative BCS-algebras\u2019, International Journal of Algebra and Computation, To appear."},{"key":"9113_CR3","unstructured":"Blok,W. J., and D. Pigozzi, \u2018Abstract Algebraic Logic and the Deduction Theorem\u2019, Manuscript, 2001."},{"key":"9113_CR4","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/BF01190766","volume":"33","author":"W.J. Blok","year":"1995","unstructured":"Blok W.J., Raftery J.G. (1995). \u2018On the quasivariety of BCK-algebras and its subvarieties\u2019. Algebra Universalis 33, 68\u201390","journal-title":"Algebra Universalis"},{"key":"9113_CR5","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1006\/jabr.1996.6834","volume":"190","author":"W.J. Blok","year":"1997","unstructured":"Blok W.J., Raftery J.G. (1997). \u2018Varieties of commutative residuated integral pomonoids and their residuation subreducts\u2019. Journal of Algebra 190, 280\u2013 328","journal-title":"Journal of Algebra"},{"key":"9113_CR6","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1142\/S0218196703001511","volume":"13","author":"K. Blount","year":"2003","unstructured":"Blount K., Tsinakis C. (2003). \u2018The structure of residuated lattices\u2019. International Journal of Algebra and Computation 13, 437\u2013461","journal-title":"International Journal of Algebra and Computation"},{"key":"9113_CR7","first-page":"147","volume":"XXI","author":"D. Brignole","year":"1963","unstructured":"Brignole D. (1963). \u2018Axiomatizaci\u00f3n de un N-reticulado\u2019. Revista de la Union Matem\u00e1tica Argentina XXI, 147\u2013148","journal-title":"Revista de la Union Matem\u00e1tica Argentina"},{"key":"9113_CR8","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1305\/ndjfl\/1093893718","volume":"10","author":"D. Brignole","year":"1969","unstructured":"Brignole D. (1969). \u2018Equational characterisation of Nelson algebra\u2019. Notre Dame Journal of Formal Logic 10, 285\u2013297","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9113_CR9","doi-asserted-by":"crossref","unstructured":"Busaniche, M. and R. Cignoli, \u2018Constructive logic with strong negation as a substructural logic\u2019, Submitted, 2007.","DOI":"10.1093\/logcom\/exn081"},{"key":"9113_CR10","doi-asserted-by":"crossref","unstructured":"Burris, S., and H.P. Sankappanavar, A Course in Universal Algebra, Graduate Texts in Mathematics, no. 78, Springer-Verlag, New York, 1981.","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"9113_CR11","doi-asserted-by":"crossref","unstructured":"Castiglioni, J. L., M. Menni, and M. Sagastume, \u2018On some categories of involutive centered residuated lattices\u2019, Submitted, 2007.","DOI":"10.1007\/s11225-008-9145-2"},{"key":"9113_CR12","first-page":"157","volume":"52","author":"I. Chajda","year":"2002","unstructured":"Chajda I., Hala\u0161 R. (2002). \u2018Algebraic properties of pre-logics\u2019. Mathematica Slovaca 52, 157\u2013175","journal-title":"Mathematica Slovaca"},{"key":"9113_CR13","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s000120050001","volume":"42","author":"I. Chajda","year":"1999","unstructured":"Chajda I., Hala\u0161 R., Rosenberg I.G. (1999). \u2018Ideals and the binary discriminator in universal algebra\u2019. Algebra Universalis 42, 239\u2013251","journal-title":"Algebra Universalis"},{"key":"9113_CR14","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/BF01230621","volume":"23","author":"R. Cignoli","year":"1986","unstructured":"Cignoli R. (1986). \u2018The class of Kleene algebras satisfying an interpolation property and Nelson algebras\u2019. Algebra Universalis 23, 262\u2013292","journal-title":"Algebra Universalis"},{"key":"9113_CR15","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1017\/S0004972700006730","volume":"22","author":"W.H. Cornish","year":"1980","unstructured":"Cornish W.H. (1980). \u2018Varieties generated by finite BCK-algebras\u2019. Bulletin of the Australian Mathematical Society 22, 411\u2013430","journal-title":"Bulletin of the Australian Mathematical Society"},{"key":"9113_CR16","unstructured":"Cornish, W. H., \u2018On Is\u00e9ki\u2019s BCK-algebras\u2019, in P. Schultz, C. E. Praeger, and R. P. Sullivan (eds.), Algebraic Structures and Applications: Proceedings of the First Western Australian Conference on Algebra, Lecture Notes in Pure and Applied Mathematics, no. 74, Marcel Dekker, New York, 1982, pp. 101\u2013122."},{"key":"9113_CR17","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.apal.2003.11.008","volume":"127","author":"J. Czelakowski","year":"2004","unstructured":"Czelakowski J., Pigozzi D. (2004). \u2018Fregean logics\u2019. Annals of Pure and Applied Logic 127, 17\u201376","journal-title":"Annals of Pure and Applied Logic"},{"key":"9113_CR18","first-page":"61","volume":"35","author":"A. Figallo","year":"1989","unstructured":"Figallo A. (1989). \u2018Notes on generalized N-lattices\u2019. Revista de la Union Matem\u00e1tica Argentina 35, 61\u201366","journal-title":"Revista de la Union Matem\u00e1tica Argentina"},{"key":"9113_CR19","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s11225-006-8305-5","volume":"83","author":"N. Galatos","year":"2006","unstructured":"Galatos N., Ono H. (2006). \u2018Algebraization, parameterized local deduction theorem and interpolation for substructural logics over FL\u2019. Studia Logica 83, 279\u2013308","journal-title":"Studia Logica"},{"key":"9113_CR20","unstructured":"Gyuris, V., \u2018Variations of Algebraizability\u2019, Ph. D. thesis, The University of Illinois at Chicago, 1999."},{"key":"9113_CR21","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1142\/S0218196702001048","volume":"12","author":"J.B. Hart","year":"2002","unstructured":"Hart J.B., Rafter L., Tsinakis C. (2002). \u2018The structure of commutative residuated lattices\u2019. International Journal of Algebra and Computation 12, 509\u2013524","journal-title":"International Journal of Algebra and Computation"},{"key":"9113_CR22","first-page":"69","volume":"29","author":"D. Higgs","year":"1984","unstructured":"Higgs D. (1984). \u2018Residuated commutative monoids with identity element as least element do not form an equational class\u2019. Mathematica Japonica 29, 69\u201375","journal-title":"Mathematica Japonica"},{"key":"9113_CR23","first-page":"603","volume":"58","author":"S.M. Hong","year":"2003","unstructured":"Hong S.M., Jun Y.B., \u00d6zt\u00fcrk M.A. (2003). \u2018Generalisations of BCK-algebras\u2019. Scientiae Mathematica Japonica 58, 603\u2013611","journal-title":"Scientiae Mathematica Japonica"},{"key":"9113_CR24","first-page":"839","volume":"29","author":"P. Idziak","year":"1984","unstructured":"Idziak P. (1984). \u2018Lattice operations in BCK-algebras\u2019. Mathematica Japonica 29, 839\u2013846","journal-title":"Mathematica Japonica"},{"key":"9113_CR25","first-page":"1","volume":"23","author":"K. Is\u00e9ki","year":"1978","unstructured":"Is\u00e9ki K., Tanaka S. (1978). \u2018An introduction to the theory of BCK-algebras\u2019. Mathematica Japonica 23, 1\u201326","journal-title":"Mathematica Japonica"},{"key":"9113_CR26","unstructured":"Kowalski, T., and H. Ono, \u2018Residuated Lattices: An Algebraic Glimpse at Logics without Contraction\u2019, Manuscript, 2000, 67\u00a0pp."},{"key":"9113_CR27","unstructured":"McCune, W., Prover 9, http:\/\/www.cs.unm.edu\/~mccune\/prover9 , 2007."},{"key":"9113_CR28","doi-asserted-by":"crossref","unstructured":"McCune, W., and R. Padmanabhan, Automated Deduction in Equational Logic and Cubic Curves, Lecture Notes in Computer Science (AI subseries), Springer-Verlag, Berlin, 1996.","DOI":"10.1007\/3-540-61398-6"},{"key":"9113_CR29","unstructured":"Nelson, D., \u2018Negation and the separation of concepts in constructive systems\u2019, in Constructivity in Mathematics: Proceedings of a conference held at Amsterdam 1957, North-Holland, Amsterdam, 1959, pp. 208\u2013225."},{"key":"9113_CR30","doi-asserted-by":"crossref","unstructured":"Nelson, D., Review of \u2018Caract\u00e9risation des alg\u00e8bres de Nelson par des \u00e9galit\u00e9s\u2019, Notas de l\u00f3gica matematica, no. 20, Instituto de Mathematica, Universidad Nacional del Sur, Bah\u00eda Blanca (1964), in Journal of Symbolic Logic 34 (1969), 119.","DOI":"10.2307\/2271002"},{"key":"9113_CR31","doi-asserted-by":"publisher","first-page":"169","DOI":"10.2307\/2273798","volume":"50","author":"H. Ono","year":"1985","unstructured":"Ono H., Komori Y. (1985). \u2018Logics without the contraction rule\u2019. Journal of Symbolic Logic 50: 169\u2013201","journal-title":"Journal of Symbolic Logic"},{"key":"9113_CR32","unstructured":"Ono, H., \u2018Logics without contraction rule and residuated lattices I\u2019, To appear in Festschrift of Prof. R. K. Meyer."},{"key":"9113_CR33","doi-asserted-by":"crossref","unstructured":"Ono, H., \u2018Substructural logics and residuated lattices\u2014an introduction\u2019, in Trends in Logic: 50 Years of Studia Logica, Kluwer Academic Publishers, Dordrecht, 2003, pp. 193\u2013228.","DOI":"10.1007\/978-94-017-3598-8_8"},{"key":"9113_CR34","unstructured":"Patterson, A., \u2018A logical treatment of constructive duality\u2019, Manuscript, 1998."},{"key":"9113_CR35","unstructured":"Rasiowa, H., An Algebraic Approach to Non-Classical Logics, Studies in Logic and the Foundations of Mathematics, no. 78, North-Holland Publishing Company, Amsterdam, 1974."},{"key":"9113_CR36","doi-asserted-by":"crossref","unstructured":"Schroeder-Heister, P., and Do\u0161en, K. (eds.), Substructural Logics, Oxford University Press, 1993.","DOI":"10.1093\/oso\/9780198537779.001.0001"},{"key":"9113_CR37","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/BF02429842","volume":"43","author":"A. Sendlewski","year":"1984","unstructured":"Sendlewski A. (1984). \u2018Some investigations of varieties of $${\\mathcal{N}}$$ -lattices\u2019. Studia Logica 43, 257\u2013280","journal-title":"Studia Logica"},{"key":"9113_CR38","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s00012-004-1852-6","volume":"51","author":"M. Spinks","year":"2004","unstructured":"Spinks M. (2004). \u2018Ternary and quaternary deductive terms for Nelson algebras\u2019. Algebra Universalis 51, 125\u2013136","journal-title":"Algebra Universalis"},{"key":"9113_CR39","unstructured":"Spinks, M., R. J. Bignall, and R. Veroff, \u2018On the poset structure of n-potent right ideal commutative BCK-algebras\u2019, In preparation, 2008."},{"key":"9113_CR40","doi-asserted-by":"crossref","unstructured":"Spinks, M. and R. Veroff, \u2018Constructive logic with strong negation is a substructural logic, II\u2019, Studia Logica, To appear.","DOI":"10.1007\/s11225-008-9138-1"},{"key":"9113_CR41","unstructured":"Spinks, M. and R. Veroff, Constructive logic with strong negation is a substructural logic, I and II: Web support. http:\/\/www.cs.unm.edu\/~veroff\/CLSN , 2008."},{"key":"9113_CR42","first-page":"27","volume":"48","author":"M. Spinks","year":"2007","unstructured":"Spinks M., Veroff R. (2007). \u2018Characterisations of Nelson algebras\u2019. Revista de la Union Mathem\u00e1tica Argentina 48, 27\u201339","journal-title":"Revista de la Union Mathem\u00e1tica Argentina"},{"key":"9113_CR43","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1002\/malq.19690151602","volume":"15","author":"R.H. Thomason","year":"1969","unstructured":"Thomason R.H. (1969). \u2018A semantical study of constructible falsity\u2019. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 15, 247\u2013257","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"9113_CR44","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF02121118","volume":"36","author":"D. Vakarelov","year":"1977","unstructured":"Vakarelov D. (1977). \u2018Notes on N-lattices and constructive logic with strong negation\u2019. Studia Logica 36: 109\u2013125","journal-title":"Studia Logica"},{"key":"9113_CR45","doi-asserted-by":"crossref","unstructured":"van Alten, C. J., and J. G. Raftery, \u2018On the lattice of varieties of residuation algebras\u2019, Algebra Universalis (1999), 283\u2013315.","DOI":"10.1007\/s000120050116"},{"key":"9113_CR46","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/B:STUD.0000032087.02579.e2","volume":"76","author":"C.J. Alten van","year":"2004","unstructured":"van Alten C.J., Raftery J.G. (2004). \u2018Rule separation and embedding theorems for logics without weakening\u2019. Studia Logica 76, 241\u2013274","journal-title":"Studia Logica"},{"key":"9113_CR47","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1023\/A:1010639725972","volume":"27","author":"R. Veroff","year":"2001","unstructured":"Veroff R. (2001). \u2018Solving open questions and other challenge problems using proof sketches\u2019. Journal of Automated Reasoning 27, 157\u2013174","journal-title":"Journal of Automated Reasoning"},{"key":"9113_CR48","unstructured":"Viglizzo, I. D., \u2018Algebras de Nelson\u2019, Tesis de Magister en Matem\u00e1tica, Universidad Nacional del Sur, Bah\u00eda Blanca, 1999."},{"key":"9113_CR49","doi-asserted-by":"crossref","unstructured":"W\u00f3jcicki, R., Theory of Logical Calculi, Synthese Library, no. 199, Kluwer Academic Publishers, Dordrecht, 1988.","DOI":"10.1007\/978-94-015-6942-2"},{"key":"9113_CR50","first-page":"211","volume":"28","author":"A. Wro\u0144ski","year":"1983","unstructured":"Wro\u0144ski A. (1983). \u2018BCK-algebras do not form a variety\u2019. Mathematica Japonica 28, 211\u2013213","journal-title":"Mathematica Japonica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-008-9113-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-008-9113-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-008-9113-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-008-9113-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,24]],"date-time":"2024-02-24T01:45:43Z","timestamp":1708739143000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-008-9113-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3,26]]},"references-count":50,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,4]]}},"alternative-id":["9113"],"URL":"https:\/\/doi.org\/10.1007\/s11225-008-9113-x","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,3,26]]}}}