{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:15:24Z","timestamp":1759032924420,"version":"3.37.3"},"reference-count":81,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2018,11,3]],"date-time":"2018-11-03T00:00:00Z","timestamp":1541203200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1007\/s00500-018-3588-9","type":"journal-article","created":{"date-parts":[[2018,11,3]],"date-time":"2018-11-03T11:13:45Z","timestamp":1541243625000},"page":"2297-2320","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Compatibly involutive residuated lattices and the Nelson identity"],"prefix":"10.1007","volume":"23","author":[{"given":"Matthew","family":"Spinks","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1364-5003","authenticated-orcid":false,"given":"Umberto","family":"Rivieccio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thiago","family":"Nascimento","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,11,3]]},"reference":[{"key":"3588_CR1","doi-asserted-by":"publisher","first-page":"231","DOI":"10.2307\/2274105","volume":"49","author":"A Almukdad","year":"1984","unstructured":"Almukdad A, Nelson D (1984) Constructible falsity and inexact predicates. J Symb Log 49:231\u2013233","journal-title":"J Symb Log"},{"key":"3588_CR2","volume-title":"Distributive lattices","author":"R Balbes","year":"1974","unstructured":"Balbes R, Dwinger P (1974) Distributive lattices. University of Missouri Press, Columbia"},{"key":"3588_CR3","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/BF02485271","volume":"5","author":"JT Baldwin","year":"1975","unstructured":"Baldwin JT, Berman J (1975) The number of subdirectly irreducible algebras in a variety. Algebra Universalis 5:379\u2013389","journal-title":"Algebra Universalis"},{"key":"3588_CR4","volume-title":"Algebraizable logics, vol 77, no. 396","author":"WJ Blok","year":"1989","unstructured":"Blok WJ, Pigozzi D (1989) Algebraizable logics, vol 77, no. 396. Memoirs of the American Mathematical Society, Providence"},{"key":"3588_CR5","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1007\/BF01195727","volume":"32","author":"WJ Blok","year":"1994","unstructured":"Blok WJ, Pigozzi D (1994a) On the structure of varieties with equationally definable principal congruences III. Algebra Universalis 32:545\u2013608","journal-title":"Algebra Universalis"},{"key":"3588_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01188178","volume":"31","author":"WJ Blok","year":"1994","unstructured":"Blok WJ, Pigozzi D (1994b) On the structure of varieties with equationally definable principal congruences IV. Algebra Universalis 31:1\u201335","journal-title":"Algebra Universalis"},{"key":"3588_CR7","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1006\/jabr.1996.6834","volume":"190","author":"WJ Blok","year":"1997","unstructured":"Blok WJ, Raftery JG (1997) Varieties of commutative residuated integral pomonoids and their residuation subreducts. J Algebra 190:280\u2013328","journal-title":"J Algebra"},{"key":"3588_CR8","unstructured":"Blok WJ, Pigozzi D (2001) Abstract algebraic logic and the deduction theorem. Manuscript. \n                    http:\/\/orion.math.iastate.edu\/dpigozzi\/papers\/aaldedth.pdf\n                    \n                  . Accessed 31 July 2018"},{"key":"3588_CR9","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/BF01203370","volume":"18","author":"WJ Blok","year":"1984","unstructured":"Blok WJ, K\u00f6hler P, Pigozzi D (1984) On the structure of varieties with equationally definable principal congruences II. Algebra Universalis 18:334\u2013379","journal-title":"Algebra Universalis"},{"key":"3588_CR10","doi-asserted-by":"crossref","unstructured":"Brignole D, Monteiro A (1967) Caracterisation des alg\u00e8bres de Nelson par des egalit\u00e9s. I, II. Proc Jpn Acad 43:279\u2013285. Reproduced in Notas de L\u00f3gica Matem\u00e1tica No. 20, Universidad Nacional del Sur, Bah\u00eda Blanca (1964)","DOI":"10.3792\/pja\/1195521625"},{"key":"3588_CR11","unstructured":"B\u00fcchi JR, Owens TM (1975) Skolem rings and their varieties. Technical Report, CSD TR140, Purdue University. Also in: MacLane S, Siefkes D (eds) The collected works of J. Richard B\u00fcchi"},{"key":"3588_CR12","volume-title":"A course in universal algebra, graduate texts in mathematics","author":"S Burris","year":"1981","unstructured":"Burris S, Sankappanavar HP (1981) A course in universal algebra, graduate texts in mathematics, vol 78. Springer, New York"},{"key":"3588_CR13","unstructured":"Busaniche M, Cignoli R (2008) \n                    \n                      \n                    \n                    $$n$$\n                    \n                      \n                        n\n                      \n                    \n                  -potent residuated lattices. Manuscript"},{"key":"3588_CR14","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1093\/logcom\/exn081","volume":"20","author":"M Busaniche","year":"2010","unstructured":"Busaniche M, Cignoli R (2010) Constructive logic with strong negation as a substructural logic. J Log Comput 20:761\u2013793","journal-title":"J Log Comput"},{"key":"3588_CR15","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/BF01230621","volume":"23","author":"R Cignoli","year":"1986","unstructured":"Cignoli R (1986) The class of Kleene algebras satisfying an interpolation property and Nelson algebras. Algebra Universalis 23:262\u2013292","journal-title":"Algebra Universalis"},{"key":"3588_CR16","doi-asserted-by":"publisher","first-page":"1107","DOI":"10.1007\/s11225-012-9453-4","volume":"100","author":"R Cignoli","year":"2012","unstructured":"Cignoli R, Torrens A (2012) Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term. Studia Log 100:1107\u20131136","journal-title":"Studia Log"},{"key":"3588_CR17","volume-title":"Natural dualities for the working algebraist. Cambridge studies in advanced mathematics","author":"DM Clark","year":"1998","unstructured":"Clark DM, Davey BA (1998) Natural dualities for the working algebraist. Cambridge studies in advanced mathematics, vol 57. Cambridge University Press, Cambridge"},{"key":"3588_CR18","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/s11083-016-9416-x","volume":"35","author":"JM Cornejo","year":"2018","unstructured":"Cornejo JM, Viglizzo I (2018) Semi-Nelson algebras. Order 35:23\u201345","journal-title":"Order"},{"key":"3588_CR19","doi-asserted-by":"crossref","unstructured":"Czelakowski J (2001) Protoalgebraic logics. In: Trends in logic. Studia logica library, vol\u00a010. Kluwer, Dordrecht","DOI":"10.1007\/978-94-017-2807-2"},{"key":"3588_CR20","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) Fregean logics. Ann Pure Appl Log 127:17\u201376","journal-title":"Ann Pure Appl Log"},{"key":"3588_CR21","unstructured":"Ferreirim IM.A (1992) On varieties and quasivarieties of hoops and their reducts. Ph.D. thesis, University of Illinois at Chicago"},{"key":"3588_CR22","first-page":"21","volume":"12","author":"K Fichtner","year":"1970","unstructured":"Fichtner K (1970) Eine Bemerkung \u00fcber Mannigfaltigkeiten universeller Algebren mit Idealen. Monatsberichte der Deutschen Akademie der Wissenschaften zu Berlin: Mitteilungen aus Mathematik, Naturwissenschaft, Medizin und Technik 12:21\u201325","journal-title":"Monatsberichte der Deutschen Akademie der Wissenschaften zu Berlin: Mitteilungen aus Mathematik, Naturwissenschaft, Medizin und Technik"},{"key":"3588_CR23","unstructured":"Font JM, Jansana R (2009) A general algebraic semantics for sentential logics. In: Lecture notes in logic, vol\u00a07, 2nd edn. Association for Symbolic Logic, New York"},{"key":"3588_CR24","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1023\/A:1024621922509","volume":"74","author":"JM Font","year":"2003","unstructured":"Font JM, Jansana R, Pigozzi D (2003) A survey of abstract algebraic logic. Studia Log 74:13\u201397","journal-title":"Studia Log"},{"key":"3588_CR25","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1023\/B:STUD.0000037126.29193.09","volume":"77","author":"N Galatos","year":"2004","unstructured":"Galatos N, Raftery J (2004) Adding involution to residuated structures. Studia Log 77:181\u2013207","journal-title":"Studia Log"},{"key":"3588_CR26","volume-title":"Residuated lattices: an algebraic glimpse at substructural logics","author":"N Galatos","year":"2007","unstructured":"Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logics. Elsevier, Amsterdam"},{"key":"3588_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal algebra","author":"G Gr\u00e4tzer","year":"2008","unstructured":"Gr\u00e4tzer G (2008) Universal algebra, 2nd edn. Springer, New York","edition":"2"},{"key":"3588_CR28","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF01191491","volume":"19","author":"HP Gumm","year":"1984","unstructured":"Gumm HP, Ursini A (1984) Ideals in universal algebras. Algebra Universalis 19:45\u201354","journal-title":"Algebra Universalis"},{"key":"3588_CR29","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/BF02121114","volume":"36","author":"Y Gurevich","year":"1977","unstructured":"Gurevich Y (1977) Intuitionistic logic with strong negation. Studia Log 36:49\u201359","journal-title":"Studia Log"},{"key":"3588_CR30","first-page":"69","volume":"29","author":"D Higgs","year":"1984","unstructured":"Higgs D (1984) Dually residuated commutative monoids with identity element as least element do not form an equational class. Math Jpn 29:69\u201375","journal-title":"Math Jpn"},{"key":"3588_CR31","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1002\/malq.200610052","volume":"53","author":"A Hsieh","year":"2007","unstructured":"Hsieh A, Raftery JG (2007) Conserving involution in residuated structures. Math Log Q 53:583\u2013609","journal-title":"Math Log Q"},{"key":"3588_CR32","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1142\/S0218196709005251","volume":"19","author":"PM Idziak","year":"2009","unstructured":"Idziak PM, S\u0142omczy\u0144ska K, Wro\u0144ski A (2009) Fregean varieties. Int J Algebra Comput 19:595\u2013645","journal-title":"Int J Algebra Comput"},{"key":"3588_CR33","first-page":"608","volume":"22","author":"R Jansana","year":"2014","unstructured":"Jansana R, Rivieccio U (2014) Dualities for modal N4-lattices. Log J IGPL Interest Gr Pure Appl Log 22:608\u2013637","journal-title":"Log J IGPL Interest Gr Pure Appl Log"},{"key":"3588_CR34","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1017\/S1446788717000283","volume":"105","author":"J J\u00e4rvinen","year":"2017","unstructured":"J\u00e4rvinen J, Radeleczki S (2017) Representing regular pseudocomplemented Kleene algebras by tolerance-based rough sets. J Aust Math Soc Ser A Pure Math Stat 105:57\u201378","journal-title":"J Aust Math Soc Ser A Pure Math Stat"},{"key":"3588_CR35","unstructured":"Kabzi\u0144ski JK, Wro\u0144ski A (1991) On equivalential algebras. In: Proceedings of the 1975 international symposium on multiple-valued logic. IEEE Computer Society, Long Beach, California, pp 419\u2013428"},{"key":"3588_CR36","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1090\/S0002-9947-1958-0095135-X","volume":"87","author":"JA Kalman","year":"1958","unstructured":"Kalman JA (1958) Lattices with involution. Trans Am Math Soc 87:485\u2013491","journal-title":"Trans Am Math Soc"},{"key":"3588_CR37","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/BF02945123","volume":"3","author":"T Katri\u0148\u00e1k","year":"1973","unstructured":"Katri\u0148\u00e1k T (1973) The structure of distributive double p-algebras. Regularity and congruences. Algebra Universalis 3:238\u2013246","journal-title":"Algebra Universalis"},{"key":"3588_CR38","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/BF02483100","volume":"11","author":"P K\u00f6hler","year":"1980","unstructured":"K\u00f6hler P, Pigozzi D (1980) Varieties with equationally definable principal congruences. Algebra Universalis 11:213\u2013219","journal-title":"Algebra Universalis"},{"key":"3588_CR39","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1023\/B:STUD.0000037129.58589.0c","volume":"77","author":"T Kowalski","year":"2004","unstructured":"Kowalski T (2004) Semisimplicity, EDPC and discriminator varieties of residuated lattices. Studia Log 77:255\u2013265","journal-title":"Studia Log"},{"key":"3588_CR40","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1002\/malq.201300016","volume":"60","author":"M Kozak","year":"2014","unstructured":"Kozak M (2014) Strong negation in intuitionistic style sequent systems for residuated lattices. Math Log Q 60:319\u2013334","journal-title":"Math Log Q"},{"key":"3588_CR41","doi-asserted-by":"crossref","unstructured":"L\u00f3pez-Escobar EGK (1972) Refutability and elementary number theory. In: Indagationes mathematicae (proceedings), vol 75, pp 362\u2013374","DOI":"10.1016\/1385-7258(72)90053-4"},{"key":"3588_CR42","unstructured":"Maia P, Rivieccio U, Jung A Non-involutive twist-structures. Special issue of logic journal of the IGPL\u2014recovery operators and logics of formal consistency & inconsistencies (accepted)"},{"key":"3588_CR43","unstructured":"McCune W (2018) Prover 9. \n                    http:\/\/www.cs.unm.edu\/~mccune\/prover9\/\n                    \n                  . Accessed 31 July 2018"},{"key":"3588_CR44","volume-title":"Algebras, lattices, varieties: the Wadsworth & Brooks\/Cole mathematics series","author":"RN McKenzie","year":"1987","unstructured":"McKenzie RN, McNulty GF, Taylor WF (1987) Algebras, lattices, varieties: the Wadsworth & Brooks\/Cole mathematics series, vol I. Wadsworth & Brooks\/Cole Advanced Books & Software, Monterey"},{"key":"3588_CR45","doi-asserted-by":"publisher","first-page":"122","DOI":"10.2307\/1969038","volume":"47","author":"JCC McKinsey","year":"1946","unstructured":"McKinsey JCC, Tarski A (1946) On closed elements in closure algebras. Ann Math Second Ser 47:122\u2013162","journal-title":"Ann Math Second Ser"},{"key":"3588_CR46","first-page":"5","volume":"38","author":"G Metcalfe","year":"2009","unstructured":"Metcalfe G (2009) A sequent calculus for constructive logic with strong negation as a substructural logic. Bull Sect Log 38:5\u201312","journal-title":"Bull Sect Log"},{"key":"3588_CR47","doi-asserted-by":"crossref","unstructured":"Nascimento T, Rivieccio U, Marcos J, Spinks M (2018a) Algebraic semantics for Nelson\u2019s logic \n                    \n                      \n                    \n                    $$\\mathscr {S}$$\n                    \n                      \n                        S\n                      \n                    \n                  . In: Moss L, de Queiroz R, Martinez M (eds) Logic, language, information, and computation, vol 10944. WoLLIC 2018. Lecture notes in computer science. Springer, Berlin, pp 271\u2013288","DOI":"10.1007\/978-3-662-57669-4_16"},{"key":"3588_CR48","unstructured":"Nascimento T, Rivieccio U, Marcos J, Spinks M (2018b) Nelson\u2019s Logic \n                    \n                      \n                    \n                    $$\\mathscr {S}$$\n                    \n                      \n                        S\n                      \n                    \n                  . ArXiv e-prints. \n                    arXiv:1803.10851\n                    \n                   [math.LO]"},{"key":"3588_CR49","doi-asserted-by":"publisher","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D Nelson","year":"1949","unstructured":"Nelson D (1949) Constructible falsity. J Symb Log 14:16\u201326","journal-title":"J Symb Log"},{"key":"3588_CR50","first-page":"208","volume-title":"Constructivity in mathematics","author":"D Nelson","year":"1959","unstructured":"Nelson D (1959) Negation and separation of concepts in constructive systems. In: Heyting A (ed) Constructivity in mathematics. North-Holland, Amsterdam, pp 208\u2013225"},{"key":"3588_CR51","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1093\/logcom\/13.4.453","volume":"13","author":"SP Odintsov","year":"2003","unstructured":"Odintsov SP (2003) Algebraic semantics for paraconsistent Nelson\u2019s logic. J Log Comput 13:453\u2013468","journal-title":"J Log Comput"},{"key":"3588_CR52","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1023\/B:STUD.0000032104.14199.08","volume":"76","author":"SP Odintsov","year":"2004","unstructured":"Odintsov SP (2004) On the representation of N4-lattices. Studia Log 76:385\u2013405","journal-title":"Studia Log"},{"key":"3588_CR53","doi-asserted-by":"crossref","unstructured":"Odintsov SP (2008) Constructive negations and paraconsistency. In: Trends in logic. Studia logica library, vol\u00a026. Springer, Berlin","DOI":"10.1007\/978-1-4020-6867-6"},{"key":"3588_CR54","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s11225-010-9274-2","volume":"96","author":"SP Odintsov","year":"2010","unstructured":"Odintsov SP (2010) Priestley duality for paraconsistent Nelson\u2019s logic. Studia Log 96:65\u201393","journal-title":"Studia Log"},{"key":"3588_CR55","first-page":"50","volume":"8","author":"H Ono","year":"2010","unstructured":"Ono H (2010) Logics without contraction rule and residuated lattices. Australas J Log 8:50\u201381","journal-title":"Australas J Log"},{"key":"3588_CR56","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/s11225-005-2979-y","volume":"79","author":"F Paoli","year":"2005","unstructured":"Paoli F (2005) \n                    \n                      \n                    \n                    $$\\star $$\n                    \n                      \n                        \u22c6\n                      \n                    \n                  -autonomous lattices. Studia Log 79:283\u2013304","journal-title":"Studia Log"},{"key":"3588_CR57","first-page":"473","volume-title":"Algebraic logic, Colloquia Mathematica Societatis J\u00e1nos Bolyai Budapest (Hungary)","author":"D Pigozzi","year":"1991","unstructured":"Pigozzi D (1991) Fregean algebraic logic. In: Andr\u00e9ka H, Monk JD, N\u00e9meti I (eds) Algebraic logic, Colloquia Mathematica Societatis J\u00e1nos Bolyai Budapest (Hungary), vol 54. North-Holland, New York, pp 473\u2013502"},{"key":"3588_CR58","unstructured":"P\u00f6schel R, Radeleczki S (2008) Endomorphisms of quasiorders and related lattices. In: Dorfer G, Eigenthaler G, Kautschitch H, More W, M\u00fcller WB (eds) Contributions to general algebra, vol 18. Proceedings of the Klagenfurt conference 2007 (AAA 73 + CYA 22). Verlag Johannes Heyn GmbH & Co., Klagenfurt, pp 113\u2013128"},{"key":"3588_CR59","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0012-365X(99)00007-2","volume":"205","author":"AP Pynko","year":"1999","unstructured":"Pynko AP (1999) Implicational classes of De Morgan lattices. Discrete Math 205:171\u2013181","journal-title":"Discrete Math"},{"key":"3588_CR60","volume-title":"An algebraic approach to non-classical logics, studies in logic and the foundations of mathematics","author":"H Rasiowa","year":"1974","unstructured":"Rasiowa H (1974) An algebraic approach to non-classical logics, studies in logic and the foundations of mathematics, vol 78. North-Holland, Amsterdam"},{"key":"3588_CR61","unstructured":"Rivieccio U, Spinks M (2018) Quasi-Nelson algebras. 13th workshop on logical and semantic frameworks, with applications (LSFA 2018) (accepted)"},{"key":"3588_CR62","doi-asserted-by":"crossref","unstructured":"Sankappanavar HP (1980) A characterization of principal congruences of De Morgan algebras and its applications. In: Arruda AI, Chuaqui R, Da Costa NCA (eds) Mathematical logic in Latin America, vol 99. Proceedings of the IV Latin American symposium on mathematical logic held in Santiago, December 1978, Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam, pp 341\u2013350","DOI":"10.1016\/S0049-237X(09)70493-8"},{"key":"3588_CR63","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1017\/S0022481200029716","volume":"52","author":"HP Sankappanavar","year":"1987","unstructured":"Sankappanavar HP (1987) Semi-De Morgan algebras. J Symb Log 52:712\u2013724","journal-title":"J Symb Log"},{"key":"3588_CR64","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/BF02429842","volume":"43","author":"A Sendlewski","year":"1984","unstructured":"Sendlewski A (1984) Some investigations of varieties of \n                    \n                      \n                    \n                    $$\\mathscr {N}$$\n                    \n                      \n                        N\n                      \n                    \n                  -lattices. Studia Log 43:257\u2013280","journal-title":"Studia Log"},{"key":"3588_CR65","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BF00401557","volume":"49","author":"A Sendlewski","year":"1990","unstructured":"Sendlewski A (1990) Nelson algebras through Heyting ones. I. Studia Log 49:105\u2013126","journal-title":"Studia Log"},{"key":"3588_CR66","series-title":"Lecture notes in computer science","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/978-3-540-30597-2_9","volume-title":"Inconsistency tolerance","author":"J Slaney","year":"2004","unstructured":"Slaney J (2004) Relevant logic and paraconsistency. In: Bertossi L, Hunter A, Schaub T (eds) Inconsistency tolerance, vol 3300. Lecture notes in computer science. Springer, Berlin, pp 270\u2013293"},{"key":"3588_CR67","unstructured":"Slaney J, Surendonk T, Girle R (1989) Time, truth and logic. Technical report TR-ARP-11\/89, Automated reasoning project, Australian National University, Canberra. \n                    http:\/\/ftp.rsise.anu.edu.au\/papers\/slaney\/TTL\/TTL.ps.gz\n                    \n                  . Accessed 31 July 2018"},{"key":"3588_CR68","first-page":"27","volume":"48","author":"M Spinks","year":"2007","unstructured":"Spinks M, Veroff R (2007) Characterisations of Nelson algebras. Revista de la Uni\u00f3n Mathem\u00e1tica Argentina 48:27\u201339","journal-title":"Revista de la Uni\u00f3n Mathem\u00e1tica Argentina"},{"key":"3588_CR69","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/s11225-008-9113-x","volume":"88","author":"M Spinks","year":"2008","unstructured":"Spinks M, Veroff R (2008a) Constructive logic with strong negation is a substructural logic. I. Studia Log 88:325\u2013348","journal-title":"Studia Log"},{"key":"3588_CR70","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/s11225-008-9138-1","volume":"89","author":"M Spinks","year":"2008","unstructured":"Spinks M, Veroff R (2008b) Constructive logic with strong negation is a substructural logic. II. Studia Log 89:401\u2013425","journal-title":"Studia Log"},{"key":"3588_CR71","first-page":"161","volume":"39","author":"M Spinks","year":"2010","unstructured":"Spinks M, Veroff R (2010) Slaney\u2019s logic \n                    \n                      \n                    \n                    $$\\mathbf{F}^{**}$$\n                    \n                      \n                        \n                          \n                            F\n                          \n                          \n                            \n                            \u2217\n                            \n                            \u2217\n                          \n                        \n                      \n                    \n                   is constructive logic with strong negation. Bull Sect Log 39:161\u2013174","journal-title":"Bull Sect Log"},{"key":"3588_CR72","first-page":"323","volume-title":"Don Pigozzi on Abstract algebraic logic, Universal Algebra, and Computer Science, outstanding contributions to logic","author":"M Spinks","year":"2018","unstructured":"Spinks M, Veroff R (2018) Paraconsistent constructive logic with strong negation as a contraction-free relevant logic. In: Czelakowski J (ed) Don Pigozzi on Abstract algebraic logic, Universal Algebra, and Computer Science, outstanding contributions to logic, vol 16. Springer, Basel, pp 323\u2013379"},{"key":"3588_CR73","unstructured":"Spinks M, Veroff R Paraconsistent constructive logic with strong negation is a contraction-free relevant logic. I. Term equivalence (in preparation)"},{"key":"3588_CR74","first-page":"37","volume":"39","author":"MH Stone","year":"1936","unstructured":"Stone MH (1936) The theory of representations for Boolean algebras. Trans Am Math Soc 39:37\u2013111","journal-title":"Trans Am Math Soc"},{"key":"3588_CR75","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1002\/malq.19690151602","volume":"15","author":"RH Thomason","year":"1969","unstructured":"Thomason RH (1969) A semantical study of constructible falsity. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 15:247\u2013257","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"3588_CR76","first-page":"90","volume":"6","author":"A Ursini","year":"1972","unstructured":"Ursini A (1972) Sulle variet\u00e1 di algebre con una buona teoria degli ideali. Bolletino della Unione Matematica Italiana 6:90\u201395 (Series 4)","journal-title":"Bolletino della Unione Matematica Italiana"},{"key":"3588_CR77","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF02121118","volume":"36","author":"D Vakarelov","year":"1977","unstructured":"Vakarelov D (1977) Notes on \n                    \n                      \n                    \n                    $$\\mathscr {N}$$\n                    \n                      \n                        N\n                      \n                    \n                  -lattices and constructive logic with strong negation. Studia Log 36:109\u2013125","journal-title":"Studia Log"},{"key":"3588_CR78","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/BF02945029","volume":"2","author":"J Varlet","year":"1972","unstructured":"Varlet J (1972) A regular variety of type \n                    \n                      \n                    \n                    $${2, 2, 1, 1, 0, 0}$$\n                    \n                      \n                        \n                          2\n                          ,\n                          2\n                          ,\n                          1\n                          ,\n                          1\n                          ,\n                          0\n                          ,\n                          0\n                        \n                      \n                    \n                  . Algebra Universalis 2:218\u2013223","journal-title":"Algebra Universalis"},{"key":"3588_CR79","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1023\/A:1010639725972","volume":"27","author":"R Veroff","year":"2001","unstructured":"Veroff R (2001) Solving open questions and other challenge problems using proof sketches. J Autom Reason 27:157\u2013174","journal-title":"J Autom Reason"},{"key":"3588_CR80","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/BF01969697","volume":"12","author":"F Kutschera von","year":"1969","unstructured":"von Kutschera F (1969) Ein verallgemeinerter Widerlegungsbegriff f\u00fcr Gentzenkalk\u00fcle. Archiv f\u00fcr mathematische Logik und Grundlagenforschung 12:104\u2013118","journal-title":"Archiv f\u00fcr mathematische Logik und Grundlagenforschung"},{"key":"3588_CR81","volume-title":"Symmetric constructive logic","author":"ID Zaslavsky","year":"1978","unstructured":"Zaslavsky ID (1978) Symmetric constructive logic. Publishing House of the Academy of Sciences of Armenia SSR, Yerevan (in Russian)"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-018-3588-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-018-3588-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-018-3588-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,2]],"date-time":"2019-11-02T20:08:41Z","timestamp":1572725321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-018-3588-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,3]]},"references-count":81,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2019,4]]}},"alternative-id":["3588"],"URL":"https:\/\/doi.org\/10.1007\/s00500-018-3588-9","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"type":"print","value":"1432-7643"},{"type":"electronic","value":"1433-7479"}],"subject":[],"published":{"date-parts":[[2018,11,3]]},"assertion":[{"value":"3 November 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"All three authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"This article does not contain any studies with human participants or animals performed by any of the authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}]}}