×

Found 115 Documents (Results 1–100)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field