{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:14:19Z","timestamp":1759032859718},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,8,1]],"date-time":"2008-08-01T00:00:00Z","timestamp":1217548800000},"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,8]]},"DOI":"10.1007\/s11225-008-9138-1","type":"journal-article","created":{"date-parts":[[2008,8,17]],"date-time":"2008-08-17T03:56:07Z","timestamp":1218945367000},"page":"401-425","source":"Crossref","is-referenced-by-count":27,"title":["Constructive Logic with Strong Negation is a Substructural Logic. II"],"prefix":"10.1007","volume":"89","author":[{"given":"M.","family":"Spinks","sequence":"first","affiliation":[]},{"given":"R.","family":"Veroff","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,8,18]]},"reference":[{"key":"9138_CR1","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1017\/S1446788700002998","volume":"71","author":"P. Aglian\u00f2","year":"2001","unstructured":"Aglian\u00f2 P. (2001) \u2018Fregean subtractive varieties with definable congruences\u2019. Journal of the Australian Mathematical Society, Series A 71: 353\u2013366","journal-title":"Journal of the Australian Mathematical Society, Series A"},{"key":"9138_CR2","volume-title":"Distributive Lattices","author":"R. Balbes","year":"1974","unstructured":"Balbes R., Dwinger P. (1974) Distributive Lattices. University of Missouri Press, Columbia"},{"key":"9138_CR3","unstructured":"Blok, W.J., and D. Pigozzi, \u2018Algebraizable logics\u2019, Memoirs of the American Mathematical Society 77 (1989), no. 396."},{"key":"9138_CR4","first-page":"1","volume-title":"Universal Algebra and Quasigroup Theory","author":"W.J. Blok","year":"1992","unstructured":"Blok W.J., Pigozzi D (1992) \u2018Algebraic semantics for universal Horn logic without equality\u2019. In: Romanowska A., Smith J.D.H. (eds) Universal Algebra and Quasigroup Theory. Heldermann Verlag, Berlin, pp 1\u201356"},{"key":"9138_CR5","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/BF01195727","volume":"32","author":"W.J. Blok","year":"1994","unstructured":"Blok W.J., Pigozzi D. (1994) \u2018On the structure of varieties with equationally definable principal congruences III\u2019. Algebra Universalis 32: 545\u2013608","journal-title":"Algebra Universalis"},{"key":"9138_CR6","unstructured":"Blok, W.J., and D. Pigozzi, \u2018Abstract Algebraic Logic and the Deduction Theorem\u2019, Manuscript, 2001."},{"key":"9138_CR7","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1142\/S0218196708004627","volume":"18","author":"W.J. Blok","year":"2008","unstructured":"Blok W.J., Raftery J.G. (2008) \u2018Assertionally equivalent quasivarieties\u2019. International Journal of Algebra and Computation 18: 589\u2013681","journal-title":"International Journal of Algebra and Computation"},{"key":"9138_CR8","doi-asserted-by":"crossref","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":"9138_CR9","doi-asserted-by":"crossref","unstructured":"Bou, F., F. Esteva, J.M. Font, A. Gil, L. Godo, A. Torrens, and V. Verd\u00fa, \u2018Logics preserving degrees of truth from varieties of residuated lattices\u2019, Submitted, 2008.","DOI":"10.1093\/logcom\/exp030"},{"key":"9138_CR10","doi-asserted-by":"crossref","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":"9138_CR11","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":"9138_CR12","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/3-7643-7304-0_6","volume-title":"Logica Universalis: Towards a General Theory of Logic","author":"C. Caleiro","year":"2005","unstructured":"Caleiro C., Gon\u00e7alves R. (2005) \u2018Equipollent logical systems\u2019. In: Beziau J.-Y. (eds) Logica Universalis: Towards a General Theory of Logic. Birkh\u00e4user Verlag, Basel, pp 99\u2013111"},{"key":"9138_CR13","doi-asserted-by":"crossref","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":"9138_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2807-2","volume-title":"Protoalgebraic Logics, Trends in Logic: Studia Logica Library, vol.10","author":"J. Czelakowski","year":"2001","unstructured":"Czelakowski J. (2001) Protoalgebraic Logics, Trends in Logic: Studia Logica Library, vol.10. Kluwer Academic Publishers, Amsterdam"},{"key":"9138_CR15","doi-asserted-by":"crossref","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":"9138_CR16","first-page":"17","volume-title":"Algebraic Methods in Logic and Computer Science, Banach Centre Publications, vol. 28","author":"J.M. Font","year":"1993","unstructured":"Font J.M. (1993) \u2018On the Leibniz congruences\u2019. In: Rauszer C. (eds) Algebraic Methods in Logic and Computer Science, Banach Centre Publications, vol. 28. Polish Academy of Sciences, Warszawa, pp 17\u201336"},{"key":"9138_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-21591-3","volume-title":"A general algebraic semantics for sentential logics, Lecture Notes in Logic, no. 7","author":"J.M. Font","year":"1996","unstructured":"Font J.M., Jansana R. (1996) A general algebraic semantics for sentential logics, Lecture Notes in Logic, no. 7. Springer-Verlag, Berlin"},{"key":"9138_CR18","doi-asserted-by":"crossref","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":"9138_CR19","unstructured":"Galatos, N., P. Jipsen, T. Kowalski, and H. Ono, Residuated Lattices: An algebraic Glimpse at Substructural Logics, Elsevier, 2007."},{"key":"9138_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard J.-Y. (1987) \u2018Linear Logic\u2019. Theoretical Computer Science 50: 1\u2013102","journal-title":"Theoretical Computer Science"},{"key":"9138_CR21","unstructured":"Gyuris, V., \u2018Variations of Algebraizability\u2019, Ph.D. thesis, The University of Illinois at Chicago, 1999."},{"key":"9138_CR22","unstructured":"Idziak, P.M., K. S\u0142omczy\u0144ska, and A. Wro\u0144ski, \u2018Equivalential algebras: A study of Fregean varieties\u2019, Preprint, 2004."},{"key":"9138_CR23","unstructured":"Kowalski, T., and H. Ono, \u2018Residuated Lattices: An Algebraic Glimpse at Logics without Contraction\u2019, Manuscript, 2000."},{"key":"9138_CR24","unstructured":"\u0141ukasiewicz, J., and A. Tarski, \u2018Investigations into the sentential calculus\u2019, in Logic, Semantics and Metamathematics, 1st. Ed., Clarendon Press, Oxford, 1956, pp. 38\u201359."},{"key":"9138_CR25","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":"9138_CR26","unstructured":"McCune, W., Prover 9, http:\/\/www.cs.unm.edu\/~mccune\/prover9 , 2007."},{"key":"9138_CR27","unstructured":"Olson, J.S., Finiteness Conditions on Varieties of Residuated Structures, Ph.D. thesis, University of Illinois at Chicago, 2006."},{"key":"9138_CR28","doi-asserted-by":"crossref","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":"9138_CR29","unstructured":"Ono, H., \u2018Logics without contraction rule and residuated lattices I\u2019, To appear in Festschrift of Prof. R. K. Meyer."},{"key":"9138_CR30","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":"9138_CR31","first-page":"473","volume-title":"Algebraic Logic, Colloquia Mathematica Societas J\u00e1nos Bolyai, no 54","author":"D. Pigozzi","year":"1991","unstructured":"Pigozzi D. (1991) \u2018Fregean algebraic logic\u2019. In: Monk J.D., Andr\u00e9ka H., Nemeti I. (eds) Algebraic Logic, Colloquia Mathematica Societas J\u00e1nos Bolyai, no 54. Amsterdam, North-Holland, pp 473\u2013502"},{"key":"9138_CR32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0168-0072(98)00058-X","volume":"98","author":"A.P. Pynko","year":"1999","unstructured":"Pynko A.P. (1999) \u2018Definitional equivalence and algebraizability of generalised logical systems\u2019. Annals of Pure and Applied Logic 98: 1\u201368","journal-title":"Annals of Pure and Applied Logic"},{"key":"9138_CR33","first-page":"29","volume":"46","author":"J. Raftery","year":"1997","unstructured":"Raftery J., van Alten C.J. (1997) \u2018On the algebra of noncommutative residuation: Polrims and left residuation algebras\u2019. Mathematica Japonica 46: 29\u201346","journal-title":"Mathematica Japonica"},{"key":"9138_CR34","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":"9138_CR35","doi-asserted-by":"crossref","DOI":"10.4324\/9780203252642","volume-title":"An Introduction to Substructural Logics","author":"G. Restall","year":"2000","unstructured":"Restall G. (2000) An Introduction to Substructural Logics. Routledge, London"},{"key":"9138_CR36","doi-asserted-by":"crossref","unstructured":"Schroeder-Heister, P., and K. Do\u0161en, (eds.), Substructural Logics, Studies in Logic and Computation, vol. 2, Oxford University Press, 1993.","DOI":"10.1093\/oso\/9780198537779.001.0001"},{"key":"9138_CR37","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/BF02429842","volume":"43","author":"A. Sendlewski","year":"1984","unstructured":"Sendlewski A. (1984) \u2018Some investigations of varieties of N-lattices\u2019. Studia Logica 43: 257\u2013280","journal-title":"Studia Logica"},{"key":"9138_CR38","doi-asserted-by":"crossref","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":"9138_CR39","unstructured":"Spinks, M., R.J. Bignall, and R. Veroff, Pointed discriminator logics, In preparation, 2008."},{"key":"9138_CR40","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":"9138_CR41","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/s11225-008-9113-x","volume":"88","author":"M. Spinks","year":"2008","unstructured":"Spinks M., Veroff R. (2008) \u2018Constructive logic with strong negation is a substructural logic. I\u2019. Studia Logica 88: 325\u2013348","journal-title":"Studia Logica"},{"key":"9138_CR42","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF02121118","volume":"36","author":"D. Vakarelov","year":"1977","unstructured":"Vakarelov D. (1977) \u2018Notes on $${\\mathcal{N}}$$ -lattices and constructive logic with strong negation\u2019. Studia Logica 36: 109\u2013125","journal-title":"Studia Logica"},{"key":"9138_CR43","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/s11225-005-8476-5","volume":"80","author":"D. Vakarelov","year":"2005","unstructured":"Vakarelov D. (2005) \u2018Nelson\u2019s negation on the base of weaker versions of intuitionistic negation\u2019. Studia Logica 80: 393\u2013430","journal-title":"Studia Logica"},{"key":"9138_CR44","unstructured":"van Alten, C. J., \u2018Algebraizing Deductive Systems\u2019, M. Sc. thesis, University of Natal, Pietermaritzburg, 1995."},{"key":"9138_CR45","doi-asserted-by":"crossref","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":"9138_CR46","doi-asserted-by":"crossref","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":"9138_CR47","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"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-008-9138-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-008-9138-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-008-9138-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T10:38:37Z","timestamp":1709203117000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-008-9138-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8]]},"references-count":47,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,8]]}},"alternative-id":["9138"],"URL":"https:\/\/doi.org\/10.1007\/s11225-008-9138-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,8]]}}}