Logics Projectively Generated from [ℳ︁] = (ℱ 4 , [{1}]) by a Set of Homomorphisms
1987; Wiley; Volume: 33; Issue: 3 Linguagem: Inglês
10.1002/malq.19870330306
ISSN1521-3870
Autores Tópico(s)Advanced Algebra and Logic
ResumoMathematical Logic QuarterlyVolume 33, Issue 3 p. 235-241 Article Logics Projectively Generated from [ℳ︁] = (ℱ4, [{1}]) by a Set of Homomorphisms Ventura Verdú, Ventura Verdú Universidad de Barcelona Facultad de Matemáticas Gran Via, 585 08007 Barcelona, SpainSearch for more papers by this author Ventura Verdú, Ventura Verdú Universidad de Barcelona Facultad de Matemáticas Gran Via, 585 08007 Barcelona, SpainSearch for more papers by this author First published: 1987 https://doi.org/10.1002/malq.19870330306Citations: 5AboutPDF ToolsRequest permissionExport citationAdd to favoritesTrack citation ShareShare Give accessShare full text accessShare full-text accessPlease review our Terms and Conditions of Use and check box below to share full-text version of article.I have read and accept the Wiley Online Library Terms and Conditions of UseShareable LinkUse the link below to share a full-text version of this article with your friends and colleagues. Learn more.Copy URL Share a linkShare onEmailFacebookTwitterLinkedInRedditWechat References 1 Bloom, S. D., and D. J. Brown, Classical abstract logics. Dissertationes Math. 102 (1973), 42–51 Google Scholar 2 Brown, D. J., and R. Suszko, Abstract logics. Dissertationes Math. 102 (1973), 5–41 Google Scholar 3 Cohn, P. M., Universal Algebra. Reidel Publ. Comp., Dordrecht 1981. 10.1007/978-94-009-8399-1 Google Scholar 4 Diego, A., Sobre álgebras de Hilbert. Notas de Lógica Matemática, 12, Universidad Nacional del Sur 1965. Google Scholar 5 Łoś, J., and R. Suszko, Remarks on sentencial logics. Indag. Math. 20 (1958), 177–183 10.1016/S1385-7258(58)50024-9 Google Scholar 6 Monteiro, A., La sémisimplicité des algèbres de Boole topologiques et les systèmes déductifs, Rev. Un. Mat. Argentina 25 (1971), 417–448 Google Scholar 7 Pierce, R. S., Introduction to the Theory of Abstract Algebras. New York 1968. Google Scholar 8 Post, E., Two-valued Iterative Systems of Mathematical Logic. Princeton 1941. Google Scholar 9 Rasiowa, H., An Algebraic Approach to Non-classical Logics. North-Holland Publ. Comp., Amsterdam 1974. Google Scholar 10 Verdú, V., Some algebraic structures determined by closure operators. This Zeitschrift 31 (1985), 275–278 Web of Science®Google Scholar Citing Literature Volume33, Issue31987Pages 235-241 ReferencesRelatedInformation
Referência(s)