Bodirsky, Manuel; Mottet, Antoine; Olšák, Miroslav; Opršal, Jakub; Pinsker, Michael; Willard, Ross \( \omega \)-categorical structures avoiding height 1 identities. (English) Zbl 07288857 Trans. Am. Math. Soc. 374, No. 1, 327-350 (2021). MSC: 08B05 03C05 08A70 03C10 03D15 PDF BibTeX XML Cite \textit{M. Bodirsky} et al., Trans. Am. Math. Soc. 374, No. 1, 327--350 (2021; Zbl 07288857) Full Text: DOI
Takeuchi, Kota; Tsuboi, Akito On the number of independent orders. (English) Zbl 07285673 Ann. Pure Appl. Logic 172, No. 2, Article ID 102886, 9 p. (2021). MSC: 03C07 03C10 03C45 03C68 PDF BibTeX XML Cite \textit{K. Takeuchi} and \textit{A. Tsuboi}, Ann. Pure Appl. Logic 172, No. 2, Article ID 102886, 9 p. (2021; Zbl 07285673) Full Text: DOI
Zhang, Jun Dynamics of an oncolytic virus model. (English) Zbl 07284900 Nonlinear Anal., Real World Appl. 57, Article ID 103203, 20 p. (2021). MSC: 92C50 34C23 PDF BibTeX XML Cite \textit{J. Zhang}, Nonlinear Anal., Real World Appl. 57, Article ID 103203, 20 p. (2021; Zbl 07284900) Full Text: DOI
Olarte, Carlos; Pimentel, Elaine; Xavier, Bruno A fresh view of linear logic as a logical framework. (English) Zbl 07313969 Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 351, 143-165 (2020). MSC: 03B70 68Q55 68T27 PDF BibTeX XML Cite \textit{C. Olarte} et al., Electron. Notes Theor. Comput. Sci. 351, 143--165 (2020; Zbl 07313969) Full Text: DOI
Gorman, Alexi Block; Hieronymi, Philipp; Kaplan, Elliot Pairs of theories satisfying a Mordell-Lang condition. (English) Zbl 07301037 Fundam. Math. 251, No. 2, 131-160 (2020). MSC: 03C10 03C64 PDF BibTeX XML Cite \textit{A. B. Gorman} et al., Fundam. Math. 251, No. 2, 131--160 (2020; Zbl 07301037) Full Text: DOI
Cox, David A. Reflections on elimination theory. (English) Zbl 07300043 Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7100-1). 1-4 (2020). MSC: 68W30 PDF BibTeX XML Cite \textit{D. A. Cox}, in: Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC '20, Kalamata, Greece, July 20--23, 2020. New York, NY: Association for Computing Machinery (ACM). 1--4 (2020; Zbl 07300043) Full Text: DOI
Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe Elementary doctrines as coalgebras. (English) Zbl 07299914 J. Pure Appl. Algebra 224, No. 12, Article ID 106445, 15 p. (2020). MSC: 18C50 03G30 18C20 03B10 03B20 03C45 PDF BibTeX XML Cite \textit{J. Emmenegger} et al., J. Pure Appl. Algebra 224, No. 12, Article ID 106445, 15 p. (2020; Zbl 07299914) Full Text: DOI
Acclavio, Matteo; Horne, Ross; Straßburger, Lutz Logic beyond formulas: a proof system on graphs. (English) Zbl 07299457 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) (ISBN 978-1-4503-7104-9). 38-52 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{M. Acclavio} et al., in: 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). 38--52 (2020; Zbl 07299457) Full Text: DOI
Schmitz, Leonard; Levandovskyy, Viktor Formally verifying proofs for algebraic identities of matrices. (English) Zbl 07298566 Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-53517-9/pbk; 978-3-030-53518-6/ebook). Lecture Notes in Computer Science 12236. Lecture Notes in Artificial Intelligence, 222-236 (2020). MSC: 68Vxx PDF BibTeX XML Cite \textit{L. Schmitz} and \textit{V. Levandovskyy}, Lect. Notes Comput. Sci. 12236, 222--236 (2020; Zbl 07298566) Full Text: DOI
Hrubeš, Pavel On the complexity of computing a random Boolean function over the reals. (English) Zbl 07286919 Theory Comput. 16, Paper No. 9, 12 p. (2020). MSC: 68Q17 03C10 PDF BibTeX XML Cite \textit{P. Hrubeš}, Theory Comput. 16, Paper No. 9, 12 p. (2020; Zbl 07286919) Full Text: DOI
Koponen, Vera Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination. (English) Zbl 07285586 Theor. Comput. Sci. 848, 1-27 (2020). MSC: 68Q PDF BibTeX XML Cite \textit{V. Koponen}, Theor. Comput. Sci. 848, 1--27 (2020; Zbl 07285586) Full Text: DOI
Komendantskaya, Ekaterina; Rozplokhas, Dmitry; Basold, Henning The new normal: we cannot eliminate cuts in coinductive calculi, but we can explore them. (English) Zbl 07284984 Theory Pract. Log. Program. 20, No. 6, 990-1005 (2020). MSC: 68N17 PDF BibTeX XML Cite \textit{E. Komendantskaya} et al., Theory Pract. Log. Program. 20, No. 6, 990--1005 (2020; Zbl 07284984) Full Text: DOI
Peretyat’kin, Mikhaĭl G. The property of being a model complete theory is preserved by Cartesian extensions. (English) Zbl 07277557 Sib. Èlektron. Mat. Izv. 17, 1540-1551 (2020). MSC: 03B10 03C10 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Sib. Èlektron. Mat. Izv. 17, 1540--1551 (2020; Zbl 07277557) Full Text: DOI
Dias, Thiago; Pan, Bo-Yu Generic finiteness for a class of symmetric planar central configurations of the six-body problem and the six-vortex problem. (English) Zbl 07272625 J. Dyn. Differ. Equations 32, No. 4, 1579-1602 (2020). MSC: 70 PDF BibTeX XML Cite \textit{T. Dias} and \textit{B.-Y. Pan}, J. Dyn. Differ. Equations 32, No. 4, 1579--1602 (2020; Zbl 07272625) Full Text: DOI
Eleftheriou, Pantelis E.; Günaydin, Ayhan; Hieronymi, Philipp Structure theorems in tame expansions of o-minimal structures by a dense set. (English) Zbl 07261523 Isr. J. Math. 239, No. 1, 435-500 (2020). MSC: 03C 11U 03C60 03C10 03C64 11U09 PDF BibTeX XML Cite \textit{P. E. Eleftheriou} et al., Isr. J. Math. 239, No. 1, 435--500 (2020; Zbl 07261523) Full Text: DOI
Röbenack, Klaus; Voßwinkel, Rick Eigenvalue placement by quantifier elimination - the static output feedback problem. (English) Zbl 07254869 Acta Cybern. 24, No. 3, 409-427 (2020). MSC: 93B52 93B60 93D05 93C05 PDF BibTeX XML Cite \textit{K. Röbenack} and \textit{R. Voßwinkel}, Acta Cybern. 24, No. 3, 409--427 (2020; Zbl 07254869) Full Text: DOI
Fiorentini, Camillo; Ferrari, Mauro Duality between unprovability and provability in forward refutation-search for intuitionistic propositional logic. (English) Zbl 1446.03025 ACM Trans. Comput. Log. 21, No. 3, Article No. 22, 47 p. (2020). MSC: 03B20 03B35 03F03 03F05 PDF BibTeX XML Cite \textit{C. Fiorentini} and \textit{M. Ferrari}, ACM Trans. Comput. Log. 21, No. 3, Article No. 22, 47 p. (2020; Zbl 1446.03025) Full Text: DOI
Burel, Guillaume Linking focusing and resolution with selection. (English) Zbl 1446.03099 ACM Trans. Comput. Log. 21, No. 3, Article No. 18, 30 p. (2020). MSC: 03F03 03B35 03F05 68V15 PDF BibTeX XML Cite \textit{G. Burel}, ACM Trans. Comput. Log. 21, No. 3, Article No. 18, 30 p. (2020; Zbl 1446.03099) Full Text: DOI
Lange-Hegermann, Markus; Robertz, Daniel Thomas decomposition and nonlinear control systems. (English) Zbl 1451.93171 Quadrat, Alban (ed.) et al., Algebraic and symbolic computation methods in dynamical systems. Based on articles written for the invited sessions of the 5th symposium on system structure and control, IFAC, Grenoble, France, February 4–6, 2013 and of the 21st international symposium on mathematical theory of networks and systems (MTNS 2014), Groningen, the Netherlands, July 7–11, 2014. Cham: Springer. Adv. Delays Dyn. 9, 117-146 (2020). Reviewer: Kaïs Ammari (Monastir) MSC: 93C20 93B07 93B25 93C10 PDF BibTeX XML Cite \textit{M. Lange-Hegermann} and \textit{D. Robertz}, Adv. Delays Dyn. 9, 117--146 (2020; Zbl 1451.93171) Full Text: DOI
Barbina, Silvia; Casanovas, Enrique Model theory of Steiner triple systems. (English) Zbl 07244017 J. Math. Log. 20, No. 2, Article ID 2050010, 26 p. (2020). MSC: 03C10 03C45 05B07 PDF BibTeX XML Cite \textit{S. Barbina} and \textit{E. Casanovas}, J. Math. Log. 20, No. 2, Article ID 2050010, 26 p. (2020; Zbl 07244017) Full Text: DOI
Belkasmi, Mohammed Algebraically closed structures in positive logic. (English) Zbl 07240978 Ann. Pure Appl. Logic 171, No. 9, Article ID 102822, 10 p. (2020). MSC: 03C95 03C68 03C48 03C10 PDF BibTeX XML Cite \textit{M. Belkasmi}, Ann. Pure Appl. Logic 171, No. 9, Article ID 102822, 10 p. (2020; Zbl 07240978) Full Text: DOI
Kushida, Hirohiko A proof theory for the logic of provability in true arithmetic. (English) Zbl 07239286 Stud. Log. 108, No. 4, 857-875 (2020). MSC: 03 PDF BibTeX XML Cite \textit{H. Kushida}, Stud. Log. 108, No. 4, 857--875 (2020; Zbl 07239286) Full Text: DOI
Freund, Anton Set-theoretic reflection is equivalent to induction over well-founded classes. (English) Zbl 07237853 Proc. Am. Math. Soc. 148, No. 10, 4503-4515 (2020). MSC: 03E30 03B30 03F05 PDF BibTeX XML Cite \textit{A. Freund}, Proc. Am. Math. Soc. 148, No. 10, 4503--4515 (2020; Zbl 07237853) Full Text: DOI
Ma, Jie; Gao, Feng; Li, Yongshu An efficient method for computing the outer inverse \(A_{T,S}^{(2)}\) through Gauss-Jordan elimination. (English) Zbl 07235962 Numer. Algorithms 85, No. 1, 77-106 (2020). MSC: 65F20 15A09 PDF BibTeX XML Cite \textit{J. Ma} et al., Numer. Algorithms 85, No. 1, 77--106 (2020; Zbl 07235962) Full Text: DOI
Dutta, Arpan; Kuhlmann, Franz-Viktor Eliminating tame ramification generalizations of Abhyankar’s lemma. (English) Zbl 07229723 Pac. J. Math. 307, No. 1, 121-136 (2020). Reviewer: Gerard Leloup (Le Mans) MSC: 12J20 12J25 13A18 PDF BibTeX XML Cite \textit{A. Dutta} and \textit{F.-V. Kuhlmann}, Pac. J. Math. 307, No. 1, 121--136 (2020; Zbl 07229723) Full Text: DOI
Ovchinnikov, Alexey; Pogudin, Gleb; Scanlon, Thomas Effective difference elimination and nullstellensatz. (English) Zbl 07227738 J. Eur. Math. Soc. (JEMS) 22, No. 8, 2419-2452 (2020). MSC: 12H10 13P25 14Q20 03C10 03C60 PDF BibTeX XML Cite \textit{A. Ovchinnikov} et al., J. Eur. Math. Soc. (JEMS) 22, No. 8, 2419--2452 (2020; Zbl 07227738) Full Text: DOI
Laskowski, Michael C.; Terry, Caroline A. Uniformly bounded arrays and mutually algebraic structures. (English) Zbl 07222691 Notre Dame J. Formal Logic 61, No. 2, 265-282 (2020). MSC: 03C52 03C13 03C10 03C35 PDF BibTeX XML Cite \textit{M. C. Laskowski} and \textit{C. A. Terry}, Notre Dame J. Formal Logic 61, No. 2, 265--282 (2020; Zbl 07222691) Full Text: DOI Euclid
Wang, Yan-Ping; Wang, Qiang; Zhang, Wei-Guo Boomerang uniformity of normalized permutation polynomials of low degree. (English) Zbl 1446.11208 Appl. Algebra Eng. Commun. Comput. 31, No. 3-4, 307-322 (2020). MSC: 11T06 11T71 12-08 PDF BibTeX XML Cite \textit{Y.-P. Wang} et al., Appl. Algebra Eng. Commun. Comput. 31, No. 3--4, 307--322 (2020; Zbl 1446.11208) Full Text: DOI
Botbol, Nicolás; Busé, Laurent; Chardin, Marc; Yildirim, Fatmanur Fibers of multi-graded rational maps and orthogonal projection onto rational surfaces. (English) Zbl 1452.14011 SIAM J. Appl. Algebra Geom. 4, No. 2, 322-353 (2020). Reviewer: Ihsen Yengui (Sfax) MSC: 14E05 13D02 13P25 13D45 PDF BibTeX XML Cite \textit{N. Botbol} et al., SIAM J. Appl. Algebra Geom. 4, No. 2, 322--353 (2020; Zbl 1452.14011) Full Text: DOI
Jeřábek, Emil Recursive functions and existentially closed structures. (English) Zbl 07215221 J. Math. Log. 20, No. 1, Article ID 2050002, 52 p. (2020). MSC: 03F40 03C45 03F30 03C10 PDF BibTeX XML Cite \textit{E. Jeřábek}, J. Math. Log. 20, No. 1, Article ID 2050002, 52 p. (2020; Zbl 07215221) Full Text: DOI
Gherardi, Guido; Maffezioli, Paolo; Orlandelli, Eugenio Interpolation in extensions of first-order logic. (English) Zbl 1452.03128 Stud. Log. 108, No. 3, 619-648 (2020). Reviewer: Mario Alviano (Rende) MSC: 03F03 03C40 03F05 PDF BibTeX XML Cite \textit{G. Gherardi} et al., Stud. Log. 108, No. 3, 619--648 (2020; Zbl 1452.03128) Full Text: DOI
Lambotte, Quentin; Point, Françoise On expansions of \((\mathbf{Z},+,0)\). (English) Zbl 07207188 Ann. Pure Appl. Logic 171, No. 8, Article ID 102809, 35 p. (2020). MSC: 03B25 03C10 03C35 03C45 PDF BibTeX XML Cite \textit{Q. Lambotte} and \textit{F. Point}, Ann. Pure Appl. Logic 171, No. 8, Article ID 102809, 35 p. (2020; Zbl 07207188) Full Text: DOI
Belkasmi, Mohammed Positive amalgamation. (English) Zbl 07205366 Log. Univers. 14, No. 2, 243-258 (2020). MSC: 03C95 03C48 03C10 PDF BibTeX XML Cite \textit{M. Belkasmi}, Log. Univers. 14, No. 2, 243--258 (2020; Zbl 07205366) Full Text: DOI
Cubides Kovacsics, Pablo; Haskell, Deirdre Real closed valued fields with analytic structure. (English) Zbl 07204912 Proc. Edinb. Math. Soc., II. Ser. 63, No. 1, 249-261 (2020). MSC: 32P05 32B05 03C10 03C64 14P10 PDF BibTeX XML Cite \textit{P. Cubides Kovacsics} and \textit{D. Haskell}, Proc. Edinb. Math. Soc., II. Ser. 63, No. 1, 249--261 (2020; Zbl 07204912) Full Text: DOI
Lyon, Tim On deriving nested calculi for intuitionistic logics from semantic systems. (English) Zbl 07197413 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-36754-1/pbk; 978-3-030-36755-8/ebook). Lecture Notes in Computer Science 11972, 177-194 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{T. Lyon}, Lect. Notes Comput. Sci. 11972, 177--194 (2020; Zbl 07197413) Full Text: DOI
Lyon, Tim Syntactic cut-elimination for intuitionistic fuzzy logic via linear nested sequents. (English) Zbl 07197412 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-36754-1/pbk; 978-3-030-36755-8/ebook). Lecture Notes in Computer Science 11972, 156-176 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{T. Lyon}, Lect. Notes Comput. Sci. 11972, 156--176 (2020; Zbl 07197412) Full Text: DOI
Laurent, Monique; Tanigawa, Shin-Ichi Perfect elimination orderings for symmetric matrices. (English) Zbl 1442.05080 Optim. Lett. 14, No. 2, 339-353 (2020). MSC: 05C22 05C99 05B20 PDF BibTeX XML Cite \textit{M. Laurent} and \textit{S.-I. Tanigawa}, Optim. Lett. 14, No. 2, 339--353 (2020; Zbl 1442.05080) Full Text: DOI
Bhunia, Sushil; Mahalanobis, Ayan; Shinde, Pralhad; Singh, Anupam Algorithms in linear algebraic groups. (English) Zbl 07190287 Adv. Appl. Clifford Algebr. 30, No. 3, Paper No. 31, 23 p. (2020). Reviewer: Erich W. Ellers (Toronto) MSC: 20G05 11E57 15A21 15A66 PDF BibTeX XML Cite \textit{S. Bhunia} et al., Adv. Appl. Clifford Algebr. 30, No. 3, Paper No. 31, 23 p. (2020; Zbl 07190287) Full Text: DOI
Onshuus, Alf; Vicaría, Mariana Definable groups in models of Presburger arithmetic. (English) Zbl 07189167 Ann. Pure Appl. Logic 171, No. 6, Article ID 102795, 27 p. (2020). MSC: 03C64 03C65 03C45 03C10 PDF BibTeX XML Cite \textit{A. Onshuus} and \textit{M. Vicaría}, Ann. Pure Appl. Logic 171, No. 6, Article ID 102795, 27 p. (2020; Zbl 07189167) Full Text: DOI
Diep, Do Ngoc Some quantum neural networks. (English) Zbl 1433.68391 Int. J. Theor. Phys. 59, No. 4, 1179-1187 (2020). MSC: 68T07 62J05 68Q12 68T05 68T20 81P68 92B20 81S22 PDF BibTeX XML Cite \textit{D. N. Diep}, Int. J. Theor. Phys. 59, No. 4, 1179--1187 (2020; Zbl 1433.68391) Full Text: DOI
Folberth, James; Becker, Stephen Safe feature elimination for non-negativity constrained convex optimization. (English) Zbl 1432.90110 J. Optim. Theory Appl. 184, No. 3, 931-952 (2020). MSC: 90C25 49N15 90C46 PDF BibTeX XML Cite \textit{J. Folberth} and \textit{S. Becker}, J. Optim. Theory Appl. 184, No. 3, 931--952 (2020; Zbl 1432.90110) Full Text: DOI
Tóth, Endre; Waldhauser, Tamás Solution sets of systems of equations over finite lattices and semilattices. (English) Zbl 1443.08003 Algebra Univers. 81, No. 2, Paper No. 13, 21 p. (2020). Reviewer: Ivan Chajda (Přerov) MSC: 08A40 06A12 06B05 06D05 03C10 PDF BibTeX XML Cite \textit{E. Tóth} and \textit{T. Waldhauser}, Algebra Univers. 81, No. 2, Paper No. 13, 21 p. (2020; Zbl 1443.08003) Full Text: DOI
Hillas, John; Samet, Dov Dominance rationality: a unified approach. (English) Zbl 1431.91054 Games Econ. Behav. 119, 189-196 (2020). MSC: 91A26 PDF BibTeX XML Cite \textit{J. Hillas} and \textit{D. Samet}, Games Econ. Behav. 119, 189--196 (2020; Zbl 1431.91054) Full Text: DOI
Salehi, Saeed; Zarza, Mohammadsaleh First-order continuous induction and a logical study of real closed fields. (English) Zbl 07157008 Bull. Iran. Math. Soc. 46, No. 1, 225-243 (2020). MSC: 03B25 03C35 03C10 12L05 PDF BibTeX XML Cite \textit{S. Salehi} and \textit{M. Zarza}, Bull. Iran. Math. Soc. 46, No. 1, 225--243 (2020; Zbl 07157008) Full Text: DOI
Fujita, Masato Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition. (English) Zbl 1435.03062 Ann. Pure Appl. Logic 171, No. 2, Article ID 102756, 26 p. (2020). Reviewer: Beibut Kulpeshov (Almaty) MSC: 03C64 03C07 03C10 03C40 PDF BibTeX XML Cite \textit{M. Fujita}, Ann. Pure Appl. Logic 171, No. 2, Article ID 102756, 26 p. (2020; Zbl 1435.03062) Full Text: DOI
Aguilera, J. P. Determinate logic and the axiom of choice. (English) Zbl 07135275 Ann. Pure Appl. Logic 171, No. 2, Article ID 102745, 24 p. (2020). MSC: 03F03 03F05 03E60 03E25 PDF BibTeX XML Cite \textit{J. P. Aguilera}, Ann. Pure Appl. Logic 171, No. 2, Article ID 102745, 24 p. (2020; Zbl 07135275) Full Text: DOI
Cardoso dos Santos, Josué; Ferrer, Sebastián; Scheeres, Daniel J. Study of the roto-orbital motion using intermediaries: numerical experiments. (English) Zbl 1451.70040 Celest. Mech. Dyn. Astron. 131, No. 6, Paper No. 26, 27 p. (2019). MSC: 70M20 PDF BibTeX XML Cite \textit{J. Cardoso dos Santos} et al., Celest. Mech. Dyn. Astron. 131, No. 6, Paper No. 26, 27 p. (2019; Zbl 1451.70040) Full Text: DOI
Bender, Matías R.; Faugère, Jean-Charles; Tsigaridas, Elias Gröbner basis over semigroup algebras. Algorithms and applications for sparse polynomial systems. (English) Zbl 07246228 Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6084-5). 42-49 (2019). MSC: 68W30 PDF BibTeX XML Cite \textit{M. R. Bender} et al., in: Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC '19, Beijing, China, July 15--18, 2019. New York, NY: Association for Computing Machinery (ACM). 42--49 (2019; Zbl 07246228) Full Text: DOI
Saeki, Osamu Elimination of definite fold. II. (English) Zbl 07220383 Kyushu J. Math. 73, No. 2, 239-250 (2019). MSC: 57R45 57R35 58K30 PDF BibTeX XML Cite \textit{O. Saeki}, Kyushu J. Math. 73, No. 2, 239--250 (2019; Zbl 07220383) Full Text: DOI
Mallahi-Karai, Keivan; Diederich, Adele Decision with multiple alternatives: geometric models in higher dimensions – the cube model. (English) Zbl 1437.91157 J. Math. Psychol. 93, Article ID 102294, 8 p. (2019). MSC: 91B06 PDF BibTeX XML Cite \textit{K. Mallahi-Karai} and \textit{A. Diederich}, J. Math. Psychol. 93, Article ID 102294, 8 p. (2019; Zbl 1437.91157) Full Text: DOI
Capco, Jose; Manongsong, Saraleen Mae Implementing HuPf algorithm for the inverse kinematics of general 6R/P manipulators. (English) Zbl 07195017 England, Matthew (ed.) et al., Computer algebra in scientific computing. 21st international workshop, CASC 2019, Moscow, Russia, August 26–30, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-26830-5/pbk; 978-3-030-26831-2/ebook). Lecture Notes in Computer Science 11661, 78-90 (2019). MSC: 70 PDF BibTeX XML Cite \textit{J. Capco} and \textit{S. M. Manongsong}, Lect. Notes Comput. Sci. 11661, 78--90 (2019; Zbl 07195017) Full Text: DOI
Wang, Jing-Han; Sun, Shi-Li Study on liquid sloshing characteristics of a swaying rectangular tank with a rolling baffle. (English) Zbl 1452.76032 J. Eng. Math. 119, 23-41 (2019). MSC: 76B10 76M22 PDF BibTeX XML Cite \textit{J.-H. Wang} and \textit{S.-L. Sun}, J. Eng. Math. 119, 23--41 (2019; Zbl 1452.76032) Full Text: DOI
Conant, Gabriel; Kruckman, Alex Independence in generic incidence structures. (English) Zbl 07186306 J. Symb. Log. 84, No. 2, 750-780 (2019). MSC: 03C10 03C45 03C52 51E15 51E30 03C65 51E30 PDF BibTeX XML Cite \textit{G. Conant} and \textit{A. Kruckman}, J. Symb. Log. 84, No. 2, 750--780 (2019; Zbl 07186306) Full Text: DOI
Bar-Yehuda, Elitzur; Hasson, Assaf; Peterzil, Ya’acov A theory of pairs for non-valuational structures. (English) Zbl 1442.03018 J. Symb. Log. 84, No. 2, 664-683 (2019). Reviewer: Beibut Kulpeshov (Almaty) MSC: 03C64 03C10 03C40 03C60 06F15 PDF BibTeX XML Cite \textit{E. Bar-Yehuda} et al., J. Symb. Log. 84, No. 2, 664--683 (2019; Zbl 1442.03018) Full Text: DOI
Alouf, Eran; D’Elbée, Christian A new dp-minimal expansion of the integers. (English) Zbl 07186300 J. Symb. Log. 84, No. 2, 632-663 (2019). MSC: 03C07 03C10 03C40 03C45 03C50 03C65 PDF BibTeX XML Cite \textit{E. Alouf} and \textit{C. D'Elbée}, J. Symb. Log. 84, No. 2, 632--663 (2019; Zbl 07186300) Full Text: DOI
Indrzejczak, Andrzej Cut elimination in hypersequent calculus for some logics of linear time. (English) Zbl 07171848 Rev. Symb. Log. 12, No. 4, 806-822 (2019). MSC: 03B44 03F03 03F05 PDF BibTeX XML Cite \textit{A. Indrzejczak}, Rev. Symb. Log. 12, No. 4, 806--822 (2019; Zbl 07171848) Full Text: DOI
Pavlović, Edi; Gratzl, Norbert Proof-theoretic analysis of the quantified argument calculus. (English) Zbl 07171840 Rev. Symb. Log. 12, No. 4, 607-636 (2019). MSC: 03F03 03F05 03B10 03B65 PDF BibTeX XML Cite \textit{E. Pavlović} and \textit{N. Gratzl}, Rev. Symb. Log. 12, No. 4, 607--636 (2019; Zbl 07171840) Full Text: DOI
Indrzejczak, Andrzej Fregean description theory in proof-theoretical setting. (English) Zbl 07166050 Log. Log. Philos. 28, No. 1, 137-155 (2019). MSC: 03F03 03F05 PDF BibTeX XML Cite \textit{A. Indrzejczak}, Log. Log. Philos. 28, No. 1, 137--155 (2019; Zbl 07166050) Full Text: DOI
Merkulov, V. I.; Plyashechnik, A. S. Simplified target assignment problem for group engagement of aircraft. (English. Russian original) Zbl 1431.93048 Autom. Remote Control 80, No. 3, 490-501 (2019); translation from Avtom. Telemekh. 2019, No. 3, 123-137 (2019). MSC: 93C95 68W99 PDF BibTeX XML Cite \textit{V. I. Merkulov} and \textit{A. S. Plyashechnik}, Autom. Remote Control 80, No. 3, 490--501 (2019; Zbl 1431.93048); translation from Avtom. Telemekh. 2019, No. 3, 123--137 (2019) Full Text: DOI
Su, Juan Analysis of local bifurcations of an enzyme catalyzed reaction system. (Chinese. English summary) Zbl 1449.34157 Appl. Math., Ser. A (Chin. Ed.) 34, No. 2, 173-180 (2019). MSC: 34C60 34C23 92C45 34C05 PDF BibTeX XML Cite \textit{J. Su}, Appl. Math., Ser. A (Chin. Ed.) 34, No. 2, 173--180 (2019; Zbl 1449.34157) Full Text: DOI
Jiang, Zhuozhuo; Yan, Weigen Resistances between two nodes of a path network. (English) Zbl 1428.94118 Appl. Math. Comput. 361, 42-46 (2019). MSC: 94C15 05C90 05C12 PDF BibTeX XML Cite \textit{Z. Jiang} and \textit{W. Yan}, Appl. Math. Comput. 361, 42--46 (2019; Zbl 1428.94118) Full Text: DOI
Pistone, Paolo On completeness and parametricity in the realizability semantics of System F. (English) Zbl 07136665 Log. Methods Comput. Sci. 15, No. 4, Paper No. 6, 54 p. (2019). MSC: 03B15 03B70 03F03 03F05 PDF BibTeX XML Cite \textit{P. Pistone}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 6, 54 p. (2019; Zbl 07136665) Full Text: arXiv
Lahav, Ori; Zohar, Yoni Pure sequent calculi. Analyticity and decision procedure. (English) Zbl 1433.03130 ACM Trans. Comput. Log. 20, No. 3, Article No. 13, 38 p. (2019). MSC: 03F03 03B45 03F05 PDF BibTeX XML Cite \textit{O. Lahav} and \textit{Y. Zohar}, ACM Trans. Comput. Log. 20, No. 3, Article No. 13, 38 p. (2019; Zbl 1433.03130) Full Text: DOI
Greco, Giuseppe; Liang, Fei; Manoorkar, Krishna; Palmigiano, Alessandra Proper multi-type display calculi for rough algebras. (English) Zbl 1434.03147 Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 101-118 (2019). MSC: 03G25 06E75 03F05 03E72 PDF BibTeX XML Cite \textit{G. Greco} et al., Electron. Notes Theor. Comput. Sci. 344, 101--118 (2019; Zbl 1434.03147) Full Text: DOI arXiv
Nguyen, Kien Huu Uniform rationality of the Poincaré series of definable, analytic equivalence relations on local fields. (English) Zbl 07123770 Trans. Am. Math. Soc., Ser. B 6, 274-296 (2019). MSC: 03C60 03C10 03C98 11M41 20E07 20C15 PDF BibTeX XML Cite \textit{K. H. Nguyen}, Trans. Am. Math. Soc., Ser. B 6, 274--296 (2019; Zbl 07123770) Full Text: DOI
Eshkeev, Aĭbat Rafkhatovich; Ul’brikht, Ol’ga Ivanovna \(JSp\)-cosemanticness of \(R\)-modules. (Russian. English summary) Zbl 1436.03198 Sib. Èlektron. Mat. Izv. 16, 1233-1244 (2019). MSC: 03C60 03C10 16D10 PDF BibTeX XML Cite \textit{A. R. Eshkeev} and \textit{O. I. Ul'brikht}, Sib. Èlektron. Mat. Izv. 16, 1233--1244 (2019; Zbl 1436.03198) Full Text: DOI
Dudakov, Sergey; Karlov, Boris On decidability of regular languages theories. (English) Zbl 07121061 van Bevern, René (ed.) et al., Computer science – theory and applications. 14th international computer science symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19954-8/pbk; 978-3-030-19955-5/ebook). Lecture Notes in Computer Science 11532, 119-130 (2019). MSC: 68Qxx PDF BibTeX XML Cite \textit{S. Dudakov} and \textit{B. Karlov}, Lect. Notes Comput. Sci. 11532, 119--130 (2019; Zbl 07121061) Full Text: DOI
Greco, Giuseppe; Liang, Fei; Palmigiano, Alessandra; Rivieccio, Umberto Bilattice logic properly displayed. (English) Zbl 1423.03079 Fuzzy Sets Syst. 363, 138-155 (2019). MSC: 03B52 03B50 03F05 PDF BibTeX XML Cite \textit{G. Greco} et al., Fuzzy Sets Syst. 363, 138--155 (2019; Zbl 1423.03079) Full Text: DOI arXiv
Aschieri, Federico; Hetzl, Stefan; Weller, Daniel Expansion trees with cut. (English) Zbl 07114848 Math. Struct. Comput. Sci. 29, No. 8, 1009-1029 (2019). MSC: 03F05 PDF BibTeX XML Cite \textit{F. Aschieri} et al., Math. Struct. Comput. Sci. 29, No. 8, 1009--1029 (2019; Zbl 07114848) Full Text: DOI arXiv
Koponen, Vera Supersimple \(\omega\)-categorical theories and pregeometries. (English) Zbl 07114354 Ann. Pure Appl. Logic 170, No. 12, Article ID 102718, 18 p. (2019). MSC: 03C45 03C10 03C15 03C50 PDF BibTeX XML Cite \textit{V. Koponen}, Ann. Pure Appl. Logic 170, No. 12, Article ID 102718, 18 p. (2019; Zbl 07114354) Full Text: DOI arXiv
Maieli, Roberto Non decomposable connectives of linear logic. (English) Zbl 07114342 Ann. Pure Appl. Logic 170, No. 11, Article ID 102709, 27 p. (2019). MSC: 03F03 03F05 03F07 03F52 03B47 PDF BibTeX XML Cite \textit{R. Maieli}, Ann. Pure Appl. Logic 170, No. 11, Article ID 102709, 27 p. (2019; Zbl 07114342) Full Text: DOI
Assadi, Ziba; Salehi, Saeed On decidability and axiomatizability of some ordered structures. (English) Zbl 1418.03171 Soft Comput. 23, No. 11, 3615-3626 (2019). MSC: 03F30 03B25 03D35 PDF BibTeX XML Cite \textit{Z. Assadi} and \textit{S. Salehi}, Soft Comput. 23, No. 11, 3615--3626 (2019; Zbl 1418.03171) Full Text: DOI
Su, Juan Bifurcation analysis of an enzyme reaction system with general power of autocatalysis. (English) Zbl 1423.34060 Int. J. Bifurcation Chaos Appl. Sci. Eng. 29, No. 6, Article ID 1950079, 21 p. (2019). MSC: 34C60 92C45 34C05 34D20 34C23 PDF BibTeX XML Cite \textit{J. Su}, Int. J. Bifurcation Chaos Appl. Sci. Eng. 29, No. 6, Article ID 1950079, 21 p. (2019; Zbl 1423.34060) Full Text: DOI
Rezuş, Adrian Book review of: J. von Plato, Saved from the cellar. Gerhard Gentzen’s shorthand notes on logic and the foundations of mathematics. (English) Zbl 1435.00038 Stud. Log. 107, No. 3, 583-589 (2019). MSC: 00A17 03-03 01A60 03F03 03F05 03F25 03F40 03F50 03F55 03A05 01A70 PDF BibTeX XML Cite \textit{A. Rezuş}, Stud. Log. 107, No. 3, 583--589 (2019; Zbl 1435.00038) Full Text: DOI
Chaudhuri, Kaustuv; Lima, Leonardo; Reis, Giselle Formalized meta-theory of sequent calculi for linear logics. (English) Zbl 1425.03007 Theor. Comput. Sci. 781, 24-38 (2019). MSC: 03B35 03B47 03F05 03F52 68T15 PDF BibTeX XML Cite \textit{K. Chaudhuri} et al., Theor. Comput. Sci. 781, 24--38 (2019; Zbl 1425.03007) Full Text: DOI
Drobyshevich, Sergey Disentangling structural connectives or life without display property. (English) Zbl 07066826 J. Philos. Log. 48, No. 2, 279-303 (2019). MSC: 03 PDF BibTeX XML Cite \textit{S. Drobyshevich}, J. Philos. Log. 48, No. 2, 279--303 (2019; Zbl 07066826) Full Text: DOI
Li, Han; Li, Hong; Lu, Yang; Panagiotelis, Anastasios A forecast reconciliation approach to cause-of-death mortality modeling. (English) Zbl 1411.91298 Insur. Math. Econ. 86, 122-133 (2019). MSC: 91B30 62P05 62M20 PDF BibTeX XML Cite \textit{H. Li} et al., Insur. Math. Econ. 86, 122--133 (2019; Zbl 1411.91298) Full Text: DOI
Döcker, Janosch; van Iersel, Leo; Kelk, Steven; Linz, Simone Deciding the existence of a cherry-picking sequence is hard on two trees. (English) Zbl 1409.05191 Discrete Appl. Math. 260, 131-143 (2019). MSC: 05C82 05C90 68Q17 92B10 92D15 PDF BibTeX XML Cite \textit{J. Döcker} et al., Discrete Appl. Math. 260, 131--143 (2019; Zbl 1409.05191) Full Text: DOI
Lellmann, Björn; Pimentel, Elaine Modularisation of sequent calculi for normal and non-normal modalities. (English) Zbl 1433.03131 ACM Trans. Comput. Log. 20, No. 2, Article No. 7, 46 p. (2019). MSC: 03F03 03B45 03F05 PDF BibTeX XML Cite \textit{B. Lellmann} and \textit{E. Pimentel}, ACM Trans. Comput. Log. 20, No. 2, Article No. 7, 46 p. (2019; Zbl 1433.03131) Full Text: DOI arXiv
Kuznets, Roman; Straßburger, Lutz Maehara-style modal nested calculi. (English) Zbl 07043052 Arch. Math. Logic 58, No. 3-4, 359-385 (2019). MSC: 03B45 03B60 03B62 03B70 03F03 03F05 03F07 03F55 PDF BibTeX XML Cite \textit{R. Kuznets} and \textit{L. Straßburger}, Arch. Math. Logic 58, No. 3--4, 359--385 (2019; Zbl 07043052) Full Text: DOI
Aguilera, Juan P.; Baaz, Matthias Unsound inferences make proofs shorter. (English) Zbl 1439.03095 J. Symb. Log. 84, No. 1, 102-122 (2019). Reviewer: Graham E. Leigh (Göteborg) MSC: 03F03 03F05 03F07 PDF BibTeX XML Cite \textit{J. P. Aguilera} and \textit{M. Baaz}, J. Symb. Log. 84, No. 1, 102--122 (2019; Zbl 1439.03095) Full Text: DOI
Maddalena, Emilio Tanowe; Galvão, Roberto Kawakami Harrop; Afonso, Rubens Junqueira Magalhães Robust region elimination for piecewise affine control laws. (English) Zbl 1406.93120 Automatica 99, 333-337 (2019). MSC: 93B40 93C41 93C55 93C05 93B52 93-04 PDF BibTeX XML Cite \textit{E. T. Maddalena} et al., Automatica 99, 333--337 (2019; Zbl 1406.93120) Full Text: DOI
Liu, Bingsheng; Zhou, Qi; Ding, Ru-Xi; Palomares, Iván; Herrera, Francisco Large-scale group decision making model based on social network analysis: trust relationship-based conflict detection and elimination. (English) Zbl 1431.91114 Eur. J. Oper. Res. 275, No. 2, 737-754 (2019). MSC: 91B06 91B10 91D30 PDF BibTeX XML Cite \textit{B. Liu} et al., Eur. J. Oper. Res. 275, No. 2, 737--754 (2019; Zbl 1431.91114) Full Text: DOI
Marco, Ana; Martínez, José-Javier Accurate computation of the Moore-Penrose inverse of strictly totally positive matrices. (English) Zbl 1405.65055 J. Comput. Appl. Math. 350, 299-308 (2019). MSC: 65F20 65F05 65F35 15B05 15B48 15A23 15A09 PDF BibTeX XML Cite \textit{A. Marco} and \textit{J.-J. Martínez}, J. Comput. Appl. Math. 350, 299--308 (2019; Zbl 1405.65055) Full Text: DOI
Chen, Yijia; Flum, Jörg Tree-depth, quantifier elimination, and quantifier rank. (English) Zbl 1452.03086 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 225-234 (2018). MSC: 03C13 03C10 68Q19 68Q60 PDF BibTeX XML Cite \textit{Y. Chen} and \textit{J. Flum}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 225--234 (2018; Zbl 1452.03086) Full Text: DOI
Yeshkeyev, Aibat R.; Kasymetova, Maira T.; Shamatayeva, Nazgul K. Model-theoretic properties of the \(\sharp\)-companion of a Jonsson set. (English) Zbl 07240540 Eurasian Math. J. 9, No. 2, 68-81 (2018). MSC: 03C60 03C68 03C10 PDF BibTeX XML Cite \textit{A. R. Yeshkeyev} et al., Eurasian Math. J. 9, No. 2, 68--81 (2018; Zbl 07240540) Full Text: DOI MNR
Arif, Irza; Tufail, Muhammad; Rehan, Muhammad; Ahn, Choon Ki A novel word length selection method for a guaranteed \(H_\infty\) interference rejection performance and overflow oscillation-free realization of 2-d digital filters. (English) Zbl 1448.94045 Multidimensional Syst. Signal Process. 29, No. 4, 1331-1350 (2018). MSC: 94A12 93E11 93B36 PDF BibTeX XML Cite \textit{I. Arif} et al., Multidimensional Syst. Signal Process. 29, No. 4, 1331--1350 (2018; Zbl 1448.94045) Full Text: DOI
Marti, Michel; Studer, Thomas The proof theory of common knowledge. (English) Zbl 1437.03070 van Ditmarsch, Hans (ed.) et al., Jaakko Hintikka on knowledge and game-theoretical semantics. Dedicated to the memory of Jaakko Hintikka. Cham: Springer. Outst. Contrib. Log. 12, 433-455 (2018). MSC: 03B42 03F03 03F05 PDF BibTeX XML Cite \textit{M. Marti} and \textit{T. Studer}, Outst. Contrib. Log. 12, 433--455 (2018; Zbl 1437.03070) Full Text: DOI
Bianconi, Ricardo Model completeness for the Real Field with the Weierstrass \(\wp\) function. (English) Zbl 07091633 Proc. Edinb. Math. Soc., II. Ser. 61, No. 3, 811-823 (2018). MSC: 03C10 03C64 03C98 14H52 33E05 PDF BibTeX XML Cite \textit{R. Bianconi}, Proc. Edinb. Math. Soc., II. Ser. 61, No. 3, 811--823 (2018; Zbl 07091633) Full Text: DOI
Kuznets, Roman; Lellmann, Björn Interpolation for intermediate logics via hyper- and linear nested sequents. (English) Zbl 1418.03130 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 473-492 (2018). MSC: 03B55 03F03 03F05 PDF BibTeX XML Cite \textit{R. Kuznets} and \textit{B. Lellmann}, in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 473--492 (2018; Zbl 1418.03130)
Girlando, Marianna; Negri, Sara; Olivetti, Nicola Counterfactual logic: labelled and internal calculi, two sides of the same coin? (English) Zbl 1418.03050 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 291-310 (2018). MSC: 03B42 03F03 03F05 PDF BibTeX XML Cite \textit{M. Girlando} et al., in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 291--310 (2018; Zbl 1418.03050)
Elbl, Birgit Cut-free sequent calculi for products and relativised products of modal logics. (English) Zbl 1418.03080 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 257-276 (2018). MSC: 03B45 03F05 PDF BibTeX XML Cite \textit{B. Elbl}, in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 257--276 (2018; Zbl 1418.03080)
Sheng, Xingping Computation of weighted Moore-Penrose inverse through Gauss-Jordan elimination on bordered matrices. (English) Zbl 1426.65041 Appl. Math. Comput. 323, 64-74 (2018). MSC: 65F05 15A09 65F20 PDF BibTeX XML Cite \textit{X. Sheng}, Appl. Math. Comput. 323, 64--74 (2018; Zbl 1426.65041) Full Text: DOI
Indrzejczak, Andrzej Rule-generation theorem and its applications. (English) Zbl 1437.03161 Bull. Sect. Log., Univ. Łódź, Dep. Log. 47, No. 4, 265-281 (2018). MSC: 03F03 03F05 PDF BibTeX XML Cite \textit{A. Indrzejczak}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 47, No. 4, 265--281 (2018; Zbl 1437.03161) Full Text: DOI
Francez, Nissim Does the implication elimination rule need a minor premise? (English) Zbl 07039110 Log. Log. Philos. 27, No. 3, 351-373 (2018). MSC: 03F03 03F05 PDF BibTeX XML Cite \textit{N. Francez}, Log. Log. Philos. 27, No. 3, 351--373 (2018; Zbl 07039110) Full Text: DOI
Berenstein, Alexander; Hyttinen, Tapani; Villaveces, Andrés Hilbert spaces with generic predicates. (English) Zbl 07024867 Rev. Colomb. Mat. 52, No. 1, 107-130 (2018). MSC: 03C45 03C10 03C99 PDF BibTeX XML Cite \textit{A. Berenstein} et al., Rev. Colomb. Mat. 52, No. 1, 107--130 (2018; Zbl 07024867) Full Text: Link
Morimoto, Mitsuo Some remarks on Volume 17 of the Taisei Sankei. (English) Zbl 1432.01016 RIMS Kôkyûroku Bessatsu B69, 109-124 (2018). MSC: 01A27 PDF BibTeX XML Cite \textit{M. Morimoto}, RIMS Kôkyûroku Bessatsu B69, 109--124 (2018; Zbl 1432.01016)
Iemhoff, Rosalie Terminating sequent calculi for two intuitionistic modal logics. (English) Zbl 1444.03060 J. Log. Comput. 28, No. 7, 1701-1712 (2018). MSC: 03B45 03B20 03F03 03F05 PDF BibTeX XML Cite \textit{R. Iemhoff}, J. Log. Comput. 28, No. 7, 1701--1712 (2018; Zbl 1444.03060) Full Text: DOI
Greco, Giuseppe; Ma, Minghui; Palmigiano, Alessandra; Tzimoulis, Apostolos; Zhao, Zhiguang Unified correspondence as a proof-theoretic tool. (English) Zbl 1444.03055 J. Log. Comput. 28, No. 7, 1367-1442 (2018). MSC: 03B45 03F03 03F05 PDF BibTeX XML Cite \textit{G. Greco} et al., J. Log. Comput. 28, No. 7, 1367--1442 (2018; Zbl 1444.03055) Full Text: DOI arXiv
Hóu, Zhé; Goré, Rajeev; Tiu, Alwen A labelled sequent calculus for BBI: proof theory and proof search. (English) Zbl 1444.03159 J. Log. Comput. 28, No. 4, 809-872 (2018). MSC: 03F03 03B35 03F05 68V15 PDF BibTeX XML Cite \textit{Z. Hóu} et al., J. Log. Comput. 28, No. 4, 809--872 (2018; Zbl 1444.03159) Full Text: DOI