×

Found 339 Documents (Results 1–100)

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
Full Text: DOI arXiv

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).
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite

Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width. (English. Russian original) Zbl 1403.06021

Sib. Math. J. 57, No. 6, 1066-1076 (2016); translation from Sib. Mat. Zh. 57, No. 6, 1361-1375 (2016).
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
Full Text: DOI

Perfect local computability of superatomic Boolean algebras. (Russian, English) Zbl 1349.03046

Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 14, No. 2, 24-41 (2014); translation in J. Math. Sci., New York 211, No. 6, 789-804 (2015).
MSC:  03D45 06E25 03C57
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite

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).
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
Full Text: DOI

Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism. (English. Russian original) Zbl 1315.03053

Algebra Logic 52, No. 2, 89-97 (2013); translation from Algebra Logika 52, No. 2, 131-144 (2013).
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite

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).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software