{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T21:01:42Z","timestamp":1770238902965,"version":"3.49.0"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,4,2]],"date-time":"2020-04-02T00:00:00Z","timestamp":1585785600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,4,2]],"date-time":"2020-04-02T00:00:00Z","timestamp":1585785600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,4]]},"DOI":"10.1007\/s11225-020-09907-0","type":"journal-article","created":{"date-parts":[[2020,4,2]],"date-time":"2020-04-02T17:03:11Z","timestamp":1585846991000},"page":"285-312","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["An Algebraic Study of Tense Operators on Nelson Algebras"],"prefix":"10.1007","volume":"109","author":[{"given":"A. V.","family":"Figallo","sequence":"first","affiliation":[]},{"given":"G.","family":"Pelaitay","sequence":"additional","affiliation":[]},{"given":"J.","family":"Sarmiento","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,4,2]]},"reference":[{"issue":"15","key":"9907_CR1","doi-asserted-by":"publisher","first-page":"4257","DOI":"10.1007\/s00500-016-2191-1","volume":"21","author":"M Bakhshi","year":"2017","unstructured":"Bakhshi, M., Tense operators on non\u2013commutative residuated lattices, Soft Comput. 21(15):4257\u20134268, 2017.","journal-title":"Soft Comput."},{"issue":"12","key":"9907_CR2","doi-asserted-by":"publisher","first-page":"3737","DOI":"10.1007\/s10773-011-0748-4","volume":"50","author":"M Botur","year":"2011","unstructured":"Botur, M., I. Chajda, R., Hala\u0161, and M. Kola\u0159ik, Tense operators on Basic Algebras, Internat. J. Theoret. Phys. 50(12):3737\u20133749, 2011.","journal-title":"Internat. J. Theoret. Phys."},{"key":"9907_CR3","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1016\/j.fss.2017.02.010","volume":"326","author":"M Botur","year":"2017","unstructured":"Botur, M., and J. Paseka, Partial tense $$MV$$-algebras and related functions, Fuzzy Sets Syst. 326:24\u201333, 2017.","journal-title":"Fuzzy Sets Syst."},{"key":"9907_CR4","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-94-009-6259-0_2","volume-title":"Handbook of Philosophical Logic","author":"J Burges","year":"1984","unstructured":"Burges, J., Basic tense logic, in D. M. Gabbay, and F. G\u00fcnter (eds.), Handbook of Philosophical Logic, vol. II, Reidel, Dordrecht 1984, pp. 89\u2013139."},{"issue":"5","key":"9907_CR5","doi-asserted-by":"publisher","first-page":"1185","DOI":"10.2478\/s11533-011-0063-6","volume":"9","author":"I Chajda","year":"2011","unstructured":"Chajda, I., Algebraic axiomatization of tense intuitionistic logic, Cent. Eur. J. Math. 9(5):1185\u20131191, 2011.","journal-title":"Cent. Eur. J. Math."},{"issue":"1","key":"9907_CR6","first-page":"1","volume":"17","author":"C Chiri\u0163\u0103","year":"2011","unstructured":"Chiri\u0163\u0103, C., Tense $$\\theta $$-valued \u0141ukasiewicz\u2013Moisil algebras, J. Mult. Valued Logic Soft Comput. 17(1):1\u201324, 2011.","journal-title":"J. Mult. Valued Logic Soft Comput."},{"issue":"4","key":"9907_CR7","first-page":"379","volume":"81","author":"D Diaconescu","year":"2007","unstructured":"Diaconescu, D., and G. Georgescu, Tense operators on $$MV$$-algebras and \u0141ukasiewicz-Moisil algebras, Fund. Inform. 81(4):379\u2013408, 2007.","journal-title":"Fund. Inform."},{"issue":"6","key":"9907_CR8","doi-asserted-by":"publisher","first-page":"992","DOI":"10.1093\/jigpal\/jzu024","volume":"22","author":"W Dzik","year":"2014","unstructured":"Dzik, W., J. J\u00e4rvinen, and M. Kondo, Characterizing intermediate tense logics in terms of Galois connections, Log. J. IGPL 22(6):992\u20131018, 2014.","journal-title":"Log. J. IGPL"},{"issue":"1","key":"9907_CR9","doi-asserted-by":"publisher","first-page":"166","DOI":"10.2307\/2273953","volume":"51","author":"WB Ewald","year":"1986","unstructured":"Ewald, W. B., Intuitionistic tense and modal logic, J. Symbolic Logic 51(1):166\u2013179, 1986.","journal-title":"J. Symbolic Logic"},{"issue":"4","key":"9907_CR10","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1007\/s11225-017-9707-2","volume":"105","author":"AV Figallo","year":"2017","unstructured":"Figallo, A. V., I. Pascual, and G. Pelaitay, Subdirectly irreducible $$IKt$$-algebras, Studia Logica 105(4):673\u2013701, 2017.","journal-title":"Studia Logica"},{"issue":"4","key":"9907_CR11","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1093\/jigpal\/jzx056","volume":"26","author":"AV Figallo","year":"2018","unstructured":"Figallo, A. V., I. Pascual, and G. Pelaitay, A topological duality for tense $$LM_n$$-algebras and applications, Log. J. IGPL 26(4):339\u2013380, 2018.","journal-title":"Log. J. IGPL"},{"issue":"4","key":"9907_CR12","doi-asserted-by":"publisher","first-page":"857","DOI":"10.1007\/s11225-017-9770-8","volume":"106","author":"AV Figallo","year":"2018","unstructured":"Figallo, A. V., I. Pascual, and G. Pelaitay, Principal and Boolean congruences on $$IKt$$-algebras, Studia Logica 106(4):857\u2013882, 2018.","journal-title":"Studia Logica"},{"key":"9907_CR13","doi-asserted-by":"publisher","first-page":"3979","DOI":"10.1007\/s00500-018-3360-1","volume":"23","author":"AV Figallo","year":"2019","unstructured":"Figallo, A. V., I. Pascual, and G. Pelaitay, A topological duality for tense $$\\theta $$-valued \u0141ukasiewicz\u2013Moisil algebras, Soft Comput. 23:3979, 2019.","journal-title":"Soft Comput."},{"issue":"1\u20132","key":"9907_CR14","first-page":"71","volume":"41","author":"AV Figallo","year":"2012","unstructured":"Figallo, A. V., and G. Pelaitay, Remarks on Heyting algebras with tense operators, Bull. Sect. Logic Univ. Lodz 41(1\u20132):71\u201374, 2012.","journal-title":"Bull. Sect. Logic Univ. Lodz"},{"issue":"10","key":"9907_CR15","doi-asserted-by":"publisher","first-page":"1873","DOI":"10.1007\/s00500-014-1317-6","volume":"18","author":"AV Figallo","year":"2014","unstructured":"Figallo, A. V., and G. Pelaitay, An algebraic axiomatization of the Ewald\u2019s intuitionistic tense logic, Soft Comput. 18(10):1873\u20131883, 2014.","journal-title":"Soft Comput."},{"issue":"1","key":"9907_CR16","doi-asserted-by":"publisher","first-page":"47","DOI":"10.4134\/CKMS.2012.27.1.047","volume":"27","author":"AV Figallo","year":"2012","unstructured":"Figallo, A. V., G. Pelaitay, and C. Sanza, Discrete duality for $$TSH$$-algebras, Commun. Korean Math. Soc. 27(1):47\u201356, 2012.","journal-title":"Commun. Korean Math. Soc."},{"key":"9907_CR17","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0003-4843(75)90003-0","volume":"8","author":"D. M. Gabbay","year":"1975","unstructured":"Gabbay, D. M., Model theory for tense logics, Ann. Math. Logic 8:185\u2013236, 1975.","journal-title":"Ann. Math. Logic"},{"key":"9907_CR18","doi-asserted-by":"crossref","unstructured":"J\u00f3nsson, B., A survey of Boolean algebras with operators. Algebras and orders (Montreal, PQ, 1991), pp. 239\u2013286, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 389, Kluwer Acad. Publ., Dordrecht, 1993.","DOI":"10.1007\/978-94-017-0697-1_6"},{"key":"9907_CR19","first-page":"53","volume":"32","author":"T Kowalski","year":"1998","unstructured":"Kowalski T., Varieties of tense algebras, Rep. Math. Logic 32:53\u201395, 1998.","journal-title":"Rep. Math. Logic"},{"key":"9907_CR20","doi-asserted-by":"publisher","first-page":"46","DOI":"10.2307\/2270619","volume":"31","author":"EJ Lemmon","year":"1966","unstructured":"Lemmon, E. J., Algebraic semantics for modal logics. I. J. Symbolic Logic 31:46\u201365, 1966.","journal-title":"J. Symbolic Logic"},{"key":"9907_CR21","doi-asserted-by":"publisher","first-page":"191","DOI":"10.2307\/2269810","volume":"31","author":"EJ Lemmon","year":"1966","unstructured":"Lemmon, E. J., Algebraic semantics for modal logics. II. J. Symbolic Logic 31:191\u2013218, 1966.","journal-title":"J. Symbolic Logic"},{"key":"9907_CR22","volume-title":"Categories for the Working Mathematician","author":"S Mac Lane","year":"1998","unstructured":"Mac Lane, S., Categories for the Working Mathematician, 2nd edn. Springer-Verlag, NewYork, 1998.","edition":"2"},{"key":"9907_CR23","first-page":"187","volume":"5","author":"A. A Markov","year":"1950","unstructured":"Markov, A. A., A constructive logic, Uspehi Mathematiceskih Nauk, (N.S.) 5:187\u2013188, 1950.","journal-title":"Uspehi Mathematiceskih Nauk, (N.S.)"},{"issue":"2\u20133","key":"9907_CR24","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/s10992-012-9266-y","volume":"43","author":"M Menni","year":"2014","unstructured":"Menni, M., and C. Smith, Modes of adjointness, J. Philos. Logic 43(2-3):365\u2013391, 2014.","journal-title":"J. Philos. Logic"},{"key":"9907_CR25","first-page":"145","volume":"21","author":"A. Monteiro","year":"1963","unstructured":"Monteiro A., Algebras de Nelson semi-simples (Resumen), Rev. Uni\u00f3n Mat. Argentina 21:145\u2013146, 1963.","journal-title":"Rev. Uni\u00f3n Mat. Argentina"},{"key":"9907_CR26","first-page":"359","volume":"11","author":"A. Monteiro","year":"1963","unstructured":"Monteiro A., Constructions des alg\u00e9bres de Nelson finies, Bull. Acad. Pol. des Sc. 11:359\u2013362, 1963.","journal-title":"Bull. Acad. Pol. des Sc."},{"key":"9907_CR27","unstructured":"Monteiro, A., Les elements reguliers d\u2019 un $$N$$-lattice, Textos e Notas No 15, Univ. de Lisboa, 1978."},{"key":"9907_CR28","unstructured":"Monteiro, A., Les $$N$$-lattice lin\u00e9aires, Textos e Notas No 15, Univ. de Lisboa, 1978."},{"key":"9907_CR29","unstructured":"Monteiro, A., and L. Monteiro, Axiomes ind\u00e9pendants pour les alg\u00e9bres de Nelson, de Lukasiewicz trivalentes, de De Morgan et de Kleene. In Unpublished papers, I, Notas de L\u00f3gica Matem\u00e1tica, vol. 40, 13 pp. Univ. Nac. del Sur, Bah\u00eda Blanca, 1996."},{"key":"9907_CR30","doi-asserted-by":"publisher","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D Nelson","year":"1949","unstructured":"Nelson, D., Constructible falsity, J. Symbolic Logic 14:16\u201326, 1949.","journal-title":"J. Symbolic Logic"},{"key":"9907_CR31","unstructured":"Or\u0142owska, E., A. M. Radzikowska, and I. Rewitzky, Dualities for structures of applied logics. Studies in Logic (London), 56. Mathematical Logic and Foundations. College Publications, London, 2015."},{"issue":"1\u20133","key":"9907_CR32","first-page":"275","volume":"81","author":"E. Or\u0142owska","year":"2007","unstructured":"Or\u0142owska, E., and I. Rewitzky, Discrete dualities for Heyting algebras with operators, Fund. Inform. 81(1-3):275\u2013295, 2007.","journal-title":"Fund. Inform."},{"key":"9907_CR33","doi-asserted-by":"publisher","first-page":"61","DOI":"10.4064\/fm-46-1-61-80","volume":"46","author":"H Rasiowa","year":"1958","unstructured":"Rasiowa H., $$N$$-lattices and constructive logic with strong negation, Fund. Math. 46:61\u201380, 1958.","journal-title":"Fund. Math."},{"key":"9907_CR34","volume-title":"An algebraic aproach to non-classic logic","author":"H Rasiowa","year":"1974","unstructured":"Rasiowa H., An algebraic aproach to non-classic logic, North-Holland, Amsterdam, 1974."},{"key":"9907_CR35","doi-asserted-by":"crossref","unstructured":"Rescher, N., and A. Urquhart, The Introduction of Tense Operators, in Temporal Logic. LEP Library of Exact Philosophy, vol 3. Springer, Vienna 1971.","DOI":"10.1007\/978-3-7091-7664-1"},{"issue":"1","key":"9907_CR36","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BF00401557","volume":"49","author":"A Sendlewski","year":"1990","unstructured":"Sendlewski, A., Nelson algebras through Heyting ones. I. Studia Logica 49(1):105\u2013126, 1990.","journal-title":"Studia Logica"},{"key":"9907_CR37","doi-asserted-by":"crossref","unstructured":"Sofronie\u2013Stokkermans, V., Representation theorems and the semantics of non-classical logics, and applications to automated theorem proving. Beyond two: theory and applications of multiple-valued logic, Stud. Fuzziness Soft Comput., vol. 114, Physica, Heidelberg, 2003, pp. 59\u2013100.","DOI":"10.1007\/978-3-7908-1769-0_3"},{"issue":"1\u20132","key":"9907_CR38","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF02121118","volume":"36","author":"D Vakarelov","year":"1977","unstructured":"Vakarelov, D., Notes on $$N$$-lattices and constructive logic with strong negation, Studia Logica 36(1\u20132):109\u2013125, 1977.","journal-title":"Studia Logica"},{"issue":"3","key":"9907_CR39","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1017\/S0960129598002540","volume":"8","author":"B von Karger","year":"1998","unstructured":"von Karger, B., Temporal algebra. Mathematical Structures in Computer Science 8(3):277-320, 1998.","journal-title":"Mathematical Structures in Computer Science"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09907-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-020-09907-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09907-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,2]],"date-time":"2021-04-02T00:09:18Z","timestamp":1617322158000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-020-09907-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,2]]},"references-count":39,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,4]]}},"alternative-id":["9907"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09907-0","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,4,2]]},"assertion":[{"value":"29 October 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 April 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}