{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T05:30:32Z","timestamp":1697693432012},"reference-count":5,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2004,11,25]],"date-time":"2004-11-25T00:00:00Z","timestamp":1101340800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2005,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In [1], Bull gave completeness proofs for three axiom systems with respect to tense logic with time linear and rational, real and integral. The associated varieties, Dens, Cont and Disc, are generated by algebras with frames {\u211a, &lt;, &gt;}, {\u211d, &lt;, &gt;} and {\u2124, &lt;, &gt;}, respectively. In this paper we consider the subvariety \ud835\udcb1 generated by the finite members of Disc. We prove that <jats:italic>V<\/jats:italic> is locally finite and we determine its lattice of subvarieties. We also prove that \ud835\udcb1 = Disc \u2229 Dens = Disc \u2229 Cont. (\u00a9 2004 WILEY\u2010VCH Verlag GmbH &amp; Co. KGaA, Weinheim)<\/jats:p>","DOI":"10.1002\/malq.200410012","type":"journal-article","created":{"date-parts":[[2004,11,25]],"date-time":"2004-11-25T08:46:26Z","timestamp":1101372386000},"page":"104-108","source":"Crossref","is-referenced-by-count":0,"title":["A note on a subvariety of linear tense algebras"],"prefix":"10.1002","volume":"51","author":[{"given":"Marta A.","family":"Zander","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2004,11,25]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.2307\/2270049"},{"key":"e_1_2_1_3_2","doi-asserted-by":"crossref","unstructured":"S.Burris andH.Sankappanavar A Course in Universal Algebra (Springer\u2010Verlag Berlin 1981).","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/PL00000358"},{"key":"e_1_2_1_5_2","unstructured":"R.Jansana Una Introducci\u00f3n a la L\u00f3gica Modal (Tecnos Madrid 1990)."},{"key":"e_1_2_1_6_2","first-page":"53","article-title":"Varieties of tense algebras","volume":"32","author":"Kowalski T.","year":"1998","journal-title":"Reports Math. Logic"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.200410012","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.200410012","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,18]],"date-time":"2023-10-18T19:56:08Z","timestamp":1697658968000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.200410012"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,11,25]]},"references-count":5,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2005,1]]}},"alternative-id":["10.1002\/malq.200410012"],"URL":"https:\/\/doi.org\/10.1002\/malq.200410012","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,11,25]]}}}