{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T04:16:49Z","timestamp":1747196209754,"version":"3.37.3"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,8,25]],"date-time":"2021-08-25T00:00:00Z","timestamp":1629849600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,8,25]],"date-time":"2021-08-25T00:00:00Z","timestamp":1629849600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2022,2]]},"DOI":"10.1007\/s11225-021-09960-3","type":"journal-article","created":{"date-parts":[[2021,8,25]],"date-time":"2021-08-25T12:03:48Z","timestamp":1629893028000},"page":"241-263","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Categorical Equivalence for Tense Nelson Algebras"],"prefix":"10.1007","volume":"110","author":[{"given":"Aldo V.","family":"Figallo","sequence":"first","affiliation":[]},{"given":"Jonathan","family":"Sermento","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5935-6808","authenticated-orcid":false,"given":"Gustavo","family":"Pelaitay","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,8,25]]},"reference":[{"key":"9960_CR1","unstructured":"Ahmed, T. S., Space and time via Topological and Tense cylindric algebras, 2006.03421, 2020."},{"key":"9960_CR2","volume-title":"and P","author":"R Balbes","year":"1974","unstructured":"Balbes, R., and P. Dwinger, Distributive Lattices, University of Missouri Press, 1974."},{"issue":"15","key":"9960_CR3","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-commutative residuated lattices, Soft Computing 21(15):4257\u20134268, 2017.","journal-title":"Soft Comput."},{"issue":"12","key":"9960_CR4","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. Kolarik, Tense operators on Basic Algebras, International Journal of Theoretical Physics 50(12):3737\u20133749, 2011.","journal-title":"Internat. J. Theoret. Phys."},{"key":"9960_CR5","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\u2013algebras and related functions, Fuzzy Sets and Systems 326:24\u201333, 2017","journal-title":"Fuzzy Sets and Systems"},{"key":"9960_CR6","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. Gunter, (eds.), Handbook of Philosophical Logic, vol. II, Reidel, Dordrecht, 1984, pp. 89\u2013139."},{"issue":"5","key":"9960_CR7","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, Central European Journal of Mathematics 9(5):1185\u20131191, 2011.","journal-title":"Cent. Eur. J. Math."},{"issue":"4","key":"9960_CR8","first-page":"379","volume":"81","author":"D Diaconescu","year":"2007","unstructured":"Diaconescu, D., and G. Georgescu, Tense operators on MV-algebras and Lukasiewicz\u2013Moisil algebras, Fundamenta Informaticae 81(4):379\u2013408, 2007.","journal-title":"Fund. Inform."},{"issue":"6","key":"9960_CR9","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, Logic Journal of the IGPL 22(6):992\u20131018, 2014.","journal-title":"Log. J. IGPL"},{"issue":"1","key":"9960_CR10","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, The Journal of Symbolic Logic 51(1):166\u2013179, 1986.","journal-title":"J. Symbolic Logic"},{"key":"9960_CR11","unstructured":"Figallo, A. V., and G. Pelaitay, Remarks on Heyting algebras with tense operators, Bulletin of the Section of Logic 41(1-2):71\u201374, 2012."},{"issue":"4","key":"9960_CR12","doi-asserted-by":"publisher","first-page":"857","DOI":"10.1007\/s11225-017-9770-8","volume":"106","author":"Aldo V Figallo","year":"2018","unstructured":"Figallo, A. V., and G. Pelaitay, An algebraic axiomatization of the Ewald\u2019s intuitionistic tense logic, Soft Computing 18(10):1873\u20131883, 2014.","journal-title":"Studia Logica"},{"issue":"1\u20132","key":"9960_CR13","first-page":"71","volume":"41","author":"AV Figallo","year":"2012","unstructured":"Figallo, A. V., I. Pascual, and G. Pelaitay, Subdirectly irreducible IKt-algebras, Studia Logica 105(4):673\u2013701, 2017.","journal-title":"Bull. Sect. Logic Univ. L\u00f3dz"},{"issue":"4","key":"9960_CR14","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1007\/s11225-017-9707-2","volume":"105","author":"Aldo V Figallo","year":"2017","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":"9960_CR15","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/s11225-020-09907-0","volume":"109","author":"Aldo V Figallo","year":"2021","unstructured":"Figallo, A. V., G. Pelaitay, and J. Sarmiento, An algebraic study of tense operators on Nelson algebras, Studia Logica 109:285\u2013312, 2021.","journal-title":"Studia Logica"},{"key":"9960_CR16","unstructured":"Fitting, M. C., Intuitionistic logic, model theory and forcing, North-Holland Publishing Co., Amsterdam-London, 1969."},{"key":"9960_CR17","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0003-4843(75)90003-0","volume":"8","author":"DM Gabbay","year":"1975","unstructured":"Gabbay, D. M., Model theory for tense logics, Annals of Mathematical Logic 8:185\u2013236, 1975.","journal-title":"Ann. Math. Logic"},{"key":"9960_CR18","unstructured":"Georgescu, G., A representation theorem for tense polyadic algebras, Mathematica (Cluj) 21(44)(2):131\u2013138, 1979."},{"key":"9960_CR19","first-page":"53","volume":"32","author":"T Kowalski","year":"1998","unstructured":"Kowalski, T., Varieties of tense algebras, Reports on Mathematical Logic 32:53\u201395, 1998.","journal-title":"Rep. Math. Logic"},{"key":"9960_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, The Journal of Symbolic Logic 31:46\u201365, 1966.","journal-title":"I. J. Symbolic Logic"},{"key":"9960_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, The Journal of Symbolic Logic 31:191\u2013218, 1966.","journal-title":"II. J. Symbolic Logic"},{"key":"9960_CR22","unstructured":"Markov, A.A., A constructive logic, Uspehi Mathematiceskih Nauk (N.S.) 5:187\u2013188, 1950."},{"key":"9960_CR23","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 A. Monteiro, Unpublished papers, I, vol. 40 of Notas de L\u00f3gica Matem\u00e1tica, Universidad Nacional del Sur, Bah\u00eda Blanca, 1996."},{"key":"9960_CR24","doi-asserted-by":"publisher","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D Nelson","year":"1949","unstructured":"Nelson, D., Constructible falsity, The Journal of Symbolic Logic 14:16\u201326, 1949.","journal-title":"J. Symbolic Logic"},{"key":"9960_CR25","doi-asserted-by":"crossref","unstructured":"Pigozzi, D., and A. Salibra, Polyadic algebras over nonclassical logics, Banach Center Publications 28(1):51\u201366, 1993.","DOI":"10.4064\/-28-1-51-66"},{"key":"9960_CR26","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\u2013Holland, Amsterdam, 1974."},{"key":"9960_CR27","doi-asserted-by":"crossref","unstructured":"Rescher, N., and A. Urquhart, The Introduction of Tense Operators, in N. Rescher, and A. Urquhart, (eds.), Temporal Logic, vol. 3 of LEP Library of Exact Philosophy, Springer, Vienna 1971, pp. 50\u201354.","DOI":"10.1007\/978-3-7091-7664-1_5"},{"issue":"1","key":"9960_CR28","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":"I. Stud. Logica."},{"issue":"1\u20132","key":"9960_CR29","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":"Stud. Logica."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09960-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-021-09960-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09960-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T18:23:39Z","timestamp":1643739819000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-021-09960-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,25]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,2]]}},"alternative-id":["9960"],"URL":"https:\/\/doi.org\/10.1007\/s11225-021-09960-3","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2021,8,25]]},"assertion":[{"value":"17 March 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 August 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}