{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,28]],"date-time":"2026-07-28T18:04:26Z","timestamp":1785261866732,"version":"3.55.0"},"reference-count":0,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":16082,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1970,3]]},"abstract":"<jats:p>Schiller Joe Scroggs in [9] established remarkable facts concerning \u201cnormal\u201d extensions of the modal sentential calculus S5, the most notable of these facts being that all such proper extensions have finite characteristic matrices. The major import of the present paper is that like facts hold for the relevant sentential calculus R-Mingle (RM). Robert K. Meyer in [6] has obtained an important completeness result for RM, which will play a central role in our results. However, in \u00a72 we shall obtain a new proof of Meyer's result as a by-product of the algebraic logic that we develop in \u00a71. Also in \u00a72 we shall obtain the promised results for extensions of RM. In \u00a73 we shall provide a strong completeness theorem for RM by generalizing the semantics of Meyer.<\/jats:p>","DOI":"10.2307\/2271149","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T20:58:55Z","timestamp":1146949135000},"page":"1-13","source":"Crossref","is-referenced-by-count":93,"title":["Algebraic completeness results for R-mingle and its extensions"],"prefix":"10.1017","volume":"35","author":[{"given":"J.","family":"Michael Dunn","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"container-title":["The Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200092161","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,22]],"date-time":"2023-03-22T10:37:43Z","timestamp":1679481463000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200092161\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1970,3]]},"references-count":0,"aliases":["10.1017\/s0022481200092161"],"journal-issue":{"issue":"1","published-print":{"date-parts":[[1970,3]]}},"alternative-id":["S0022481200092161"],"URL":"https:\/\/doi.org\/10.2307\/2271149","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1970,3]]}}}