×

Found 50 Documents (Results 1–50)

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
Full Text: DOI arXiv

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).
MSC:  03G05 06E25 60A05
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: Link

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
MSC:  06E25 06E15 06E10
PDFBibTeX XMLCite

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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

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).
PDFBibTeX XMLCite

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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

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

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).
PDFBibTeX XMLCite

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

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).
PDFBibTeX XMLCite

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

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)
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite

Filter Results by …

all top 5

Year of Publication

all top 3

Main Field

Software