Alpay, Natanael; Jipsen, Peter; Sugimoto, Melissa Varieties of unary-determined distributive \(\ell\)-magmas and bunched implication algebras. (English) Zbl 07814920 Log. Methods Comput. Sci. 20, No. 1, Paper No. 12, 22 p. (2024). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{N. Alpay} et al., Log. Methods Comput. Sci. 20, No. 1, Paper No. 12, 22 p. (2024; Zbl 07814920) Full Text: DOI arXiv
van Gool, Sam; Guatto, Adrien; Metcalfe, George; Santschi, Simon Deciding equations in the time warp algebra. (English) Zbl 07814916 Log. Methods Comput. Sci. 20, No. 1, Paper No. 8, 22 p. (2024). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{S. van Gool} et al., Log. Methods Comput. Sci. 20, No. 1, Paper No. 8, 22 p. (2024; Zbl 07814916) Full Text: DOI arXiv
Kuznetsov, Stepan L. Relational models for the Lambek calculus with intersection and constants. (English) Zbl 07789004 Log. Methods Comput. Sci. 19, No. 4, Paper No. 32, 27 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{S. L. Kuznetsov}, Log. Methods Comput. Sci. 19, No. 4, Paper No. 32, 27 p. (2023; Zbl 07789004) Full Text: DOI arXiv
Conradie, Willem; Della Monica, Dario; Muñoz-Velasco, Emilio; Sciavicco, Guido; Stan, Ionel Eduard Fuzzy Halpern and Shoham’s interval temporal logics. (English) Zbl 1522.03069 Fuzzy Sets Syst. 456, 107-124 (2023). MSC: 03B52 03B44 68Q60 PDFBibTeX XMLCite \textit{W. Conradie} et al., Fuzzy Sets Syst. 456, 107--124 (2023; Zbl 1522.03069) Full Text: DOI
van der Berg, Ineke; De Domenico, Andrea; Greco, Giuseppe; Manoorkar, Krishna B.; Palmigiano, Alessandra; Panettiere, Mattia Labelled calculi for the logics of rough concepts. (English) Zbl 07728696 Banerjee, Mohua (ed.) et al., Logic and its applications. 10th Indian conference, ICLA 2023, Indore, India, March 3–5, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13963, 172-188 (2023). MSC: 03Bxx 68T27 PDFBibTeX XMLCite \textit{I. van der Berg} et al., Lect. Notes Comput. Sci. 13963, 172--188 (2023; Zbl 07728696) Full Text: DOI
Lewis-Smith, Andrew; Šemrl, Jaš Implication algebras and implication semigroups of binary relations. (English) Zbl 07728640 Glück, Roland (ed.) et al., Relational and algebraic methods in computer science. 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13896, 194-207 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{A. Lewis-Smith} and \textit{J. Šemrl}, Lect. Notes Comput. Sci. 13896, 194--207 (2023; Zbl 07728640) Full Text: DOI
Jipsen, Peter; Šemrl, Jaš Representable and diagonally representable weakening relation algebras. (English) Zbl 07728637 Glück, Roland (ed.) et al., Relational and algebraic methods in computer science. 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13896, 140-157 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{P. Jipsen} and \textit{J. Šemrl}, Lect. Notes Comput. Sci. 13896, 140--157 (2023; Zbl 07728637) Full Text: DOI arXiv
Gil-Férez, José; Jipsen, Peter; Lodhia, Siddhartha The structure of locally integral involutive po-monoids and semirings. (English) Zbl 07728633 Glück, Roland (ed.) et al., Relational and algebraic methods in computer science. 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13896, 69-86 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{J. Gil-Férez} et al., Lect. Notes Comput. Sci. 13896, 69--86 (2023; Zbl 07728633) Full Text: DOI
Alm, Jeremy F.; Andrews, David; Levet, Michael Comer schemes, relation algebras, and the flexible atom conjecture. (English) Zbl 07728630 Glück, Roland (ed.) et al., Relational and algebraic methods in computer science. 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13896, 17-33 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{J. F. Alm} et al., Lect. Notes Comput. Sci. 13896, 17--33 (2023; Zbl 07728630) Full Text: DOI arXiv
Al-Juaid, Badriah; Jackson, Marcel; Koussas, James; Kowalski, Tomasz Edge colourings and qualitative representations of chromatic algebras. (English) Zbl 07713771 J. Algebr. Comb. 58, No. 1, 157-182 (2023). MSC: 03Gxx 05Cxx 68Txx PDFBibTeX XMLCite \textit{B. Al-Juaid} et al., J. Algebr. Comb. 58, No. 1, 157--182 (2023; Zbl 07713771) Full Text: DOI arXiv
Busaniche, M.; Cordero, P.; Marcos, M.; Rodriguez, R. O. An algebraic semantics for possibilistic finite-valued Łukasiewicz logic. (English) Zbl 07713728 Int. J. Approx. Reasoning 159, Article ID 108924, 18 p. (2023). MSC: 68T37 PDFBibTeX XMLCite \textit{M. Busaniche} et al., Int. J. Approx. Reasoning 159, Article ID 108924, 18 p. (2023; Zbl 07713728) Full Text: DOI
Greco, Giuseppe; Palmigiano, Alessandra Linear logic properly displayed. (English) Zbl 07672672 ACM Trans. Comput. Log. 24, No. 2, Paper No. 13, 56 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{G. Greco} and \textit{A. Palmigiano}, ACM Trans. Comput. Log. 24, No. 2, Paper No. 13, 56 p. (2023; Zbl 07672672) Full Text: DOI arXiv
Diaconescu, Răzvan Generalised graded interpolation. (English) Zbl 07629303 Int. J. Approx. Reasoning 152, 236-261 (2023). MSC: 68T27 03B50 03C40 03G30 68T37 PDFBibTeX XMLCite \textit{R. Diaconescu}, Int. J. Approx. Reasoning 152, 236--261 (2023; Zbl 07629303) Full Text: DOI
Koguep Njionou, Blaise B.; Kwuida, Leonard; Lele, Celestin Formal concepts and residuation on multilattices. (English) Zbl 07737442 Fundam. Inform. 188, No. 4, 217-237 (2022). MSC: 68T30 06B75 PDFBibTeX XMLCite \textit{B. B. Koguep Njionou} et al., Fundam. Inform. 188, No. 4, 217--237 (2022; Zbl 07737442) Full Text: DOI arXiv
Wagemaker, Jana; Foster, Nate; Kappé, Tobias; Kozen, Dexter; Rot, Jurriaan; Silva, Alexandra Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks. (English) Zbl 1528.68259 Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 575-602 (2022). MSC: 68Q85 68N30 68Q55 PDFBibTeX XMLCite \textit{J. Wagemaker} et al., Lect. Notes Comput. Sci. 13240, 575--602 (2022; Zbl 1528.68259) Full Text: DOI arXiv
Gomes, Leandro; Madeira, Alexandre; Soares Barbosa, Luis Weighted synchronous automata. (English) Zbl 1512.68141 Math. Struct. Comput. Sci. 32, No. 9, 1234-1253 (2022). MSC: 68Q45 PDFBibTeX XMLCite \textit{L. Gomes} et al., Math. Struct. Comput. Sci. 32, No. 9, 1234--1253 (2022; Zbl 1512.68141) Full Text: DOI
Singh, Shailendra; Tiwari, S. P.; Pal, Priyanka On a factorized \(L\)-fuzzy automaton and its \(L\)-fuzzy topological characterization. (English) Zbl 1522.68285 Fuzzy Sets Syst. 420, 29-53 (2021). MSC: 68Q45 54A40 PDFBibTeX XMLCite \textit{S. Singh} et al., Fuzzy Sets Syst. 420, 29--53 (2021; Zbl 1522.68285) Full Text: DOI
Conradie, Willem; Frittella, Sabine; Manoorkar, Krishna; Nazari, Sajad; Palmigiano, Alessandra; Tzimoulis, Apostolos; Wijnberg, Nachoem M. Rough concepts. (English) Zbl 07755019 Inf. Sci. 561, 371-413 (2021). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{W. Conradie} et al., Inf. Sci. 561, 371--413 (2021; Zbl 07755019) Full Text: DOI arXiv
Šemrl, Jaš Domain range semigroups and finite representations. (English) Zbl 07670536 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 19th international conference, RAMiCS 2021, Marseille, France, November 2–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13027, 483-498 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{J. Šemrl}, Lect. Notes Comput. Sci. 13027, 483--498 (2021; Zbl 07670536) Full Text: DOI arXiv
Pinzón, Carlos; Quintero, Santiago; Ramírez, Sergio; Valencia, Frank Computing distributed knowledge as the greatest lower bound of knowledge. (English) Zbl 07670532 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 19th international conference, RAMiCS 2021, Marseille, France, November 2–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13027, 413-432 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{C. Pinzón} et al., Lect. Notes Comput. Sci. 13027, 413--432 (2021; Zbl 07670532) Full Text: DOI arXiv
Nester, Chad A variety theorem for relational universal algebra. (English) Zbl 07670529 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 19th international conference, RAMiCS 2021, Marseille, France, November 2–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13027, 362-377 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{C. Nester}, Lect. Notes Comput. Sci. 13027, 362--377 (2021; Zbl 07670529) Full Text: DOI arXiv
van Gool, Sam; Guatto, Adrien; Metcalfe, George; Santschi, Simon Time warps, from algebra to algorithms. (English) Zbl 07670526 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 19th international conference, RAMiCS 2021, Marseille, France, November 2–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13027, 309-324 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. van Gool} et al., Lect. Notes Comput. Sci. 13027, 309--324 (2021; Zbl 07670526) Full Text: DOI arXiv
Kuznetsov, Stepan L. Relational models for the Lambek calculus with intersection and unit. (English) Zbl 07670523 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 19th international conference, RAMiCS 2021, Marseille, France, November 2–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13027, 258-274 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. L. Kuznetsov}, Lect. Notes Comput. Sci. 13027, 258--274 (2021; Zbl 07670523) Full Text: DOI
Guttmann, Walter Second-order properties of undirected graphs. (English) Zbl 07670520 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 19th international conference, RAMiCS 2021, Marseille, France, November 2–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13027, 209-224 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{W. Guttmann}, Lect. Notes Comput. Sci. 13027, 209--224 (2021; Zbl 07670520) Full Text: DOI
Glück, Roland Isolated sublattices and their application to counting closure operators. (English) Zbl 07670519 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 19th international conference, RAMiCS 2021, Marseille, France, November 2–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13027, 192-208 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{R. Glück}, Lect. Notes Comput. Sci. 13027, 192--208 (2021; Zbl 07670519) Full Text: DOI
Fussner, Wesley; Zuluaga Botero, William Some modal and temporal translations of generalized basic logic. (English) Zbl 07670518 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 19th international conference, RAMiCS 2021, Marseille, France, November 2–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13027, 176-191 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{W. Fussner} and \textit{W. Zuluaga Botero}, Lect. Notes Comput. Sci. 13027, 176--191 (2021; Zbl 07670518) Full Text: DOI arXiv
Conradie, Willem; Goranko, Valentin; Jipsen, Peter Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm PEARL. (English) Zbl 07670515 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 19th international conference, RAMiCS 2021, Marseille, France, November 2–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13027, 126-143 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{W. Conradie} et al., Lect. Notes Comput. Sci. 13027, 126--143 (2021; Zbl 07670515) Full Text: DOI arXiv
Calk, Cameron; Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof \( \ell r\)-multisemigroups, modal quantales and the origin of locality. (English) Zbl 07670513 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 19th international conference, RAMiCS 2021, Marseille, France, November 2–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13027, 90-107 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{C. Calk} et al., Lect. Notes Comput. Sci. 13027, 90--107 (2021; Zbl 07670513) Full Text: DOI
Alpay, Natanael; Jipsen, Peter; Sugimoto, Melissa Unary-determined distributive \(\ell \)-magmas and bunched implication algebras. (English) Zbl 07670509 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 19th international conference, RAMiCS 2021, Marseille, France, November 2–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13027, 19-36 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{N. Alpay} et al., Lect. Notes Comput. Sci. 13027, 19--36 (2021; Zbl 07670509) Full Text: DOI arXiv
Gomes, Leandro; Madeira, Alexandre; Barbosa, Luís Soares A semantics and a logic for Fuzzy Arden Syntax. (English) Zbl 1499.03023 Soft Comput. 25, No. 9, 6789-6805 (2021). MSC: 03B70 03B52 68Q60 68Q85 68N18 PDFBibTeX XMLCite \textit{L. Gomes} et al., Soft Comput. 25, No. 9, 6789--6805 (2021; Zbl 1499.03023) Full Text: DOI
Kuznetsov, Stepan L. Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs. (English) Zbl 07532524 Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 317-334 (2021). MSC: 68V15 PDFBibTeX XMLCite \textit{S. L. Kuznetsov}, Lect. Notes Comput. Sci. 12842, 317--334 (2021; Zbl 07532524) Full Text: DOI
Genco, Francesco A.; Poggiolesi, Francesca Defining formal explanation in classical logic by substructural derivability. (English) Zbl 07495172 De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 237-247 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. A. Genco} and \textit{F. Poggiolesi}, Lect. Notes Comput. Sci. 12813, 237--247 (2021; Zbl 07495172) Full Text: DOI HAL
Kuznetsov, Stepan Complexity of the infinitary Lambek calculus with Kleene star. (English) Zbl 1517.03042 Rev. Symb. Log. 14, No. 4, 946-972 (2021). MSC: 03F52 03B47 68Q45 PDFBibTeX XMLCite \textit{S. Kuznetsov}, Rev. Symb. Log. 14, No. 4, 946--972 (2021; Zbl 1517.03042) Full Text: DOI arXiv
Ésik, Zoltán Equational theories for automata. (English) Zbl 1518.68216 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 729-764 (2021). Reviewer: Guillermo Morales Luna (Ciudad de México) MSC: 68Q70 16Y60 PDFBibTeX XMLCite \textit{Z. Ésik}, in: Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 729--764 (2021; Zbl 1518.68216) Full Text: DOI
Gadducci, Fabio; Santini, Francesco Residuation for soft constraints: lexicographic orders and approximation techniques. (English) Zbl 07437040 Faber, Wolfgang (ed.) et al., Logics in artificial intelligence. 17th European conference, JELIA 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12678, 162-176 (2021). MSC: 68T27 PDFBibTeX XMLCite \textit{F. Gadducci} and \textit{F. Santini}, Lect. Notes Comput. Sci. 12678, 162--176 (2021; Zbl 07437040) Full Text: DOI arXiv
Myers, Robert S. R.; Milius, Stefan; Urbat, Henning Nondeterministic syntactic complexity. (English) Zbl 07410438 Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 448-468 (2021). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{R. S. R. Myers} et al., Lect. Notes Comput. Sci. 12650, 448--468 (2021; Zbl 07410438) Full Text: DOI arXiv
Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio Equivalence checking for weak bi-Kleene algebra. (English) Zbl 07407791 Log. Methods Comput. Sci. 17, No. 3, Paper No. 19, 53 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{T. Kappé} et al., Log. Methods Comput. Sci. 17, No. 3, Paper No. 19, 53 p. (2021; Zbl 07407791) Full Text: arXiv Link
Santocanale, Luigi The involutive quantaloid of completely distributive lattices. (English) Zbl 07578348 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 18th international conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12062, 286-301 (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Santocanale}, Lect. Notes Comput. Sci. 12062, 286--301 (2020; Zbl 07578348) Full Text: DOI arXiv
Quintero, Santiago; Ramirez, Sergio; Rueda, Camilo; Valencia, Frank Counting and computing join-endomorphisms in lattices. (English) Zbl 07578346 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 18th international conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12062, 253-269 (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. Quintero} et al., Lect. Notes Comput. Sci. 12062, 253--269 (2020; Zbl 07578346) Full Text: DOI HAL
Maruyama, Yoshihiro Higher-order categorical substructural logic: expanding the horizon of tripos theory. (English) Zbl 07578342 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 18th international conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12062, 187-203 (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{Y. Maruyama}, Lect. Notes Comput. Sci. 12062, 187--203 (2020; Zbl 07578342) Full Text: DOI
Guttmann, Walter; Möller, Bernhard A hierarchy of algebras for Boolean subsets. (English) Zbl 07578340 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 18th international conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12062, 152-168 (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{W. Guttmann} and \textit{B. Möller}, Lect. Notes Comput. Sci. 12062, 152--168 (2020; Zbl 07578340) Full Text: DOI Link
Galatos, Nikolaos; Jipsen, Peter Weakening relation algebras and \(\mathrm{FL}^2\)-algebras. (English) Zbl 07578338 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 18th international conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12062, 117-133 (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{N. Galatos} and \textit{P. Jipsen}, Lect. Notes Comput. Sci. 12062, 117--133 (2020; Zbl 07578338) Full Text: DOI
Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Thapa, Ratan Bahadur Generating posets beyond N. (English) Zbl 07578336 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 18th international conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12062, 82-99 (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{U. Fahrenberg} et al., Lect. Notes Comput. Sci. 12062, 82--99 (2020; Zbl 07578336) Full Text: DOI arXiv
Alpay, Natanael; Jipsen, Peter Commutative doubly-idempotent semirings determined by chains and by preorder forests. (English) Zbl 07578331 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 18th international conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12062, 1-14 (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{N. Alpay} and \textit{P. Jipsen}, Lect. Notes Comput. Sci. 12062, 1--14 (2020; Zbl 07578331) Full Text: DOI Link
Frittella, Sabine; Manoorkar, Krishna; Palmigiano, Alessandra; Tzimoulis, Apostolos; Wijnberg, Nachoem Toward a Dempster-Shafer theory of concepts. (English) Zbl 1483.68394 Int. J. Approx. Reasoning 125, 14-25 (2020). MSC: 68T30 03B42 68T27 68T37 PDFBibTeX XMLCite \textit{S. Frittella} et al., Int. J. Approx. Reasoning 125, 14--25 (2020; Zbl 1483.68394) Full Text: DOI arXiv
Polzer, Miriam; Goncharov, Sergey Local local reasoning: a BI-hyperdoctrine for full ground store. (English) Zbl 07250956 Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 542-561 (2020). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{M. Polzer} and \textit{S. Goncharov}, Lect. Notes Comput. Sci. 12077, 542--561 (2020; Zbl 07250956) Full Text: DOI arXiv
Jenei, Sándor A new class of uninorm aggregation operations for fuzzy theory. (English) Zbl 07796090 Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 18th international conference, ICAISC 2019, Zakopane, Poland, June 16–20, 2019. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11508, 296-303 (2019). MSC: 68T37 03B52 03E72 PDFBibTeX XMLCite \textit{S. Jenei}, Lect. Notes Comput. Sci. 11508, 296--303 (2019; Zbl 07796090) Full Text: DOI
Kappé, Tobias; Brunet, Paul; Rot, Jurriaan; Silva, Alexandra; Wagemaker, Jana; Zanasi, Fabio Kleene algebra with observations. (English) Zbl 07649949 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 41, 16 p. (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{T. Kappé} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 41, 16 p. (2019; Zbl 07649949) Full Text: DOI arXiv
Shkatov, Dmitry; Van Alten, C. J. Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids. (English) Zbl 1523.06003 Algebra Univers. 80, No. 3, Paper No. 36, 26 p. (2019). MSC: 06F99 06D99 68Q17 PDFBibTeX XMLCite \textit{D. Shkatov} and \textit{C. J. Van Alten}, Algebra Univers. 80, No. 3, Paper No. 36, 26 p. (2019; Zbl 1523.06003) Full Text: DOI arXiv
McIver, Annabelle; Morgan, Carroll; Rabehaja, Tahiry Abstract hidden Markov models: a monadic account of quantitative information flow. (English) Zbl 1423.68107 Log. Methods Comput. Sci. 15, No. 1, Paper No. 36, 50 p. (2019). MSC: 68N30 60J20 68P30 68Q87 PDFBibTeX XMLCite \textit{A. McIver} et al., Log. Methods Comput. Sci. 15, No. 1, Paper No. 36, 50 p. (2019; Zbl 1423.68107) Full Text: DOI arXiv
Bezhanishvili, Guram; Holliday, Wesley H. A semantic hierarchy for intuitionistic logic. (English) Zbl 07049867 Indag. Math., New Ser. 30, No. 3, 403-469 (2019). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{G. Bezhanishvili} and \textit{W. H. Holliday}, Indag. Math., New Ser. 30, No. 3, 403--469 (2019; Zbl 07049867) Full Text: DOI Link Backlinks: MO
Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio On series-parallel pomset languages: rationality, context-freeness and automata. (English) Zbl 1417.68134 J. Log. Algebr. Methods Program. 103, 130-153 (2019). MSC: 68Q85 68N30 68Q42 68Q45 68Q70 PDFBibTeX XMLCite \textit{T. Kappé} et al., J. Log. Algebr. Methods Program. 103, 130--153 (2019; Zbl 1417.68134) Full Text: DOI arXiv
Jackson, Marcel; Mikulás, Szabolcs Domain and range for angelic and demonic compositions. (English) Zbl 1417.68033 J. Log. Algebr. Methods Program. 103, 62-78 (2019). MSC: 68N30 08A70 20M10 PDFBibTeX XMLCite \textit{M. Jackson} and \textit{S. Mikulás}, J. Log. Algebr. Methods Program. 103, 62--78 (2019; Zbl 1417.68033) Full Text: DOI arXiv Link
Docherty, Simon; Pym, David Stone-type dualities for separation logics. (English) Zbl 1432.03046 Log. Methods Comput. Sci. 15, No. 1, Paper No. 27, 51 p. (2019). MSC: 03B70 03B20 03G25 06D50 68Q85 PDFBibTeX XMLCite \textit{S. Docherty} and \textit{D. Pym}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 27, 51 p. (2019; Zbl 1432.03046) Full Text: arXiv
Kozen, Dexter Natural transformations as rewrite rules and monad composition. (English) Zbl 1405.68160 Log. Methods Comput. Sci. 15, No. 1, Paper No. 1, 12 p. (2019). MSC: 68Q42 18A23 18A40 18C15 PDFBibTeX XMLCite \textit{D. Kozen}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 1, 12 p. (2019; Zbl 1405.68160) Full Text: DOI arXiv
Das, Anupam; Pous, Damien Non-wellfounded proof theory for (Kleene+action)(algebras+lattices). (English) Zbl 1528.03234 Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 19, 18 p. (2018). MSC: 03F05 03G25 68Q45 PDFBibTeX XMLCite \textit{A. Das} and \textit{D. Pous}, LIPIcs -- Leibniz Int. Proc. Inform. 119, Article 19, 18 p. (2018; Zbl 1528.03234) Full Text: DOI
Ciobanu, Gabriel; Văideanu, Cristian A note on similarity relations between fuzzy attribute-oriented concept lattices. (English) Zbl 1440.68281 Inf. Sci. 460-461, 254-263 (2018). MSC: 68T30 06D72 PDFBibTeX XMLCite \textit{G. Ciobanu} and \textit{C. Văideanu}, Inf. Sci. 460--461, 254--263 (2018; Zbl 1440.68281) Full Text: DOI
Spinks, Matthew; Veroff, Robert Paraconsistent constructive logic with strong negation as a contraction-free relevant logic. (English) Zbl 1406.03045 Czelakowski, Janusz (ed.), Don Pigozzi on abstract algebraic logic, universal algebra, and computer science. Cham: Springer (ISBN 978-3-319-74771-2/hbk; 978-3-319-74772-9/ebook). Outstanding Contributions to Logic 16, 323-379 (2018). Reviewer: Thomas Ferguson (Round Rock) MSC: 03B47 03B53 03B20 68N17 PDFBibTeX XMLCite \textit{M. Spinks} and \textit{R. Veroff}, Outst. Contrib. Log. 16, 323--379 (2018; Zbl 1406.03045) Full Text: DOI
Panicker, Gayatri; Krishna, K. V.; Bhaduri, Purandar Monoids of non-halting programs with tests. (English) Zbl 1400.08003 Algebra Univers. 79, No. 1, Paper No. 8, 29 p. (2018). Reviewer: Jānis Cīrulis (Riga) MSC: 08A70 03G25 20M35 68N15 PDFBibTeX XMLCite \textit{G. Panicker} et al., Algebra Univers. 79, No. 1, Paper No. 8, 29 p. (2018; Zbl 1400.08003) Full Text: DOI
Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio Brzozowski goes concurrent – a Kleene theorem for pomset languages. (English) Zbl 1442.68145 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 25, 16 p. (2017). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{T. Kappé} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 25, 16 p. (2017; Zbl 1442.68145) Full Text: DOI arXiv
Vychodil, Vilem Invariance to ordinal transformations in rank-aware databases. (English) Zbl 1429.68056 Inf. Sci. 378, 75-98 (2017). MSC: 68P15 PDFBibTeX XMLCite \textit{V. Vychodil}, Inf. Sci. 378, 75--98 (2017; Zbl 1429.68056) Full Text: DOI arXiv
Ciabattoni, Agata; Lellmann, Björn; Olarte, Carlos; Pimentel, Elaine From cut-free calculi to automated deduction: the case of bounded contraction. (English) Zbl 1401.03034 Nigam, Vivek (ed.) et al., Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 332, 75-93 (2017). MSC: 03B35 03B47 03F20 03F52 68T15 PDFBibTeX XMLCite \textit{A. Ciabattoni} et al., Electron. Notes Theor. Comput. Sci. 332, 75--93 (2017; Zbl 1401.03034) Full Text: DOI
Buszkowski, Wojciech Involutive nonassociative Lambek calculus: sequent systems and complexity. (English) Zbl 1423.03065 Bull. Sect. Log., Univ. Łódź, Dep. Log. 46, No. 1-2, 75-91 (2017). MSC: 03B47 03F03 03F05 03F52 03F20 68Q17 PDFBibTeX XMLCite \textit{W. Buszkowski}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 46, No. 1--2, 75--91 (2017; Zbl 1423.03065) Full Text: DOI
Vychodil, Vilem Closure structures parameterized by systems of isotone Galois connections. (English) Zbl 1419.68150 Int. J. Approx. Reasoning 91, 1-21 (2017). MSC: 68T30 03B52 06A15 PDFBibTeX XMLCite \textit{V. Vychodil}, Int. J. Approx. Reasoning 91, 1--21 (2017; Zbl 1419.68150) Full Text: DOI arXiv
Gadducci, Fabio; Santini, Francesco; Pino, Luis F.; Valencia, Frank D. Observational and behavioural equivalences for soft concurrent constraint programming. (English) Zbl 1373.68176 J. Log. Algebr. Methods Program. 92, 45-63 (2017). MSC: 68N19 68Q55 68Q85 PDFBibTeX XMLCite \textit{F. Gadducci} et al., J. Log. Algebr. Methods Program. 92, 45--63 (2017; Zbl 1373.68176) Full Text: DOI
Wurm, Christian Language-theoretic and finite relation models for the (full) Lambek calculus. (English) Zbl 1420.03041 J. Logic Lang. Inf. 26, No. 2, 179-214 (2017). MSC: 03B47 06A15 68Q45 68T30 PDFBibTeX XMLCite \textit{C. Wurm}, J. Logic Lang. Inf. 26, No. 2, 179--214 (2017; Zbl 1420.03041) Full Text: DOI
Glück, Roland Algebraic investigation of connected components. (English) Zbl 1486.68100 Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10226, 109-126 (2017). MSC: 68Q55 05C40 06D30 06E05 PDFBibTeX XMLCite \textit{R. Glück}, Lect. Notes Comput. Sci. 10226, 109--126 (2017; Zbl 1486.68100) Full Text: DOI
Furusawa, Hitoshi; Kawahara, Yasuo; Struth, Georg; Tsumagari, Norihiro Kleisli, Parikh and Peleg compositions and liftings for multirelations. (English) Zbl 1371.68171 J. Log. Algebr. Methods Program. 90, 84-101 (2017). MSC: 68Q55 PDFBibTeX XMLCite \textit{H. Furusawa} et al., J. Log. Algebr. Methods Program. 90, 84--101 (2017; Zbl 1371.68171) Full Text: DOI arXiv
Vaverka, Ondrej; Vychodil, Vilem Relational division in rank-aware databases. (English) Zbl 1427.68069 Inf. Sci. 366, 48-69 (2016). MSC: 68P15 PDFBibTeX XMLCite \textit{O. Vaverka} and \textit{V. Vychodil}, Inf. Sci. 366, 48--69 (2016; Zbl 1427.68069) Full Text: DOI arXiv
Vychodil, Vilem Computing sets of graded attribute implications with witnessed non-redundancy. (English) Zbl 1398.68560 Inf. Sci. 351, 90-100 (2016). MSC: 68T37 03B52 06F05 68T30 PDFBibTeX XMLCite \textit{V. Vychodil}, Inf. Sci. 351, 90--100 (2016; Zbl 1398.68560) Full Text: DOI arXiv
Vychodil, Vilem On sets of graded attribute implications with witnessed non-redundancy. (English) Zbl 1390.68682 Inf. Sci. 329, 434-446 (2016). MSC: 68T37 03B52 68T30 PDFBibTeX XMLCite \textit{V. Vychodil}, Inf. Sci. 329, 434--446 (2016; Zbl 1390.68682) Full Text: DOI arXiv
Furusawa, Hitoshi; Struth, Georg Taming multirelations. (English) Zbl 1407.03080 ACM Trans. Comput. Log. 17, No. 4, Article No. 28, 34 p. (2016). MSC: 03G25 03E20 06F07 68Q85 PDFBibTeX XMLCite \textit{H. Furusawa} and \textit{G. Struth}, ACM Trans. Comput. Log. 17, No. 4, Article No. 28, 34 p. (2016; Zbl 1407.03080) Full Text: DOI arXiv
Belohlavek, R.; Vychodil, V. Attribute dependencies for data with grades \(I\). (English) Zbl 1404.68158 Int. J. Gen. Syst. 45, No. 7-8, 864-888 (2016). MSC: 68T37 03B52 68P15 PDFBibTeX XMLCite \textit{R. Belohlavek} and \textit{V. Vychodil}, Int. J. Gen. Syst. 45, No. 7--8, 864--888 (2016; Zbl 1404.68158) Full Text: DOI arXiv
Wurm, Christian Automatic concepts and automata-theoretic semantics for the full Lambek calculus. (English) Zbl 1485.03056 Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10054, 308-323 (2016). MSC: 03B47 68Q45 PDFBibTeX XMLCite \textit{C. Wurm}, Lect. Notes Comput. Sci. 10054, 308--323 (2016; Zbl 1485.03056) Full Text: DOI
Wurm, Christian On some extensions of syntactic concept lattices: completeness and finiteness results. (English) Zbl 1478.03047 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, 164-179 (2016). MSC: 03B47 68T30 PDFBibTeX XMLCite \textit{C. Wurm}, Lect. Notes Comput. Sci. 9804, 164--179 (2016; Zbl 1478.03047) Full Text: DOI
Brunet, Paul; Pous, Damien; Stucke, Insa Cardinalities of finite relations in Coq. (English) Zbl 1478.68436 Blanchette, Jasmin Christian (ed.) et al., Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22–25, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9807, 466-474 (2016). MSC: 68V15 03B35 03E10 03G15 PDFBibTeX XMLCite \textit{P. Brunet} et al., Lect. Notes Comput. Sci. 9807, 466--474 (2016; Zbl 1478.68436) Full Text: DOI HAL
Lin, Zhe; Ma, Minghui On the complexity of the equational theory of residuated Boolean algebras. (English) Zbl 1478.03083 Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 265-278 (2016). MSC: 03G05 68Q17 PDFBibTeX XMLCite \textit{Z. Lin} and \textit{M. Ma}, Lect. Notes Comput. Sci. 9803, 265--278 (2016; Zbl 1478.03083) Full Text: DOI
Conradie, Willem; Frittella, Sabine; Palmigiano, Alessandra; Piazzai, Michele; Tzimoulis, Apostolos; Wijnberg, Nachoem M. Categories: how I learned to stop worrying and love two sorts. (English) Zbl 1478.03042 Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 145-164 (2016). MSC: 03B47 03B45 06B23 06D50 68T30 PDFBibTeX XMLCite \textit{W. Conradie} et al., Lect. Notes Comput. Sci. 9803, 145--164 (2016; Zbl 1478.03042) Full Text: DOI arXiv
Frosoni, Giulia Conuclear images of substructural logics. (English) Zbl 1405.03055 Math. Log. Q. 62, No. 3, 204-214 (2016). Reviewer: Alex Citkin (Warren) MSC: 03B47 03G25 68Q17 PDFBibTeX XMLCite \textit{G. Frosoni}, Math. Log. Q. 62, No. 3, 204--214 (2016; Zbl 1405.03055) Full Text: DOI
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao Developments in concurrent Kleene algebra. (English) Zbl 1344.68149 J. Log. Algebr. Methods Program. 85, No. 4, 617-636 (2016). MSC: 68Q70 68N30 68Q85 PDFBibTeX XMLCite \textit{T. Hoare} et al., J. Log. Algebr. Methods Program. 85, No. 4, 617--636 (2016; Zbl 1344.68149) Full Text: DOI
Litak, Tadeusz; Mikulás, Szabolcs; Hidders, Jan Relational lattices: from databases to universal algebra. (English) Zbl 1372.68081 J. Log. Algebr. Methods Program. 85, No. 4, 540-573 (2016). MSC: 68P15 03G10 08A70 68T30 PDFBibTeX XMLCite \textit{T. Litak} et al., J. Log. Algebr. Methods Program. 85, No. 4, 540--573 (2016; Zbl 1372.68081) Full Text: DOI
Haniková, Zuzana; Savický, Petr Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras. (English) Zbl 1418.03193 Theor. Comput. Sci. 631, 1-15 (2016). MSC: 03G25 03B47 68Q25 PDFBibTeX XMLCite \textit{Z. Haniková} and \textit{P. Savický}, Theor. Comput. Sci. 631, 1--15 (2016; Zbl 1418.03193) Full Text: DOI arXiv
Belohlavek, Radim; Cordero, Pablo; Enciso, Manuel; Mora, Ángel; Vychodil, Vilem Automated prover for attribute dependencies in data with grades. (English) Zbl 1351.68088 Int. J. Approx. Reasoning 70, 51-67 (2016). MSC: 68P15 03B52 03B70 68T15 PDFBibTeX XMLCite \textit{R. Belohlavek} et al., Int. J. Approx. Reasoning 70, 51--67 (2016; Zbl 1351.68088) Full Text: DOI
Kuhr, Tomas; Vychodil, Vilem Fuzzy logic programming reduced to reasoning with attribute implications. (English) Zbl 1360.68311 Fuzzy Sets Syst. 262, 1-20 (2015). MSC: 68N17 PDFBibTeX XMLCite \textit{T. Kuhr} and \textit{V. Vychodil}, Fuzzy Sets Syst. 262, 1--20 (2015; Zbl 1360.68311) Full Text: DOI
Vychodil, Vilem On minimal sets of graded attribute implications. (English) Zbl 1360.68849 Inf. Sci. 294, 478-488 (2015). MSC: 68T37 03B52 03G25 68P15 PDFBibTeX XMLCite \textit{V. Vychodil}, Inf. Sci. 294, 478--488 (2015; Zbl 1360.68849) Full Text: DOI arXiv
Bartl, Eduard Minimal solutions of generalized fuzzy relational equations: probabilistic algorithm based on greedy approach. (English) Zbl 1335.03047 Fuzzy Sets Syst. 260, 25-42 (2015). MSC: 03E72 68T37 PDFBibTeX XMLCite \textit{E. Bartl}, Fuzzy Sets Syst. 260, 25--42 (2015; Zbl 1335.03047) Full Text: DOI
Belohlavek, Radim; Vychodil, Vilem A logic of graded attributes. (English) Zbl 1477.03079 Arch. Math. Logic 54, No. 7-8, 785-802 (2015). MSC: 03B52 03B50 68T37 PDFBibTeX XMLCite \textit{R. Belohlavek} and \textit{V. Vychodil}, Arch. Math. Logic 54, No. 7--8, 785--802 (2015; Zbl 1477.03079) Full Text: DOI
Myers, Robert S. R.; Adámek, Jiří; Milius, Stefan; Urbat, Henning Coalgebraic constructions of canonical nondeterministic automata. (English) Zbl 1380.68290 Theor. Comput. Sci. 604, 81-101 (2015). Reviewer: Nelson Martins-Ferreira (Leiria) MSC: 68Q70 PDFBibTeX XMLCite \textit{R. S. R. Myers} et al., Theor. Comput. Sci. 604, 81--101 (2015; Zbl 1380.68290) Full Text: DOI
Möller, Bernhard; Hoare, Tony Exploring an interface model for CKA. (English) Zbl 1432.68314 Hinze, Ralf (ed.) et al., Mathematics of program construction. 12th international conference, MPC 2015, Königswinter, Germany, June 29 – July 1, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9129, 1-29 (2015). MSC: 68Q85 03B44 PDFBibTeX XMLCite \textit{B. Möller} and \textit{T. Hoare}, Lect. Notes Comput. Sci. 9129, 1--29 (2015; Zbl 1432.68314) Full Text: DOI Link
Vychodil, Vilem Monoidal functional dependencies. (English) Zbl 1339.68070 J. Comput. Syst. Sci. 81, No. 7, 1357-1372 (2015). MSC: 68P15 03B70 06F05 PDFBibTeX XMLCite \textit{V. Vychodil}, J. Comput. Syst. Sci. 81, No. 7, 1357--1372 (2015; Zbl 1339.68070) Full Text: DOI arXiv
Stell, John G. Symmetric Heyting relation algebras with applications to hypergraphs. (English) Zbl 1330.03094 J. Log. Algebr. Methods Program. 84, No. 3, 440-455 (2015). MSC: 03G15 05C65 06D20 68U10 PDFBibTeX XMLCite \textit{J. G. Stell}, J. Log. Algebr. Methods Program. 84, No. 3, 440--455 (2015; Zbl 1330.03094) Full Text: DOI
Jeřábek, Emil Rules with parameters in modal logic. I. (English) Zbl 1408.03015 Ann. Pure Appl. Logic 166, No. 9, 881-933 (2015). MSC: 03B45 03B55 08B20 68T15 PDFBibTeX XMLCite \textit{E. Jeřábek}, Ann. Pure Appl. Logic 166, No. 9, 881--933 (2015; Zbl 1408.03015) Full Text: DOI arXiv
Jackson, Marcel; Stokes, Tim Monoids with tests and the algebra of possibly non-halting programs. (English) Zbl 1319.68085 J. Log. Algebr. Methods Program. 84, No. 2, 259-275 (2015). MSC: 68Q05 03B70 PDFBibTeX XMLCite \textit{M. Jackson} and \textit{T. Stokes}, J. Log. Algebr. Methods Program. 84, No. 2, 259--275 (2015; Zbl 1319.68085) Full Text: DOI arXiv
Urbanova, Lucie; Vychodil, Vilem Derivation digraphs for dependencies in ordinal and similarity-based data. (English) Zbl 1341.68032 Inf. Sci. 268, 381-396 (2014). MSC: 68P01 05C90 68P15 PDFBibTeX XMLCite \textit{L. Urbanova} and \textit{V. Vychodil}, Inf. Sci. 268, 381--396 (2014; Zbl 1341.68032) Full Text: DOI
Denniston, Jeffrey T.; Melton, Austin; Rodabaugh, Stephen E. Enriched categories and many-valued preorders: categorical, semantical, and topological perspectives. (English) Zbl 1335.68305 Fuzzy Sets Syst. 256, 4-56 (2014). MSC: 68W32 18D20 54B30 PDFBibTeX XMLCite \textit{J. T. Denniston} et al., Fuzzy Sets Syst. 256, 4--56 (2014; Zbl 1335.68305) Full Text: DOI
Xue, Jie; Liu, Xiyu Lattice based communication P systems with applications in cluster analysis. (English) Zbl 1326.68135 Soft Comput. 18, No. 7, 1425-1440 (2014). MSC: 68Q05 68Q10 68T05 PDFBibTeX XMLCite \textit{J. Xue} and \textit{X. Liu}, Soft Comput. 18, No. 7, 1425--1440 (2014; Zbl 1326.68135) Full Text: DOI
Krídlo, Ondrej; Ojeda-Aciego, Manuel Revising the link between \(L\)-Chu correspondences and completely lattice \(L\)-ordered sets. (English) Zbl 1322.06003 Ann. Math. Artif. Intell. 72, No. 1-2, 91-113 (2014). MSC: 06A15 06B75 68T30 18B35 PDFBibTeX XMLCite \textit{O. Krídlo} and \textit{M. Ojeda-Aciego}, Ann. Math. Artif. Intell. 72, No. 1--2, 91--113 (2014; Zbl 1322.06003) Full Text: DOI
Ciabattoni, Agata; Spendier, Lara Tools for the investigation of substructural and paraconsistent logics. (English) Zbl 1432.68547 Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 18-32 (2014). MSC: 68V99 03B47 03B53 PDFBibTeX XMLCite \textit{A. Ciabattoni} and \textit{L. Spendier}, Lect. Notes Comput. Sci. 8761, 18--32 (2014; Zbl 1432.68547) Full Text: DOI
Borgwardt, Stefan; Peñaloza, Rafael Consistency reasoning in lattice-based fuzzy description logics. (English) Zbl 1433.03064 Int. J. Approx. Reasoning 55, No. 9, 1917-1938 (2014). MSC: 03B52 68T27 68T37 PDFBibTeX XMLCite \textit{S. Borgwardt} and \textit{R. Peñaloza}, Int. J. Approx. Reasoning 55, No. 9, 1917--1938 (2014; Zbl 1433.03064) Full Text: DOI
Jipsen, Peter Categories of algebraic contexts equivalent to idempotent semirings and domain semirings. (English) Zbl 1364.68337 Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 195-206 (2012). MSC: 68T30 06A12 16Y60 18A23 18B99 PDFBibTeX XMLCite \textit{P. Jipsen}, Lect. Notes Comput. Sci. 7560, 195--206 (2012; Zbl 1364.68337) Full Text: DOI