Yamamoto, Kentarô The automorphism group of the Fraïssé limit of finite Heyting algebras. (English) Zbl 07735954 J. Symb. Log. 88, No. 3, 1310-1320 (2023); addendum ibid. 88, No. 3, 1321-1322 (2023). MSC: 03C15 06D20 20B27 43A07 PDFBibTeX XMLCite \textit{K. Yamamoto}, J. Symb. Log. 88, No. 3, 1310--1320 (2023; Zbl 07735954) Full Text: DOI arXiv
Metcalfe, George; Reggio, Luca Model completions for universal classes of algebras: necessary and sufficient conditions. (English) Zbl 1516.03011 J. Symb. Log. 88, No. 1, 381-417 (2023). Reviewer: Rosario Mennuni (Pisa) MSC: 03C10 03C05 03C40 03C64 03B47 06D35 06F20 PDFBibTeX XMLCite \textit{G. Metcalfe} and \textit{L. Reggio}, J. Symb. Log. 88, No. 1, 381--417 (2023; Zbl 1516.03011) Full Text: DOI arXiv
Bezhanishvili, Nick; Carai, Luca; Ghilardi, Silvio; Landi, Lucia Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras. (English) Zbl 07601551 Ann. Pure Appl. Logic 174, No. 1, Article ID 103169, 31 p. (2023). MSC: 03B45 03C10 06E25 54E05 PDFBibTeX XMLCite \textit{N. Bezhanishvili} et al., Ann. Pure Appl. Logic 174, No. 1, Article ID 103169, 31 p. (2023; Zbl 07601551) Full Text: DOI arXiv
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey Combination of uniform interpolants via Beth definability. (English) Zbl 07606344 J. Autom. Reasoning 66, No. 3, 409-435 (2022). MSC: 68V15 PDFBibTeX XMLCite \textit{D. Calvanese} et al., J. Autom. Reasoning 66, No. 3, 409--435 (2022; Zbl 07606344) Full Text: DOI
Wang, Wei; Zhao, Bin Characterization of residuated lattices via multipliers. (English) Zbl 1513.06014 Acta Math. Sci., Ser. B, Engl. Ed. 42, No. 5, 1902-1920 (2022). MSC: 06B15 06B05 PDFBibTeX XMLCite \textit{W. Wang} and \textit{B. Zhao}, Acta Math. Sci., Ser. B, Engl. Ed. 42, No. 5, 1902--1920 (2022; Zbl 1513.06014) Full Text: DOI
Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak Uniform interpolants in \(\mathcal{EUF}\): Algorithms using DAG-representations. (English) Zbl 07566058 Log. Methods Comput. Sci. 18, No. 2, Paper No. 2, 24 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{S. Ghilardi} et al., Log. Methods Comput. Sci. 18, No. 2, Paper No. 2, 24 p. (2022; Zbl 07566058) Full Text: arXiv Link
Kubiś, Wiesław Weak Fraïssé categories. (English) Zbl 1502.18004 Theory Appl. Categ. 38, 27-63 (2022). Reviewer: Paul Bankston (Milwaukee) MSC: 18A30 03C95 PDFBibTeX XMLCite \textit{W. Kubiś}, Theory Appl. Categ. 38, 27--63 (2022; Zbl 1502.18004) Full Text: arXiv Link
Akbar Tabatabai, Amirhossein; Iemhoff, Rosalie; Jalali, Raheleh Uniform Lyndon interpolation for basic non-normal modal logics. (English) Zbl 07547747 Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 287-301 (2021). MSC: 03B70 PDFBibTeX XMLCite \textit{A. Akbar Tabatabai} et al., Lect. Notes Comput. Sci. 13038, 287--301 (2021; Zbl 07547747) Full Text: DOI arXiv
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes). (English) Zbl 07433024 J. Autom. Reasoning 65, No. 7, 941-969 (2021). MSC: 68V15 PDFBibTeX XMLCite \textit{D. Calvanese} et al., J. Autom. Reasoning 65, No. 7, 941--969 (2021; Zbl 07433024) Full Text: DOI
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey Combined covers and Beth definability. (English) Zbl 07614513 Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12166, 181-200 (2020). MSC: 68V15 PDFBibTeX XMLCite \textit{D. Calvanese} et al., Lect. Notes Comput. Sci. 12166, 181--200 (2020; Zbl 07614513) Full Text: DOI
Ghilardi, Silvio; Santocanale, Luigi Free Heyting algebra endomorphisms: Ruitenburg’s theorem and beyond. (English) Zbl 07283030 Math. Struct. Comput. Sci. 30, No. 6, 572-596 (2020). MSC: 06D20 PDFBibTeX XMLCite \textit{S. Ghilardi} and \textit{L. Santocanale}, Math. Struct. Comput. Sci. 30, No. 6, 572--596 (2020; Zbl 07283030) Full Text: DOI arXiv
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey Model completeness, covers and superposition. (English) Zbl 07178974 Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 142-160 (2019). MSC: 03B35 68V15 PDFBibTeX XMLCite \textit{D. Calvanese} et al., Lect. Notes Comput. Sci. 11716, 142--160 (2019; Zbl 07178974) Full Text: DOI
Carai, Luca; Ghiraldi, Silvio Existentially closed Brouwerian semilattices. (English) Zbl 1453.06008 J. Symb. Log. 84, No. 4, 1544-1575 (2019). Reviewer: Jānis Cīrulis (Riga) MSC: 06D20 03G25 03C10 06A12 PDFBibTeX XMLCite \textit{L. Carai} and \textit{S. Ghiraldi}, J. Symb. Log. 84, No. 4, 1544--1575 (2019; Zbl 1453.06008) Full Text: DOI arXiv
Iemhoff, Rosalie Uniform interpolation and the existence of sequent calculi. (English) Zbl 1475.03078 Ann. Pure Appl. Logic 170, No. 11, Article ID 102711, 33 p. (2019). Reviewer: Emil Jeřábek (Praha) MSC: 03B45 03B55 03B20 03F05 03F07 PDFBibTeX XMLCite \textit{R. Iemhoff}, Ann. Pure Appl. Logic 170, No. 11, Article ID 102711, 33 p. (2019; Zbl 1475.03078) Full Text: DOI Link
Kowalski, Tomasz; Metcalfe, George Uniform interpolation and coherence. (English) Zbl 07049926 Ann. Pure Appl. Logic 170, No. 7, 825-841 (2019). MSC: 03B45 03G10 03G25 03F52 08B20 PDFBibTeX XMLCite \textit{T. Kowalski} and \textit{G. Metcalfe}, Ann. Pure Appl. Logic 170, No. 7, 825--841 (2019; Zbl 07049926) Full Text: DOI arXiv Link
Iemhoff, Rosalie Uniform interpolation and sequent calculi in modal logic. (English) Zbl 07006132 Arch. Math. Logic 58, No. 1-2, 155-181 (2019). MSC: 03B05 03B45 03F03 PDFBibTeX XMLCite \textit{R. Iemhoff}, Arch. Math. Logic 58, No. 1--2, 155--181 (2019; Zbl 07006132) Full Text: DOI
Citkin, Alex Projective algebras and primitive subquasivarieties in varieties with factor congruences. (English) Zbl 1425.08004 Algebra Univers. 79, No. 3, Paper No. 66, 21 p. (2018). Reviewer: Alexander Ivanovich Budkin (Barnaul) MSC: 08C15 08B30 03G27 03C80 03B45 08A30 PDFBibTeX XMLCite \textit{A. Citkin}, Algebra Univers. 79, No. 3, Paper No. 66, 21 p. (2018; Zbl 1425.08004) Full Text: DOI arXiv
v. Gool, Samuel J.; Reggio, Luca An open mapping theorem for finitely copresented Esakia spaces. (English) Zbl 1423.06032 Topology Appl. 240, 69-77 (2018). MSC: 06D20 03B20 54H05 PDFBibTeX XMLCite \textit{S. J. v. Gool} and \textit{L. Reggio}, Topology Appl. 240, 69--77 (2018; Zbl 1423.06032) Full Text: DOI arXiv
Bezhanishvili, Nick; Marra, Vincenzo; McNeill, Daniel; Pedrini, Andrea Tarski’s theorem on intuitionistic logic, for polyhedra. (English) Zbl 1390.03015 Ann. Pure Appl. Logic 169, No. 5, 373-391 (2018). Reviewer: Jānis Cīrulis (Riga) MSC: 03B20 06D20 06D22 55U10 52B11 PDFBibTeX XMLCite \textit{N. Bezhanishvili} et al., Ann. Pure Appl. Logic 169, No. 5, 373--391 (2018; Zbl 1390.03015) Full Text: DOI arXiv
van Gool, Samuel J.; Metcalfe, George; Tsinakis, Constantine Uniform interpolation and compact congruences. (English) Zbl 1422.03061 Ann. Pure Appl. Logic 168, No. 10, 1927-1948 (2017). MSC: 03C05 03C10 03C40 08B20 PDFBibTeX XMLCite \textit{S. J. van Gool} et al., Ann. Pure Appl. Logic 168, No. 10, 1927--1948 (2017; Zbl 1422.03061) Full Text: DOI arXiv Link
Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi Fixed-point elimination in the intuitionistic propositional calculus. (English) Zbl 1475.03069 Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9634, 126-141 (2016). MSC: 03B20 06D20 PDFBibTeX XMLCite \textit{S. Ghilardi} et al., Lect. Notes Comput. Sci. 9634, 126--141 (2016; Zbl 1475.03069) Full Text: DOI arXiv Link
D’Agostino, Giovanna; Lenzi, Giacomo Deciding the existence of uniform interpolants over transitive models. (English) Zbl 1209.03012 Arch. Math. Logic 50, No. 1-2, 185-196 (2011). MSC: 03B45 03B44 03C40 PDFBibTeX XMLCite \textit{G. D'Agostino} and \textit{G. Lenzi}, Arch. Math. Logic 50, No. 1--2, 185--196 (2011; Zbl 1209.03012) Full Text: DOI
Bezhanishvili, Nick; Gehrke, Mai Free Heyting algebras: revisited. (English) Zbl 1238.06007 Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 251-266 (2009). MSC: 06D20 03G25 06D50 PDFBibTeX XMLCite \textit{N. Bezhanishvili} and \textit{M. Gehrke}, Lect. Notes Comput. Sci. 5728, 251--266 (2009; Zbl 1238.06007) Full Text: DOI
Lang, Jérôme; Marquis, Pierre On propositional definability. (English) Zbl 1183.68607 Artif. Intell. 172, No. 8-9, 991-1017 (2008). MSC: 68T30 03B05 68T27 PDFBibTeX XMLCite \textit{J. Lang} and \textit{P. Marquis}, Artif. Intell. 172, No. 8--9, 991--1017 (2008; Zbl 1183.68607) Full Text: DOI Link
D’Agostino, Giovanna Interpolation in non-classical logics. (English) Zbl 1171.03018 Synthese 164, No. 3, 421-435 (2008). MSC: 03C40 PDFBibTeX XMLCite \textit{G. D'Agostino}, Synthese 164, No. 3, 421--435 (2008; Zbl 1171.03018) Full Text: DOI
Aguzzoli, Stefano; Gerla, Brunella; Marra, Vincenzo Gödel algebras free over finite distributive lattices. (English) Zbl 1153.06004 Ann. Pure Appl. Logic 155, No. 3, 183-193 (2008). MSC: 06D20 06D50 03G25 PDFBibTeX XMLCite \textit{S. Aguzzoli} et al., Ann. Pure Appl. Logic 155, No. 3, 183--193 (2008; Zbl 1153.06004) Full Text: DOI
Ghilardi, Silvio Model-theoretic methods in combined constraint satisfiability. (English) Zbl 1069.03008 J. Autom. Reasoning 33, No. 3-4, 221-249 (2004). Reviewer: Nicolae Ţăndăreanu (Craiova) MSC: 03B35 03B25 03C10 68T15 PDFBibTeX XMLCite \textit{S. Ghilardi}, J. Autom. Reasoning 33, No. 3--4, 221--249 (2004; Zbl 1069.03008) Full Text: DOI
Ghilardi, Silvio Unification, finite duality and projectivity in varieties of Heyting algebras. (English) Zbl 1058.03020 Ann. Pure Appl. Logic 127, No. 1-3, 99-115 (2004). Reviewer: Manfred Armbrust (Köln) MSC: 03B35 06D20 08B30 68T15 PDFBibTeX XMLCite \textit{S. Ghilardi}, Ann. Pure Appl. Logic 127, No. 1--3, 99--115 (2004; Zbl 1058.03020) Full Text: DOI
Ghilardi, Silvio Quantifier elimination and provers integration. (English) Zbl 1261.68100 Dahn, Ingo (ed.) et al., FTP’2003: 4th international workshop on first-order theorem proving. Proceedings of the workshop (in connection with RDP’03, federated conference on rewriting, deduction and programming), Valencia, Spain, June 12–14, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 86, No. 1, 22-34 (2003). MSC: 68T15 03C10 PDFBibTeX XMLCite \textit{S. Ghilardi}, Electron. Notes Theor. Comput. Sci. 86, No. 1, 22--34 (2003; Zbl 1261.68100) Full Text: DOI