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
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
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
Acclavio, Matteo; Horne, Ross; Straßburger, Lutz An analytic propositional proof system on graphs. (English) Zbl 07639905 Log. Methods Comput. Sci. 18, No. 4, Paper No. 1, 80 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{M. Acclavio} et al., Log. Methods Comput. Sci. 18, No. 4, Paper No. 1, 80 p. (2022; Zbl 07639905) Full Text: DOI arXiv
Bezhanishvili, Guram; Bezhanishvili, Nick; de Groot, Jim A coalgebraic approach to dualities for neighborhood frames. (English) Zbl 07577568 Log. Methods Comput. Sci. 18, No. 3, Paper No. 4, 39 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{G. Bezhanishvili} et al., Log. Methods Comput. Sci. 18, No. 3, Paper No. 4, 39 p. (2022; Zbl 07577568) Full Text: arXiv Link
de Groot, Jim; Pattinson, Dirk Modal meet-implication logic. (English) Zbl 07577565 Log. Methods Comput. Sci. 18, No. 3, Paper No. 1, 35 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{J. de Groot} and \textit{D. Pattinson}, Log. Methods Comput. Sci. 18, No. 3, Paper No. 1, 35 p. (2022; Zbl 07577565) Full Text: arXiv Link
Garrett, James; Jonoska, Nataša; Kim, Hwee; Saito, Masahico DNA origami words, graphical structures and their rewriting systems. (English) Zbl 07735484 Nat. Comput. 20, No. 2, 217-231 (2021). MSC: 68Q07 68Q42 92D20 PDFBibTeX XMLCite \textit{J. Garrett} et al., Nat. Comput. 20, No. 2, 217--231 (2021; Zbl 07735484) Full Text: DOI
Lyon, Tim S. A framework for intuitionistic grammar logics. (English) Zbl 07671038 Baroni, Pietro (ed.) et al., Logic and argumentation. 4th international conference, CLAR 2021, Hangzhou, China, October 20–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13040, 495-503 (2021). MSC: 03B70 68T27 PDFBibTeX XMLCite \textit{T. S. Lyon}, Lect. Notes Comput. Sci. 13040, 495--503 (2021; Zbl 07671038) Full Text: DOI arXiv
Mendler, Michael; Scheele, Stephan; Burke, Luke The Došen square under construction: a tale of four modalities. (English) Zbl 07532531 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, 446-465 (2021). MSC: 68V15 PDFBibTeX XMLCite \textit{M. Mendler} et al., Lect. Notes Comput. Sci. 12842, 446--465 (2021; Zbl 07532531) Full Text: DOI
Tarau, Paul Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic. (English) Zbl 07496655 Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 329-344 (2021). MSC: 68N30 PDFBibTeX XMLCite \textit{P. Tarau}, Lect. Notes Comput. Sci. 12561, 329--344 (2021; Zbl 07496655) Full Text: DOI
Hofstra, Pieter; Scott, Philip Aspects of categorical recursion theory. (English) Zbl 1486.81060 Casadio, Claudia (ed.) et al., Joachim Lambek: the interplay of mathematics, logic, and linguistics. Cham: Springer. Outst. Contrib. Log. 20, 219-269 (2021). Reviewer: Carlos Pedro Gonçalves (Lisboa) MSC: 81P68 68Q04 18-08 03D60 01A05 01-01 81-01 94-01 PDFBibTeX XMLCite \textit{P. Hofstra} and \textit{P. Scott}, Outst. Contrib. Log. 20, 219--269 (2021; Zbl 1486.81060) Full Text: DOI arXiv
Shkatov, Dmitry; Van Alten, C. J. Computational complexity for bounded distributive lattices with negation. (English) Zbl 07358535 Ann. Pure Appl. Logic 172, No. 7, Article ID 102962, 29 p. (2021). MSC: 06E75 06D15 06D30 03D15 68Q17 PDFBibTeX XMLCite \textit{D. Shkatov} and \textit{C. J. Van Alten}, Ann. Pure Appl. Logic 172, No. 7, Article ID 102962, 29 p. (2021; Zbl 07358535) Full Text: DOI
Kitov, Nikita V.; Volkov, Mikhail V. Identities of the Kauffman monoid \(\mathcal{K}_4\) and of the Jones monoid \(\mathcal{J}_4\). (English) Zbl 07614725 Blass, Andreas (ed.) et al., Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12180, 156-178 (2020). MSC: 03B70 68Qxx PDFBibTeX XMLCite \textit{N. V. Kitov} and \textit{M. V. Volkov}, Lect. Notes Comput. Sci. 12180, 156--178 (2020; Zbl 07614725) Full Text: DOI arXiv
Straßburger, Lutz The problem of proof identity, and why computer scientists should care about Hilbert’s 24th problem. (English) Zbl 1436.03293 Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377, No. 2140, Article ID 20180038, 14 p. (2019). MSC: 03F03 68Q60 PDFBibTeX XMLCite \textit{L. Straßburger}, Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377, No. 2140, Article ID 20180038, 14 p. (2019; Zbl 1436.03293) Full Text: DOI
Soloviev, Sergei Automorphisms of types in certain type theories and representation of finite groups. (English) Zbl 1456.03028 Math. Struct. Comput. Sci. 29, No. 4, 511-551 (2019). MSC: 03B40 20C15 68N18 PDFBibTeX XMLCite \textit{S. Soloviev}, Math. Struct. Comput. Sci. 29, No. 4, 511--551 (2019; Zbl 1456.03028) Full Text: DOI
Zanasi, Fabio The algebra of partial equivalence relations. (English) Zbl 1395.68190 Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 313-333 (2016). MSC: 68Q65 18D10 PDFBibTeX XMLCite \textit{F. Zanasi}, Electron. Notes Theor. Comput. Sci. 325, 313--333 (2016; Zbl 1395.68190) 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
Kramer, Simon Logic of intuitionistic interactive proofs (formal theory of perfect knowledge transfer). (English) Zbl 1367.68282 ACM Trans. Comput. Log. 16, No. 4, Article No. 35, 32 p. (2015). MSC: 68T27 03B20 03B42 03B45 PDFBibTeX XMLCite \textit{S. Kramer}, ACM Trans. Comput. Log. 16, No. 4, Article No. 35, 32 p. (2015; Zbl 1367.68282) Full Text: DOI arXiv
Askounis, Dimitris; Koutras, Costas D.; Zikos, Yorgos Knowledge means ‘all’, belief means ‘most’. (English) Zbl 1361.68216 Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26–28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 41-53 (2012). MSC: 68T27 03B42 PDFBibTeX XMLCite \textit{D. Askounis} et al., Lect. Notes Comput. Sci. 7519, 41--53 (2012; Zbl 1361.68216) Full Text: DOI
de Carvalho, Daniel; Tortora de Falco, Lorenzo The relational model is injective for multiplicative exponential linear logic (without weakenings). (English) Zbl 1251.03080 Ann. Pure Appl. Logic 163, No. 9, 1210-1236 (2012). Reviewer: Alberto Carraro (Mestre) MSC: 03F52 03B40 03B47 03B70 03F03 03F05 03F07 68Q55 PDFBibTeX XMLCite \textit{D. de Carvalho} and \textit{L. Tortora de Falco}, Ann. Pure Appl. Logic 163, No. 9, 1210--1236 (2012; Zbl 1251.03080) Full Text: DOI
Saurin, Alexis Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus. (English) Zbl 1244.68027 Theor. Comput. Sci. 435, 106-138 (2012). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{A. Saurin}, Theor. Comput. Sci. 435, 106--138 (2012; Zbl 1244.68027) Full Text: DOI
Cockett, Robin; Santocanale, Luigi On the word problem for \({\Sigma\Pi}\)-categories, and the properties of two-way communication (extended abstract). (English) Zbl 1257.03070 Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 194-208 (2009). MSC: 03D40 18C50 18D15 68Q85 PDFBibTeX XMLCite \textit{R. Cockett} and \textit{L. Santocanale}, Lect. Notes Comput. Sci. 5771, 194--208 (2009; Zbl 1257.03070) Full Text: DOI
Cabalar, Pedro; Odintsov, Sergei; Pearce, David Well-founded and partial stable semantics logical aspects. (English) Zbl 1248.68128 Frid, Anna (ed.) et al., Computer science – theory and applications. Fourth international computer science symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18–23, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03350-6/pbk). Lecture Notes in Computer Science 5675, 1-11 (2009). MSC: 68N17 03B70 68Q55 PDFBibTeX XMLCite \textit{P. Cabalar} et al., Lect. Notes Comput. Sci. 5675, 1--11 (2009; Zbl 1248.68128) Full Text: DOI
Béchet, Denis; Dikovsky, Alexander; Foret, Annie; Garel, Emmanuelle Optional and iterated types for pregroup grammars. (English) Zbl 1156.03323 Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. Second international conference, LATA 2008, Tarragona, Spain, March 13–19, 2008. Revised papers. Berlin: Springer (ISBN 978-3-540-88281-7/pbk). Lecture Notes in Computer Science 5196, 88-100 (2008). MSC: 03B65 68Q42 PDFBibTeX XMLCite \textit{D. Béchet} et al., Lect. Notes Comput. Sci. 5196, 88--100 (2008; Zbl 1156.03323) Full Text: DOI
Pearce, David Equilibrium logic. (English) Zbl 1117.03039 Ann. Math. Artif. Intell. 47, No. 1-2, 3-41 (2006). Reviewer: Nail Zamov (Kazan) MSC: 03B70 03B55 68N17 68T27 PDFBibTeX XMLCite \textit{D. Pearce}, Ann. Math. Artif. Intell. 47, No. 1--2, 3--41 (2006; Zbl 1117.03039) Full Text: DOI
Wijesekera, Duminda; Nerode, Anil Tableaux for constructive concurrent dynamic logic. (English) Zbl 1094.03021 Ann. Pure Appl. Logic 135, No. 1-3, 1-72 (2005). Reviewer: Manuel Ojeda Aciego (Málaga) MSC: 03B70 68Q60 68Q85 PDFBibTeX XMLCite \textit{D. Wijesekera} and \textit{A. Nerode}, Ann. Pure Appl. Logic 135, No. 1--3, 1--72 (2005; Zbl 1094.03021) Full Text: DOI
Pym, David J.; O’Hearn, Peter W.; Yang, Hongseok Possible worlds and resources: The semantics of \(\mathbf{BI}\). (English) Zbl 1055.03021 Theor. Comput. Sci. 315, No. 1, 257-305 (2004). MSC: 03B70 03F52 03G30 03B47 68Q85 PDFBibTeX XMLCite \textit{D. J. Pym} et al., Theor. Comput. Sci. 315, No. 1, 257--305 (2004; Zbl 1055.03021) Full Text: DOI
Charatonik, Witold; Dal Zilio, Silvano; Gordon, Andrew D.; Mukhopadhyay, Supratik; Talbot, Jean-Marc Model checking mobile ambients. (English) Zbl 1068.68081 Theor. Comput. Sci. 308, No. 1-3, 277-331 (2003). MSC: 68Q60 68Q10 68Q25 PDFBibTeX XMLCite \textit{W. Charatonik} et al., Theor. Comput. Sci. 308, No. 1--3, 277--331 (2003; Zbl 1068.68081) Full Text: DOI
Kahle, Reinhard Proof-theoretic notions for software maintenance. (English) Zbl 1264.68059 Seda, Anthony (ed.) et al., MFCSIT2000. Proceedings of the first Irish conference on the mathematical foundations of computer science and information technology, National University of Ireland, Cork, Ireland, July 20–21, 2000. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 40, 206-219 (2001). MSC: 68N30 PDFBibTeX XMLCite \textit{R. Kahle}, Electron. Notes Theor. Comput. Sci. 40, 206--219 (2001; Zbl 1264.68059) Full Text: DOI
Dörre, Jochen; König, Esther; Gabbay, Dov Fibred semantics for feature-based grammar logic. (English) Zbl 0858.03034 J. Logic Lang. Inf. 5, No. 3-4, 387-422 (1996). Reviewer: J.Dörre (Stuttgart) MSC: 03B65 68T50 PDFBibTeX XMLCite \textit{J. Dörre} et al., J. Logic Lang. Inf. 5, No. 3--4, 387--422 (1996; Zbl 0858.03034) Full Text: DOI
Humberstone, Lloyd Classes of valuations closed under operations Galois-dual to Boolean sentence connectives. (English) Zbl 0873.03004 Publ. Res. Inst. Math. Sci. 32, No. 1, 9-84 (1996). Reviewer: Outline MSC: 03B05 06A15 03A05 68P15 PDFBibTeX XMLCite \textit{L. Humberstone}, Publ. Res. Inst. Math. Sci. 32, No. 1, 9--84 (1996; Zbl 0873.03004) Full Text: DOI
Basin, David; Matthews, Seán Structuring metatheory on inductive definitions. (English) Zbl 1412.68205 McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 171-185 (1996). MSC: 68T15 03B35 03B45 PDFBibTeX XMLCite \textit{D. Basin} and \textit{S. Matthews}, Lect. Notes Comput. Sci. 1104, 171--185 (1996; Zbl 1412.68205) Full Text: DOI
MacCaull, Wendy Tableau method for residuated logic. (English) Zbl 0871.03013 Fuzzy Sets Syst. 80, No. 3, 327-337 (1996). MSC: 03B52 68T27 03B35 PDFBibTeX XMLCite \textit{W. MacCaull}, Fuzzy Sets Syst. 80, No. 3, 327--337 (1996; Zbl 0871.03013) Full Text: DOI
MacCaull, Wendy A note on Kripke semantics for residuated logic. (English) Zbl 0868.03004 Fuzzy Sets Syst. 77, No. 2, 229-234 (1996). MSC: 03B20 68T27 PDFBibTeX XMLCite \textit{W. MacCaull}, Fuzzy Sets Syst. 77, No. 2, 229--234 (1996; Zbl 0868.03004) Full Text: DOI
Gabbay, D. M. Fibred semantics and the weaving of logics. I: Modal and intuitionistic logics. (English) Zbl 0872.03007 J. Symb. Log. 61, No. 4, 1057-1120 (1996). Reviewer: B.Boričić (Beograd) MSC: 03B22 03B45 03G99 03B20 03B55 68T27 PDFBibTeX XMLCite \textit{D. M. Gabbay}, J. Symb. Log. 61, No. 4, 1057--1120 (1996; Zbl 0872.03007) Full Text: DOI
van Benthem, Johan Language in action. (English) Zbl 0743.03018 J. Philos. Log. 20, No. 3, 225-263 (1991). Reviewer: N.Curteanu (Iaşi) MSC: 03B65 03B70 68T50 PDFBibTeX XMLCite \textit{J. van Benthem}, J. Philos. Log. 20, No. 3, 225--263 (1991; Zbl 0743.03018) Full Text: DOI