Characterization of Subdirectly Irreducible Heyting Algebras with Negative Tense Operators

Characterization of Subdirectly Irreducible Heyting Algebras with Negative Tense Operators | Research Square window.SnipcartSettings = { analytics: { enabled: false } }; (function() { var accessVector = localStorage.getItem('access_vector') || ''; window.dataLayer = window.dataLayer || []; if (accessVector) { window.dataLayer.push({ user: { profile: { profileInfo: { snid: accessVector } } } }); } })(); (function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src='https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);})(window,document,'script','dataLayer','GTM-K279D39R'); Browse Preprints In Review Journals COVID-19 Preprints AJE Video Bytes Research Tools Research Promotion AJE Professional Editing AJE Rubriq About Preprint Platform In Review Editorial Policies Our Team Advisory Board Help Center Sign In Submit a Preprint Cite Share Download PDF Research Article Characterization of Subdirectly Irreducible Heyting Algebras with Negative Tense Operators Federico Gabriel Almiñana, Gustavo Pelaitay This is a preprint; it has not been peer reviewed by a journal. https://doi.org/ 10.21203/rs.3.rs-4025452/v1 This work is licensed under a CC BY 4.0 License Status: Published Journal Publication published 16 Jan, 2026 Read the published version in Archive for Mathematical Logic → Version 1 posted 8 You are reading this latest preprint version Abstract In [16], Ma and Li established Intuitionistic Propositional Logic with Galois negations (IGN). These logics can be viewed as the ordered dualization of Ewald’s intuitionistic tense logic IKt, where Galois negations function as the ordered duals of residuated pairs of tense operators. In [1], we introduced the concept of negative tense operators on Heyting algebras and defined the variety of tense H-algebras. This new variety of algebras serves as the algebraic semantics for IGN. In this paper, we extend our investigation into tense H-algebras, focusing specifically on their topological properties. Particularly, we provide a topological characterization of subdirectly irreducible tense H-algebras. Mathematics Subject Classification (2010) 06D20 · 03G25 · 06A15 Heyting algebras tense negative operators Galois negations Full Text Additional Declarations No competing interests reported. Cite Share Download PDF Status: Published Journal Publication published 16 Jan, 2026 Read the published version in Archive for Mathematical Logic → Version 1 posted Editorial decision: Accepted 09 Dec, 2025 Reviews received at journal 25 Nov, 2025 Reviewers agreed at journal 20 Apr, 2024 Reviewers agreed at journal 23 Mar, 2024 Reviewers invited by journal 21 Mar, 2024 Editor assigned by journal 21 Mar, 2024 Submission checks completed at journal 07 Mar, 2024 First submitted to journal 07 Mar, 2024 You are reading this latest preprint version Research Square lets you share your work early, gain feedback from the community, and start making changes to your manuscript prior to peer review in a journal. As a division of Research Square Company, we’re committed to making research communication faster, fairer, and more useful. We do this by developing innovative software and high quality services for the global research community. Our growing team is made up of researchers and industry professionals working together to solve the most critical problems facing scientific publishing. Also discoverable on Platform About Our Team In Review Editorial Policies Advisory Board Help Center Resources Author Services Accessibility API Access RSS feed Manage Cookie Preferences © Research Square 2026 | ISSN 2693-5015 (online) Privacy Policy Terms of Service Do Not Sell My Personal Information {"props":{"pageProps":{"initialData":{"identity":"rs-4025452","acceptedTermsAndConditions":true,"allowDirectSubmit":false,"archivedVersions":[],"articleType":"Research Article","associatedPublications":[],"authors":[{"id":277005254,"identity":"2d6feb5d-7f3d-43ab-af7f-b1b4bd15219a","order_by":0,"name":"Federico Gabriel Almiñana","email":"","orcid":"","institution":"National University of San Juan","correspondingAuthor":false,"prefix":"","firstName":"Federico","middleName":"Gabriel","lastName":"Almiñana","suffix":""},{"id":277005255,"identity":"71c4db74-4a38-4da6-aaf0-d10caee17425","order_by":1,"name":"Gustavo Pelaitay","email":"data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAZAAAAAyAQMAAABI0h/eAAAABlBMVEX///8AAABVwtN+AAAACXBIWXMAAA7EAAAOxAGVKw4bAAAA5ElEQVRIiWNgGAWjYHACxgMMBkCKvQFIGFgQpweoBaiH5wBIiwSxWkDWSCSA2ERokY9uPnDgR8EfeYObz69u+FEgwcDf3p2AV4vhnWMJB3sMDAw33M4pu9kDdJjEmbMb8GuZkWNwgMfAgBGoJe0GD1CLgUQuIS35Hw7+MTCw33DzTNrNP8RokZfIYTgMtCVxww32Y7eJssVA5pjBYRkD4+SZZ3LYbssYSPAQ9Iv87OaHD9/8kbPtO3782c03f2zk+Nt7CdhyA8pQAAYCiObBqxxsywwYo4H9AUHVo2AUjIJRMDIBANGOTv1vQ4k9AAAAAElFTkSuQmCC","orcid":"","institution":"National University of San Juan","correspondingAuthor":true,"prefix":"","firstName":"Gustavo","middleName":"","lastName":"Pelaitay","suffix":""}],"badges":[],"createdAt":"2024-03-07 14:07:22","currentVersionCode":1,"declarations":"","doi":"10.21203/rs.3.rs-4025452/v1","doiUrl":"https://doi.org/10.21203/rs.3.rs-4025452/v1","draftVersion":[],"editorialEvents":[{"content":"https://doi.org/10.1007/s00153-025-01001-3","type":"published","date":"2026-01-16T16:30:15+00:00"}],"editorialNote":"","failedWorkflow":false,"files":[{"id":100614760,"identity":"4b6fb0e4-851b-432a-8135-6b89a97bb323","added_by":"auto","created_at":"2026-01-19 17:24:22","extension":"pdf","order_by":1,"title":"","display":"","copyAsset":false,"role":"manuscript-pdf","size":295532,"visible":true,"origin":"","legend":"","description":"","filename":"AtopologicalstudyofHeytingalgebraswithnegativetenseopertors.pdf","url":"https://assets-eu.researchsquare.com/files/rs-4025452/v1_covered_5d36db4b-8b4a-4ae1-a210-69d5d4ab1cbf.pdf"}],"financialInterests":"No competing interests reported.","formattedTitle":"Characterization of Subdirectly Irreducible Heyting Algebras with Negative Tense Operators","fulltext":[],"fulltextSource":"","fullText":"","funders":[],"hasAdminPriorityOnWorkflow":false,"hasManuscriptDocX":false,"hasOptedInToPreprint":true,"hasPassedJournalQc":"","hasAnyPriority":true,"hideJournal":false,"highlight":"","institution":"","isAcceptedByJournal":true,"isAuthorSuppliedPdf":true,"isDeskRejected":"","isHiddenFromSearch":false,"isInQc":false,"isInWorkflow":false,"isPdf":true,"isPdfUpToDate":true,"isWithdrawnOrRetracted":false,"journal":{"display":true,"email":"[email protected]","identity":"archive-for-mathematical-logic","isNatureJournal":false,"hasQc":true,"allowDirectSubmit":false,"externalIdentity":"afml","sideBox":"Learn more about [Archive for Mathematical Logic](http://link.springer.com/journal/153)","snPcode":"153","submissionUrl":"https://submission.nature.com/new-submission/153/3","title":"Archive for Mathematical Logic","twitterHandle":"","acdcEnabled":true,"dfaEnabled":true,"editorialSystem":"em","reportingPortfolio":"Springer Hybrid","inReviewEnabled":true,"inReviewRevisionsEnabled":false},"keywords":"Heyting algebras, tense negative operators, Galois negations","lastPublishedDoi":"10.21203/rs.3.rs-4025452/v1","lastPublishedDoiUrl":"https://doi.org/10.21203/rs.3.rs-4025452/v1","license":{"name":"CC BY 4.0","url":"https://creativecommons.org/licenses/by/4.0/"},"manuscriptAbstract":"\u003cp\u003eIn [16], Ma and Li established Intuitionistic Propositional Logic with Galois negations (IGN). These logics can be viewed as the ordered dualization of Ewald’s intuitionistic tense logic IKt, where Galois negations function as the ordered duals of residuated pairs of tense operators. In [1], we introduced the concept of negative tense operators on Heyting algebras and defined the variety of tense H-algebras. This new variety of algebras serves as the algebraic semantics for IGN. In this paper, we extend our investigation into tense H-algebras, focusing specifically on their topological properties. Particularly, we provide a topological characterization of subdirectly irreducible tense H-algebras.\u003c/p\u003e\n\u003cp\u003e\u003cstrong\u003eMathematics Subject Classification (2010)\u003c/strong\u003e 06D20 · 03G25 · 06A15\u003c/p\u003e","manuscriptTitle":"Characterization of Subdirectly Irreducible Heyting Algebras with Negative Tense Operators","msid":"","msnumber":"","nonDraftVersions":[{"code":1,"date":"2024-03-08 21:27:56","doi":"10.21203/rs.3.rs-4025452/v1","editorialEvents":[{"type":"communityComments","content":0},{"type":"decision","content":"Accepted","date":"2025-12-09T07:17:47+00:00","index":"","fulltext":""},{"type":"editorInvitedReview","content":"","date":"2025-11-25T23:49:41+00:00","index":"hide","fulltext":""},{"type":"reviewerAgreed","content":"a5e84378-377e-4c2a-9e13-ac9006c99d31","date":"2024-04-20T17:33:50+00:00","index":"hide","fulltext":""},{"type":"reviewerAgreed","content":"0ba97020-a199-4593-b4fb-598aae19f29f","date":"2024-03-23T09:05:51+00:00","index":"hide","fulltext":""},{"type":"reviewersInvited","content":"","date":"2024-03-21T08:57:26+00:00","index":"","fulltext":""},{"type":"editorAssigned","content":"","date":"2024-03-21T08:47:12+00:00","index":"","fulltext":""},{"type":"checksComplete","content":"","date":"2024-03-08T01:27:01+00:00","index":"","fulltext":""},{"type":"submitted","content":"Archive for Mathematical Logic","date":"2024-03-07T13:59:25+00:00","index":"","fulltext":""}],"status":"published","journal":{"display":true,"email":"[email protected]","identity":"archive-for-mathematical-logic","isNatureJournal":false,"hasQc":true,"allowDirectSubmit":false,"externalIdentity":"afml","sideBox":"Learn more about [Archive for Mathematical Logic](http://link.springer.com/journal/153)","snPcode":"153","submissionUrl":"https://submission.nature.com/new-submission/153/3","title":"Archive for Mathematical Logic","twitterHandle":"","acdcEnabled":true,"dfaEnabled":true,"editorialSystem":"em","reportingPortfolio":"Springer Hybrid","inReviewEnabled":true,"inReviewRevisionsEnabled":false}}],"origin":"","ownerIdentity":"5173da49-3329-4936-aa5b-702fe795a5f5","owner":[],"postedDate":"March 8th, 2024","published":true,"recentEditorialEvents":[],"rejectedJournal":[],"revision":"","amendment":"","status":"published-in-journal","subjectAreas":[],"tags":[],"updatedAt":"2026-01-19T16:47:38+00:00","versionOfRecord":{"articleIdentity":"rs-4025452","link":"https://doi.org/10.1007/s00153-025-01001-3","journal":{"identity":"archive-for-mathematical-logic","isVorOnly":false,"title":"Archive for Mathematical Logic"},"publishedOn":"2026-01-16 16:30:15","publishedOnDateReadable":"January 16th, 2026"},"versionCreatedAt":"2024-03-08 21:27:56","video":"","vorDoi":"10.1007/s00153-025-01001-3","vorDoiUrl":"https://doi.org/10.1007/s00153-025-01001-3","workflowStages":[]},"version":"v1","identity":"rs-4025452","journalConfig":"researchsquare"},"__N_SSP":true},"page":"/article/[identity]/[[...version]]","query":{"redirect":"/article/rs-4025452","identity":"rs-4025452","version":["v1"]},"buildId":"8U1c8b4HqxoKbykW_rLl7","isFallback":false,"isExperimentalCompile":false,"dynamicIds":[84888],"gssp":true,"scriptLoader":[]}