Jipsen, Peter; Kurd-Misto, M. Eyad; Wimberley, James On the representation of Boolean magmas and Boolean semilattices. (English) Zbl 1506.06005 Madarász, Judit (ed.) et al., Hajnal Andréka and István Németi on unity of science. From computing to relativity theory through algebraic logic. Cham: Springer. Outst. Contrib. Log. 19, 289-312 (2021). MSC: 06E25 03G25 06A12 PDFBibTeX XMLCite \textit{P. Jipsen} et al., Outst. Contrib. Log. 19, 289--312 (2021; Zbl 1506.06005) Full Text: DOI
Düntsch, Ivo; Dzik, Wojciech; Orłowska, Ewa On the semilattice of modal operators and decompositions of the discriminator. (English) Zbl 1506.03128 Madarász, Judit (ed.) et al., Hajnal Andréka and István Németi on unity of science. From computing to relativity theory through algebraic logic. Cham: Springer. Outst. Contrib. Log. 19, 207-231 (2021). MSC: 03G10 03B45 06E25 PDFBibTeX XMLCite \textit{I. Düntsch} et al., Outst. Contrib. Log. 19, 207--231 (2021; Zbl 1506.03128) Full Text: DOI arXiv
Goodman, I. R.; Bamber, Donald A tacit assumption behind Lewis triviality that is not applicable to product space conditional event algebra. (English) Zbl 1483.03035 Kreinovich, Vladik (ed.), Statistical and fuzzy approaches to data processing, with applications to econometrics and other areas. In honor of Hung T. Nguyen’s 75th birthday. Cham: Springer. Stud. Comput. Intell. 892, 111-126 (2021). Reviewer: Ioan Tomescu (Bucureşti) MSC: 03G05 06E25 60A05 PDFBibTeX XMLCite \textit{I. R. Goodman} and \textit{D. Bamber}, Stud. Comput. Intell. 892, 111--126 (2021; Zbl 1483.03035) Full Text: DOI
Westerbaan, Abraham; Westerbaan, Bas; van de Wetering, John A characterisation of ordered abstract probabilities. (English) Zbl 1503.81018 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 944-957 (2020). MSC: 81P68 68Q09 68Q10 06E25 81P10 06C15 PDFBibTeX XMLCite \textit{A. Westerbaan} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 944--957 (2020; Zbl 1503.81018) Full Text: DOI arXiv
Ghosh, Pranab Kumar; Winter, Michael A modal and relevance logic for qualitative spatial reasoning. (English) Zbl 1518.68360 Desharnais, Jules (ed.) et al., Relational and algebraic methods in computer science. 17th international conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11194, 131-147 (2018). MSC: 68T27 03B45 03B47 06E25 68V20 PDFBibTeX XMLCite \textit{P. K. Ghosh} and \textit{M. Winter}, Lect. Notes Comput. Sci. 11194, 131--147 (2018; Zbl 1518.68360) Full Text: DOI
Bergman, Clifford Introducing Boolean semilattices. (English) Zbl 1459.03097 Czelakowski, Janusz (ed.), Don Pigozzi on abstract algebraic logic, universal algebra, and computer science. Cham: Springer. Outst. Contrib. Log. 16, 103-130 (2018). MSC: 03G25 06E25 06A12 08B05 PDFBibTeX XMLCite \textit{C. Bergman}, Outst. Contrib. Log. 16, 103--130 (2018; Zbl 1459.03097) Full Text: DOI Link
Furber, Robert; Kozen, Dexter; Larsen, Kim; Mardare, Radu; Panangaden, Prakash Unrestricted Stone duality for Markov processes. (English) Zbl 1452.06009 Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 92, 9 p. (2017). MSC: 06E25 03B45 03B48 03G25 60J99 PDFBibTeX XMLCite \textit{R. Furber} et al., in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 92, 9 p. (2017; Zbl 1452.06009) Full Text: Link
Khan, Md. Aquil Multiple-source approximation systems, evolving information systems and corresponding logics: a study in rough set theory. (English) Zbl 1398.68542 Peters, James F. (ed.) et al., Transactions on Rough Sets XX. Berlin: Springer (ISBN 978-3-662-53610-0/pbk; 978-3-662-53611-7/ebook). Lecture Notes in Computer Science 10020. Journal Subline, 146-320 (2016). MSC: 68T37 03B62 06E25 68T27 PDFBibTeX XMLCite \textit{Md. A. Khan}, Lect. Notes Comput. Sci. 10020, 146--320 (2016; Zbl 1398.68542) Full Text: DOI
Celani, Sergio A. Precontact relations and quasi-modal operators in Boolean algebras. (English) Zbl 1375.06012 Platzeck, María Inés (ed.) et al., Actas del XIII congreso “Dr. Antonio A. R. Monteiro”. Bahía Blanca: Universidad Nacional del Sur, Instituto de Matemática. 63-79 (2016). Reviewer: James Monk (Boulder) MSC: 06E25 06E15 06E10 PDFBibTeX XMLCite \textit{S. A. Celani}, in: Actas del XIII congreso ``Dr. Antonio A. R. Monteiro''. Bahía Blanca: Universidad Nacional del Sur, Instituto de Matemática. 63--79 (2016; Zbl 1375.06012)
Wurm, Christian; Lichte, Timm The proper treatment of linguistic ambiguity in ordinary algebra. (English) Zbl 1478.03062 Foret, Annie (ed.) et al., Formal grammar. 20th and 21st international conferences, FG 2015, Barcelona, Spain, August 2015. Revised selected papers. FG 2016, Bozen, Italy, August 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9804, 306-322 (2016). MSC: 03B65 91F20 06E25 PDFBibTeX XMLCite \textit{C. Wurm} and \textit{T. Lichte}, Lect. Notes Comput. Sci. 9804, 306--322 (2016; Zbl 1478.03062) Full Text: DOI
Guitart, René Hexagonal logic of the field \(\mathbb{F}_{8}\) as a Boolean logic with three involutive modalities. (English) Zbl 1352.03030 Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer (ISBN 978-3-319-10192-7/pbk; 978-3-319-10193-4/ebook). Studies in Universal Logic, 191-220 (2015). MSC: 03B45 03B50 03G05 06E25 06E30 11T99 PDFBibTeX XMLCite \textit{R. Guitart}, in: The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer. 191--220 (2015; Zbl 1352.03030) Full Text: DOI
Martínez, Juan Carlos Cardinal sequences for superatomic Boolean algebras. (English) Zbl 1358.03075 Geschke, Stefan (ed.) et al., Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. London: College Publications (ISBN 978-1-84890-130-8/hbk). 273-284 (2014). MSC: 03E35 03E45 03E55 06E25 PDFBibTeX XMLCite \textit{J. C. Martínez}, in: Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. London: College Publications. 273--284 (2014; Zbl 1358.03075)
Ghosh, Manas; Winter, Michael Refinements of the RCC25 composition table. (English) Zbl 1405.68376 Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 – May 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06250-1/pbk). Lecture Notes in Computer Science 8428, 379-394 (2014). MSC: 68T30 03G15 06E25 68T27 PDFBibTeX XMLCite \textit{M. Ghosh} and \textit{M. Winter}, Lect. Notes Comput. Sci. 8428, 379--394 (2014; Zbl 1405.68376) Full Text: DOI
Kozen, Dexter; Larsen, Kim G.; Mardare, Radu; Panangaden, Prakash Stone duality for Markov processes. (English) Zbl 1433.06006 Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society. 321-330 (2013). MSC: 06E25 03B45 03B48 03G25 60J99 PDFBibTeX XMLCite \textit{D. Kozen} et al., in: Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25--28, 2013. Los Alamitos, CA: IEEE Computer Society. 321--330 (2013; Zbl 1433.06006) Full Text: DOI
Orłowska, Ewa; Radzikowska, Anna Maria Knowledge algebras and their discrete duality. (English) Zbl 1311.03079 Skowron, Andrzej (ed.) et al., Rough sets and intelligent systems – Professor Zdzisław Pawlak in memoriam. Volume 2. Berlin: Springer (ISBN 978-3-642-30340-1/hbk; 978-3-642-30341-8/ebook). Intelligent Systems Reference Library 43, 7-20 (2013). MSC: 03G25 06E25 68T30 PDFBibTeX XMLCite \textit{E. Orłowska} and \textit{A. M. Radzikowska}, Intell. Syst. Ref. Libr. 43, 7--20 (2013; Zbl 1311.03079) Full Text: DOI
Khan, Md. Aquil; Banerjee, Mohua Algebras for information systems. (English) Zbl 1308.68116 Skowron, Andrzej (ed.) et al., Rough sets and intelligent systems – Professor Zdzisław Pawlak in memoriam. Volume 1. Foreword by Roman Słowiński. Berlin: Springer (ISBN 978-3-642-30343-2/hbk; 978-3-642-30344-9/ebook). Intelligent Systems Reference Library 42, 381-407 (2013). MSC: 68T30 06E25 08A70 68T27 PDFBibTeX XMLCite \textit{Md. A. Khan} and \textit{M. Banerjee}, Intell. Syst. Ref. Libr. 42, 381--407 (2013; Zbl 1308.68116) Full Text: DOI
Srinivasan, Murali K. Notes on explicit block diagonalization. (English) Zbl 1286.06020 Bapat, Ravindra B.(ed.) et al., Combinatorial matrix theory and generalized inverses of matrices. New Delhi: Springer (ISBN 978-81-322-1052-8/hbk; 978-81-322-1053-5/ebook). 13-31 (2013). MSC: 06E25 05E18 PDFBibTeX XMLCite \textit{M. K. Srinivasan}, in: Combinatorial matrix theory and generalized inverses of matrices. New Delhi: Springer. 13--31 (2013; Zbl 1286.06020) Full Text: DOI
van Gool, Sam Constructing the Lindenbaum algebra for a logic step-by-step using duality. (English) Zbl 1298.03067 De Vuyst, Jonas (ed.) et al., Future directions in logic. Proceedings of PhDs in logic III. Selected papers presented at the conference, Brussels, Belgium, February 17–18, 2011. London: College Publications (ISBN 978-1-84890-079-0). IfColog Proceedings 2, 55-66 (2012). MSC: 03B45 03G25 06E25 PDFBibTeX XMLCite \textit{S. van Gool}, IfColog Proc. 2, 55--66 (2012; Zbl 1298.03067)
Hirsch, Robin; Hodkinson, Ian Completions and complete representations. (English) Zbl 1284.03271 Andréka, Hajnal (ed.) et al., Cylindric-like algebras and algebraic logic. Dordrecht: Springer; Budapest: János Bolyai Mathematical Society (ISBN 978-3-642-35024-5/hbk; 978-963-9453-15-9/hbk). Bolyai Society Mathematical Studies 22, 61-89 (2012). MSC: 03G05 03G15 03G25 06E25 PDFBibTeX XMLCite \textit{R. Hirsch} and \textit{I. Hodkinson}, Bolyai Soc. Math. Stud. 22, 61--89 (2012; Zbl 1284.03271)
Bartoszewicz, Artur; Kowalski, Andrzej Some remarks on inner MB-representable algebras. (English) Zbl 1245.06024 Filipczak, Małgorzata (ed.) et al., Real functions, density topology and related topics. Dedicated to Professor Władysław Wilczyński on the occasion of his 65th birthday. Łódź: Wydawnictwo Uniwersytetu Łódzkiego (ISBN 978-83-7525-536-2/pbk). 148-156 (2011). MSC: 06E25 28A10 PDFBibTeX XMLCite \textit{A. Bartoszewicz} and \textit{A. Kowalski}, in: Real functions, density topology and related topics. Dedicated to Professor Władysław Wilczyński on the occasion of his 65th birthday. Łódź: Wydawnictwo Uniwersytetu Łódzkiego. 148--156 (2011; Zbl 1245.06024)
Díaz Varela, J. Patricio Symmetric structure for closure algebras. (English) Zbl 1167.06006 Abad, Manuel (ed.) et al., Actas del IX congreso de matemática “Dr. Antonio A. R. Monteiro”. Bahía Blanca: Universidad Nacional del Sur, Instituto de Matemática. 79-106 (2008). MSC: 06E25 06B20 06D20 06D30 08B15 08B26 PDFBibTeX XMLCite \textit{J. P. Díaz Varela}, in: Actas del IX congreso de matemática ``Dr. Antonio A. R. Monteiro''. Bahía Blanca: Universidad Nacional del Sur, Instituto de Matemática. 79--106 (2008; Zbl 1167.06006)
Kawahara, Yasuo Boolean algebras and Stone maps in Schröder categories. (English) Zbl 1139.06006 Berghammer, Rudolf (ed.) et al., Relations and Kleene algebra in computer science. 10th international conference on relational methods in computer science, and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7–11, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78912-3/pbk). Lecture Notes in Computer Science 4988, 259-273 (2008). MSC: 06E25 03G15 18B10 18D35 PDFBibTeX XMLCite \textit{Y. Kawahara}, Lect. Notes Comput. Sci. 4988, 259--273 (2008; Zbl 1139.06006) Full Text: DOI
Düntsch, Ivo; Winter, Michael The lattice of contact relations on a Boolean algebra. (English) Zbl 1139.06005 Berghammer, Rudolf (ed.) et al., Relations and Kleene algebra in computer science. 10th international conference on relational methods in computer science, and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7–11, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78912-3/pbk). Lecture Notes in Computer Science 4988, 99-109 (2008). MSC: 06E25 06B30 68T27 PDFBibTeX XMLCite \textit{I. Düntsch} and \textit{M. Winter}, Lect. Notes Comput. Sci. 4988, 99--109 (2008; Zbl 1139.06005) Full Text: DOI
Litak, Tadeusz Algebraization of hybrid logic with binders. (English) Zbl 1135.03031 Schmidt, Renate A. (ed.), Relations and Kleene algebra in computer science. 9th international conference on relational methods in computer science and 4th international workshop on applications of Kleene algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37873-0/pbk). Lecture Notes in Computer Science 4136, 281-295 (2006). MSC: 03G25 03B70 03B45 06E25 PDFBibTeX XMLCite \textit{T. Litak}, Lect. Notes Comput. Sci. 4136, 281--295 (2006; Zbl 1135.03031) Full Text: DOI
Dzik, Wojciech Splittings of lattices of theories and unification types. (English) Zbl 1109.06008 Dorfer, G. (ed.) et al., Proceedings of the 70th workshop on general algebra “70. Arbeitstagung Allgemeine Algebra”, Vienna, Austria, May 26–29, 2005. Klagenfurt: Verlag Johannes Heyn (ISBN 3-7084-0194-8/pbk). Contributions to General Algebra 17, 71-81 (2006). MSC: 06D20 03B35 06E25 PDFBibTeX XMLCite \textit{W. Dzik}, Contrib. Gen. Algebra 17, 71--81 (2006; Zbl 1109.06008)
Cīrulis, Jānis Finitizing projection algebras. (English) Zbl 1110.03062 Dorfer, G. (ed.) et al., Proceedings of the 70th workshop on general algebra “70. Arbeitstagung Allgemeine Algebra”, Vienna, Austria, May 26–29, 2005. Klagenfurt: Verlag Johannes Heyn (ISBN 3-7084-0194-8/pbk). Contributions to General Algebra 17, 45-60 (2006). Reviewer: Radomír Halaš (Prostejov) MSC: 03G25 06E25 PDFBibTeX XMLCite \textit{J. Cīrulis}, Contrib. Gen. Algebra 17, 45--60 (2006; Zbl 1110.03062)
Litak, Tadeusz On notions of completeness weaker than Kripke completeness. (English) Zbl 1102.03065 Schmidt, Renate (ed.) et al., Advances in modal logic. Vol. 5. Selected papers from the 5th conference (AiML 2004), Manchester, UK, September 9–11, 2004. London: King’s College Publications (ISBN 1-904987-22-2/pbk). 149-169 (2005). MSC: 03G25 03B45 06E25 PDFBibTeX XMLCite \textit{T. Litak}, in: Advances in modal logic. Vol. 5. Selected papers from the 5th conference (AiML 2004), Manchester, UK, September 9--11, 2004. London: King's College Publications. 149--169 (2005; Zbl 1102.03065)
Goldblatt, Robert Questions of canonicity. (English) Zbl 1050.03044 Hendricks, Vincent F. (ed.) et al., Trends in logic. 50 years of Studia Logica. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1601-8/hbk). Trends Log. Stud. Log. Libr. 21, 109-144 (2003). Reviewer: Jānis Cīrulis (Riga) MSC: 03G15 03B45 06E25 08B99 PDFBibTeX XMLCite \textit{R. Goldblatt}, Trends Log. Stud. Log. Libr. 21, 109--144 (2003; Zbl 1050.03044)
Düntsch, Ivo; Orłowska, Ewa Beyond modalities: Sufficiency and mixed algebras. (English) Zbl 0992.03078 Orłowska, Ewa (ed.) et al., Relational methods for computer science applications. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 65, 263-285 (2001). MSC: 03G05 06E25 03B45 68T27 68T37 PDFBibTeX XMLCite \textit{I. Düntsch} and \textit{E. Orłowska}, Stud. Fuzziness Soft Comput. 65, 263--285 (2001; Zbl 0992.03078)
SanJuan, Eric; Iturrioz, Luisa An application of standard BAO theory to some abstract information algebras. (English) Zbl 0992.03079 Orłowska, Ewa (ed.) et al., Relational methods for computer science applications. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 65, 203-215 (2001). MSC: 03G05 06E25 68T37 PDFBibTeX XMLCite \textit{E. SanJuan} and \textit{L. Iturrioz}, Stud. Fuzziness Soft Comput. 65, 203--215 (2001; Zbl 0992.03079)
de Rijke, Maarten A modal characterization of Peirce algebras. (English) Zbl 0922.03088 Orłowska, Ewa (ed.), Logic at work. Essays dedicated to the memory of Helena Rasiowa. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 24, 109-123 (1999). Reviewer: L.Esakia (Tbilisi) MSC: 03G25 03B45 06E25 PDFBibTeX XMLCite \textit{M. de Rijke}, Stud. Fuzziness Soft Comput. 24, 109--123 (1999; Zbl 0922.03088)
Venema, Yde Atom structures. (English) Zbl 0905.06010 Kracht, Marcus (ed.) et al., Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Stanford, CA: Center for the Study of Language and Information (CSLI). CSLI Lect. Notes. 87, 291-305 (1998). MSC: 06E25 PDFBibTeX XMLCite \textit{Y. Venema}, in: Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Stanford, CA: Center for the Study of Language and Information (CSLI). 291--305 (1998; Zbl 0905.06010)
Beklemishev, Lev Remarks on Magari algebras of \(\text{PA}\) and \(\text{I}\Delta_ 0 + \text{EXP}\). (English) Zbl 0855.03038 Ursini, Aldo (ed.) et al., Logic and algebra. Proceedings of the international conference dedicated to the memory of Roberto Magari, April 26–30, 1994, Pontignano, Italy. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 180, 317-325 (1996). MSC: 03G25 03F30 06E25 03B45 PDFBibTeX XMLCite \textit{L. Beklemishev}, Lect. Notes Pure Appl. Math. 180, 317--325 (1996; Zbl 0855.03038)
Hendriks, Lex; de Jongh, Dick Finitely generated Magari algebras and arithmetic. (English) Zbl 0865.03053 Ursini, Aldo (ed.) et al., Logic and algebra. Proceedings of the international conference dedicated to the memory of Roberto Magari, April 26–30, 1994, Pontignano, Italy. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 180, 137-160 (1996). Reviewer: L.Esakia (Tbilisi) MSC: 03G25 03B45 06E25 PDFBibTeX XMLCite \textit{L. Hendriks} and \textit{D. de Jongh}, Lect. Notes Pure Appl. Math. 180, 137--160 (1996; Zbl 0865.03053)
Rybakov, Vladimir V. Elementary theories of free algebras for varieties corresponding to non-classical logics. (English) Zbl 0853.03012 Ershov, Y. (ed.) et al., Algebra. Proceedings of the third international conference on algebra, Krasnoyarsk, Russia, August 23-28, 1993. Berlin: Walter de Gruyter. 199-208 (1996). Reviewer: B.M.Schein (Fayetteville) MSC: 03C68 03D35 08B20 03B25 03B20 03B45 06E25 PDFBibTeX XMLCite \textit{V. V. Rybakov}, in: Algebra. Proceedings of the third international conference on algebra, Krasnoyarsk, Russia, August 23-28, 1993. Berlin: Walter de Gruyter. 199--208 (1996; Zbl 0853.03012)
Russu, Andrei The conditions of functional completeness in the diagonalizable algebra with four elements. (English) Zbl 0913.06012 Osmatescu, Petre (ed.), 9th Tiraspol symposium on general topology and its applications, Tiraspol, Moldova, August 5–11, 1996. Chişinău: Editura “Tehnica”, Univ. Tehnică Moldovei. Scripta Scientiarum. 204-209 (1996). MSC: 06E25 03G05 03B50 PDFBibTeX XMLCite \textit{A. Russu}, in: Simposium septimum Tiraspolense generalis topologiae et suae applicationum, Tiraspol, Moldava, August 5--11, 1996. Chişinău: Editura ``Tehnica'', Univ. Tehnică Moldovei. 204--209 (1996; Zbl 0913.06012)
Ghilardi, Silvio Irreducible models and definable embeddings. (English) Zbl 0846.03033 Csirmaz, László (ed.) et al., Logic colloquium ’92, Veszprém, Hungary, August 9-15, 1992. Stanford, CA: CSLI Publications. Studies in Logic, Language and Computation. 95-113 (1995). Reviewer: L.Esakia (Tbilisi) MSC: 03G25 06E25 06D20 08B20 PDFBibTeX XMLCite \textit{S. Ghilardi}, in: Logic colloquium '92, Veszprém, Hungary, August 9-15, 1992. Stanford, CA: CSLI Publications. 95--113 (1995; Zbl 0846.03033)
Jónsson, Bjarni The preservation theorem for canonical extensions of Boolean algebras with operators. (English) Zbl 0835.06014 Baker, K. A. (ed.) et al., Lattice theory and its applications. In celebration of Garrett Birkhoff’s 80th birthday. Lemgo: Heldermann Verlag. Res. Expo. Math. 23, 121-130 (1995). Reviewer: M.Abad (Bahia Blanca) MSC: 06E25 PDFBibTeX XMLCite \textit{B. Jónsson}, Res. Expo. Math. 23, 121--130 (1995; Zbl 0835.06014)
Dragalin, A. G. Complete Heyting and Boolean algebras over a partial ordering. Constructive approaches. (English) Zbl 0885.03048 Császár, Á. (ed.), Topology with applications. Proceedings of the 7th colloquium, Szekszárd, Hungary, August 23–27, 1993. Budapest: János Bolyai Mathematical Society. Bolyai Soc. Math. Stud. 4, 159-195 (1995). MSC: 03G25 03G05 06D20 06E25 03F03 03H99 PDFBibTeX XMLCite \textit{A. G. Dragalin}, Bolyai Soc. Math. Stud. 4, 159--195 (1995; Zbl 0885.03048)
Bealer, George Toward a new theory of content. (English) Zbl 0842.03022 Casati, Roberto (ed.) et al., Philosophy and the cognitive sciences. Proceedings of the 16th international Wittgenstein symposium, 15-22 August 1993, Kirchberg am Wechsel, Austria. Vienna: Hölder-Pichler-Tempsky. Schriftenreihe der Wittgenstein-Gesellschaft. 21, 179-192 (1994). Reviewer: V.Peckhaus (Erlangen) MSC: 03B65 03A05 06E25 68T50 PDFBibTeX XMLCite \textit{G. Bealer}, in: Philosophy and the cognitive sciences. Proceedings of the 16th international Wittgenstein symposium, August 15-22, 1993, Kirchberg am Wechsel, Austria. Vienna: Hölder-Pichler-Tempsky. 179--192 (1994; Zbl 0842.03022)
Magid, Andy R. Adjoining idempotents. (English) Zbl 0851.13003 Magid, Andy R. (ed.), Rings, extensions, and cohomology. Proceedings of the conference on the occasion of the retirement of Daniel Zelinsky, held at Northwestern University, Evanston, IL, USA. Basel: Marcel Dekker. Lect. Notes Pure Appl. Math. 159, 155-163 (1994). Reviewer: F.DeMeyer (MR 95h:13006) MSC: 13B02 06E25 PDFBibTeX XMLCite \textit{A. R. Magid}, Lect. Notes Pure Appl. Math. 159, 155--163 (1994; Zbl 0851.13003)
Jipsen, Peter Discriminator varieties of Boolean algebras with residuated operators. (English) Zbl 0794.06012 Rauszer, Cecylia (ed.), Algebraic methods in logic and in computer science. Papers of the XXXVIII semester on algebraic methods in logic and their computer science applications held in Warsaw (Poland) between September 15 and December 15, 1991. Warsaw: Polish Academy of Sciences, Institute of Mathematics. Banach Cent. Publ. 28, 239-252 (1993). MSC: 06E25 08A40 08B99 03G15 08B26 03B45 PDFBibTeX XMLCite \textit{P. Jipsen}, Banach Cent. Publ. 28, 239--252 (1993; Zbl 0794.06012)
Jónsson, Bjarni A survey of Boolean algebras with operators. (English) Zbl 0811.06012 Rosenberg, Ivo (ed.) et al., Algebras and orders. Proceedings of the NATO Advanced Study Institute and Séminaire de mathématiques supérieures, Montréal, Canada, July 29 - August 9, 1991. Dordrecht: Kluwer Academic Publishers. NATO ASI Ser., Ser. C, Math. Phys. Sci. 389, 239-286 (1993). Reviewer: A.S.Morozov (Novosibirsk) MSC: 06E25 06-02 03G25 03-02 PDFBibTeX XMLCite \textit{B. Jónsson}, NATO ASI Ser., Ser. C, Math. Phys. Sci. 389, 239--286 (1993; Zbl 0811.06012)
Pratt, Vaughan The second calculus of binary relations. (English) Zbl 0925.03220 Borzyszkowski, Andrzej M. (ed.) et al., Mathematical foundations of computer science 1993. 18th international symposium, MFCS ’93, Gdańsk, Poland, August/ September 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 711, 142-155 (1993). MSC: 03G30 03F50 06E25 PDFBibTeX XMLCite \textit{V. Pratt}, Lect. Notes Comput. Sci. 711, 142--155 (1993; Zbl 0925.03220)
Hansoul, Georges Modal-axiomatic classes of Kripke models. (English) Zbl 0749.03043 Algebraic logic, Pap. Colloq., Budap./Hung. 1988, Colloq. Math. Soc. János Bolyai 54, 231-240 (1991). MSC: 03G05 03B45 06E25 PDFBibTeX XMLCite \textit{G. Hansoul}, Colloq. Math. Soc. János Bolyai 54, 231--240 (1991; Zbl 0749.03043)
Ramalho, Margarita On Boolean algebras with operators. (Portuguese) Zbl 0754.06010 Algebra, logic and number theory, Proc. 15th Port.-Span. Meet. Math., Évora/Port. 1990, Vol. I, 3-21 (1991). Reviewer: M.Abad (Bahia Blanca) MSC: 06E25 03G05 06-01 03-01 PDFBibTeX XMLCite \textit{M. Ramalho}, in: Álgebra, lógica e theoria de números. Actas de XV jornadas luso-espanholas de matemática, 3-7 de setembro, 1990, Vol. I. Évora (Portugal): Universidade de Évora. 3--21 (1991; Zbl 0754.06010)
Dunn, J. Michael Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators. (English) Zbl 0814.03044 Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 31-51 (1991). Reviewer: V.Shekhtman (Moskva) MSC: 03G25 06A15 06D05 03B45 06E25 PDFBibTeX XMLCite \textit{J. M. Dunn}, Lect. Notes Comput. Sci. 478, 31--51 (1991; Zbl 0814.03044)
Soltanov, A. G. The axiom of exactness of homologies and cohomologies for Boolean algebras with closure. (Russian) Zbl 0810.18007 Nuriev, B. R. (ed.), Baku international topological conference held at Baku (USSR), October 3-9, 1987. Proceedings. Baku: Ehlm, 160-166 (1989). MSC: 18G25 06E25 PDFBibTeX XMLCite \textit{A. G. Soltanov}, in: Bakinskaya mezhdunarodnaya topologicheskaya konferentsiya. Baku (SSSR), 3-9 oktyabrya 1987 g. Trudy. Baku: Ehlm. 160--166 (1989; Zbl 0810.18007)
Crvenković, S.; Madarasz, R. On semigroup-relation algebras. (English) Zbl 0727.20044 Algebra and logic, Proc. Conf., Sarajevo/Yugosl. 1987, 17-28 (1989). Reviewer: W.A.Dudek (Wrocław) MSC: 20M30 08A02 06E25 PDFBibTeX XML
Nasyrov, D. A. Complete tensor products of modular uniform logics one of them being distributive. (Russian) Zbl 0738.06011 Mathematical analysis, algebra and probability theory, Collect. Sci. Works, Tashkent, 81-84 (1987). Reviewer: R.Firlová (Havirov-Mesto) MSC: 06C15 03G12 06E25 PDFBibTeX XMLCite \textit{D. A. Nasyrov}, in: On a proof of the Gauss-Bonnet theorem. . 81--84 (1987; Zbl 0738.06011)