Aglianò, Paolo; Ugolini, Sara Structural and universal completeness in algebra and logic. (English) Zbl 07785164 Ann. Pure Appl. Logic 175, No. 3, Article ID 103391, 49 p. (2024). MSC: 03G27 03G10 08C15 03B47 PDFBibTeX XMLCite \textit{P. Aglianò} and \textit{S. Ugolini}, Ann. Pure Appl. Logic 175, No. 3, Article ID 103391, 49 p. (2024; Zbl 07785164) Full Text: DOI arXiv
Bloomfield, Colin; Maruyama, Yoshihiro Fibered universal algebra for first-order logics. (English) Zbl 07740043 J. Pure Appl. Algebra 228, No. 2, Article ID 107415, 33 p. (2024). MSC: 03G30 03G27 03B60 18C50 PDFBibTeX XMLCite \textit{C. Bloomfield} and \textit{Y. Maruyama}, J. Pure Appl. Algebra 228, No. 2, Article ID 107415, 33 p. (2024; Zbl 07740043) Full Text: DOI arXiv
De Domenico, Andrea; Farjami, Ali; Manoorkar, Krishna; Palmigiano, Alessandra; Panettiere, Mattia; Wang, Xiaolong Obligations and permissions on selfextensional logics. arXiv:2402.07336 Preprint, arXiv:2402.07336 [math.LO] (2024). MSC: 03G27 BibTeX Cite \textit{A. De Domenico} et al., ``Obligations and permissions on selfextensional logics'', Preprint, arXiv:2402.07336 [math.LO] (2024) Full Text: arXiv OA License
Arndt, Peter; Mariano, Hugo Luiz; Pinto, Darllan Conceicao Horn filter pairs and Craig interpolation in propositional logic. (English) Zbl 07808138 Bol. Mat. (N.S.) 30, No. 2, Article No. 3, 5 p. (2023). MSC: 03G27 03C05 PDFBibTeX XMLCite \textit{P. Arndt} et al., Bol. Mat. (N.S.) 30, No. 2, Article No. 3, 5 p. (2023; Zbl 07808138) Full Text: Link
Samir, Basim Applied neat reducts on some classes of algebras. (English) Zbl 07778480 Indian J. Pure Appl. Math. 54, No. 4, 1132-1144 (2023). MSC: 03C05 03G27 03C48 03G15 PDFBibTeX XMLCite \textit{B. Samir}, Indian J. Pure Appl. Math. 54, No. 4, 1132--1144 (2023; Zbl 07778480) Full Text: DOI
Luan, Wei; Li, Qingguo A dual equivalence for cofinal quantum \(B\)-algebras. (English) Zbl 07766194 J. Algebra Appl. 22, No. 12, Article ID 2350251, 14 p. (2023). MSC: 03G27 06B35 06F07 PDFBibTeX XMLCite \textit{W. Luan} and \textit{Q. Li}, J. Algebra Appl. 22, No. 12, Article ID 2350251, 14 p. (2023; Zbl 07766194) Full Text: DOI
Zavalía, Lucas; Chernigovskaia, Lidiia; Fedyukovich, Grigory Solving constrained Horn clauses over algebraic data types. (English) Zbl 07728627 Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 341-365 (2023). MSC: 68Q60 03B70 68Q65 PDFBibTeX XMLCite \textit{L. Zavalía} et al., Lect. Notes Comput. Sci. 13881, 341--365 (2023; Zbl 07728627) Full Text: DOI
Krawczyk, Krzysztof A. Deduction theorem in congruential modal logics. (English) Zbl 07720261 Notre Dame J. Formal Logic 64, No. 2, 185-196 (2023). Reviewer: Ignacio Viglizzo (Bahía Blanca) MSC: 03B45 03G25 03G27 PDFBibTeX XMLCite \textit{K. A. Krawczyk}, Notre Dame J. Formal Logic 64, No. 2, 185--196 (2023; Zbl 07720261) Full Text: DOI
Zamperlin, Nicolò Book review of: S. Bonzio, F. Paoli and M. P. Baldi, Logics of variable inclusion. (English) Zbl 07703393 Stud. Log. 111, No. 3, 521-524 (2023). MSC: 00A17 03-01 03G27 03G25 PDFBibTeX XMLCite \textit{N. Zamperlin}, Stud. Log. 111, No. 3, 521--524 (2023; Zbl 07703393) Full Text: DOI
Arndt, Peter; Mariano, Hugo Luiz; Pinto, Darllan Conceição Filter pairs and natural extensions of logics. (English) Zbl 07680018 Arch. Math. Logic 62, No. 1-2, 113-145 (2023). MSC: 03G27 06B35 PDFBibTeX XMLCite \textit{P. Arndt} et al., Arch. Math. Logic 62, No. 1--2, 113--145 (2023; Zbl 07680018) Full Text: DOI arXiv
Přenosil, Adam The lattice of super-Belnap logics. (English) Zbl 07658883 Rev. Symb. Log. 16, No. 1, 114-163 (2023). MSC: 03G27 03G10 03C05 PDFBibTeX XMLCite \textit{A. Přenosil}, Rev. Symb. Log. 16, No. 1, 114--163 (2023; Zbl 07658883) Full Text: DOI arXiv
Jansana, R.; Moraschini, T. The poset of all logics. II: Leibniz classes and hierarchy. (English) Zbl 07657284 J. Symb. Log. 88, No. 1, 324-362 (2023). MSC: 03G27 03C05 08B05 PDFBibTeX XMLCite \textit{R. Jansana} and \textit{T. Moraschini}, J. Symb. Log. 88, No. 1, 324--362 (2023; Zbl 07657284) Full Text: DOI arXiv
Campercholi, Miguel; Castaño, Diego Nicolás; Díaz Varela, José Patricio; Gispert, Joan Algebraic expansions of logics. (English) Zbl 07657275 J. Symb. Log. 88, No. 1, 74-92 (2023). MSC: 03G27 06D35 06F20 PDFBibTeX XMLCite \textit{M. Campercholi} et al., J. Symb. Log. 88, No. 1, 74--92 (2023; Zbl 07657275) Full Text: DOI
Andréka, H.; Gyenis, Z.; Németi, I.; Sain, I. Logic families. arXiv:2311.00759 Preprint, arXiv:2311.00759 [math.LO] (2023). MSC: 03G27 03C95 03G30 03C05 03B10 03G15 BibTeX Cite \textit{H. Andréka} et al., ``Logic families'', Preprint, arXiv:2311.00759 [math.LO] (2023) Full Text: arXiv OA License
Chajda, Ivan; Länger, Helmut The intuitionistic-like logic based on a poset. arXiv:2308.11350 Preprint, arXiv:2308.11350 [math.LO] (2023). MSC: 06A11 06D15 06D20 03G25 03B22 BibTeX Cite \textit{I. Chajda} and \textit{H. Länger}, ``The intuitionistic-like logic based on a poset'', Preprint, arXiv:2308.11350 [math.LO] (2023) Full Text: arXiv OA License
Ciungu, Lavinia Corina Deductive systems in unital quantum-B algebras. (English) Zbl 07739235 Bull. Belg. Math. Soc. - Simon Stevin 29, No. 2, 173-191 (2022). MSC: 03G25 03G12 03G27 06A11 06F35 PDFBibTeX XMLCite \textit{L. C. Ciungu}, Bull. Belg. Math. Soc. - Simon Stevin 29, No. 2, 173--191 (2022; Zbl 07739235) Full Text: DOI
Lávička, Tomáš; Moraschini, Tommaso; Raftery, James G. The algebraic significance of weak excluded middle laws. (English) Zbl 1521.03255 Math. Log. Q. 68, No. 1, 79-94 (2022). MSC: 03G27 03B20 03B45 03B47 PDFBibTeX XMLCite \textit{T. Lávička} et al., Math. Log. Q. 68, No. 1, 79--94 (2022; Zbl 1521.03255) Full Text: DOI arXiv
Albuquerque, Hugo; Caleiro, Carlos An abstract algebraic logic study of da Costa’s logic \(\mathscr{C}_1\) and some of its paraconsistent extensions. (English) Zbl 07643022 Bull. Symb. Log. 28, No. 4, 477-528 (2022). MSC: 03B53 03G27 PDFBibTeX XMLCite \textit{H. Albuquerque} and \textit{C. Caleiro}, Bull. Symb. Log. 28, No. 4, 477--528 (2022; Zbl 07643022) Full Text: DOI
Moraschini, Tommaso On equational completeness Theorems. (English) Zbl 07620699 J. Symb. Log. 87, No. 4, 1522-1575 (2022). MSC: 03G27 08B05 03B55 03B45 03B47 PDFBibTeX XMLCite \textit{T. Moraschini}, J. Symb. Log. 87, No. 4, 1522--1575 (2022; Zbl 07620699) Full Text: DOI arXiv
Bonzio, Stefano; Baldi, Michele Pra Containment logics: algebraic counterparts and reduced models. (English) Zbl 07589716 J. Log. Comput. 32, No. 4, 808-831 (2022). MSC: 03G27 03G25 PDFBibTeX XMLCite \textit{S. Bonzio} and \textit{M. P. Baldi}, J. Log. Comput. 32, No. 4, 808--831 (2022; Zbl 07589716) Full Text: DOI
Han, Shengwei; Bao, Zhigang Locally unital quantum B-algebras. (English) Zbl 07559639 J. Algebra Appl. 21, No. 7, Article ID 2250129, 15 p. (2022). MSC: 03G12 06F07 03G25 03G27 PDFBibTeX XMLCite \textit{S. Han} and \textit{Z. Bao}, J. Algebra Appl. 21, No. 7, Article ID 2250129, 15 p. (2022; Zbl 07559639) Full Text: DOI
González, Luciano J. An alternative proof of the Hilbert-style axiomatization for the \(\{\wedge,\vee\}\)-fragment of classical propositional logic. (English) Zbl 07557514 Arch. Math. Logic 61, No. 5-6, 859-865 (2022). MSC: 03B05 03G10 03G27 PDFBibTeX XMLCite \textit{L. J. González}, Arch. Math. Logic 61, No. 5--6, 859--865 (2022; Zbl 07557514) Full Text: DOI
Bonzio, Stefano; Paoli, Francesco; Baldi, Michele Pra Logics of variable inclusion. (English) Zbl 07538920 Trends in Logic – Studia Logica Library 59. Cham: Springer (ISBN 978-3-031-04296-6/hbk; 978-3-031-04297-3/ebook). x, 221 p. (2022). MSC: 03-01 03G27 03G25 PDFBibTeX XMLCite \textit{S. Bonzio} et al., Logics of variable inclusion. Cham: Springer (2022; Zbl 07538920) Full Text: DOI
Coquand, Thierry; Huber, Simon; Sattler, Christian Canonicity and homotopy canonicity for cubical type theory. (English) Zbl 1486.03027 Log. Methods Comput. Sci. 18, No. 1, Paper No. 28, 35 p. (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03B38 03G30 55U35 PDFBibTeX XMLCite \textit{T. Coquand} et al., Log. Methods Comput. Sci. 18, No. 1, Paper No. 28, 35 p. (2022; Zbl 1486.03027) Full Text: arXiv Link
Garber, Jacob Beth definability in the logic KR. (English) Zbl 1487.03041 Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 213-224 (2022). Reviewer: Roger Maddux (Ames) MSC: 03B47 03G15 03G27 PDFBibTeX XMLCite \textit{J. Garber}, Outst. Contrib. Log. 22, 213--224 (2022; Zbl 1487.03041) Full Text: DOI arXiv
Fornasiere, Damiano; Moraschini, Tommaso Intuitionistic Sahlqvist theory for deductive systems. arXiv:2208.00691 Preprint, arXiv:2208.00691 [math.LO] (2022). MSC: 03G27 03B20 06D20 03B45 BibTeX Cite \textit{D. Fornasiere} and \textit{T. Moraschini}, ``Intuitionistic Sahlqvist theory for deductive systems'', Preprint, arXiv:2208.00691 [math.LO] (2022) Full Text: arXiv OA License
Weinberger, Jonathan Strict stability of extension types. arXiv:2203.07194 Preprint, arXiv:2203.07194 [math.CT] (2022). MSC: 03B38 03G30 18N45 18N50 18N60 55U35 BibTeX Cite \textit{J. Weinberger}, ``Strict stability of extension types'', Preprint, arXiv:2203.07194 [math.CT] (2022) Full Text: arXiv OA License
Albuquerque, Hugo The Suszko operator relative to truth-equational logics. (English) Zbl 1521.03254 Math. Log. Q. 67, No. 2, 226-240 (2021). MSC: 03G27 PDFBibTeX XMLCite \textit{H. Albuquerque}, Math. Log. Q. 67, No. 2, 226--240 (2021; Zbl 1521.03254) Full Text: DOI
Ahmed, Tarek Sayed Omitting types in fragments and extensions of first order logic. (English) Zbl 07682097 Bull. Sect. Log., Univ. Łódź, Dep. Log. 50, No. 3, 249-287 (2021). MSC: 03C68 03G27 PDFBibTeX XMLCite \textit{T. S. Ahmed}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 50, No. 3, 249--287 (2021; Zbl 07682097) Full Text: DOI
Angere, Staffan Identity and intensionality in univalent foundations and philosophy. (English) Zbl 1507.03008 Synthese 198, Suppl. 5, S1177-S1217 (2021). MSC: 03A05 03B38 55U35 00A30 PDFBibTeX XMLCite \textit{S. Angere}, Synthese 198, S1177--S1217 (2021; Zbl 1507.03008) Full Text: DOI
Bidlingmaier, Martin E.; Faissole, Florian; Spitters, Bas Synthetic topology in homotopy type theory for probabilistic programming. (English) Zbl 1517.68072 Math. Struct. Comput. Sci. 31, No. 10, 1301-1329 (2021). MSC: 68N19 03B38 03F60 06D22 18B25 18C20 18C50 18N45 28E15 55U35 68N30 68V20 PDFBibTeX XMLCite \textit{M. E. Bidlingmaier} et al., Math. Struct. Comput. Sci. 31, No. 10, 1301--1329 (2021; Zbl 1517.68072) Full Text: DOI arXiv
Licata, Dan (ed.); LeFanu Lumsdaine, Peter (ed.) Special issue on homotopy type theory 2019. (English) Zbl 1514.03007 Math. Struct. Comput. Sci. 31, No. 10, 1145-1146 (2021). MSC: 03-06 18-06 55-06 03B38 03G30 18N45 55U35 00B15 PDFBibTeX XMLCite \textit{D. Licata} (ed.) and \textit{P. LeFanu Lumsdaine} (ed.), Math. Struct. Comput. Sci. 31, No. 10, 1145--1146 (2021; Zbl 1514.03007) Full Text: DOI
Sterling, Jonathan; Harper, Robert Logical relations as types: proof-relevant parametricity for program modules. (English) Zbl 1499.68069 J. ACM 68, No. 6, Paper No. 41, 47 p. (2021). MSC: 68N30 03B70 18B25 68Q55 68Q65 PDFBibTeX XMLCite \textit{J. Sterling} and \textit{R. Harper}, J. ACM 68, No. 6, Paper No. 41, 47 p. (2021; Zbl 1499.68069) Full Text: DOI arXiv
Castiglioni, J. L.; Zuluaga Botero, W. J. Split exact sequences of finite MTL-chains. (English) Zbl 07473579 Rev. Unión Mat. Argent. 62, No. 2, 295-304 (2021). MSC: 03G27 06D99 PDFBibTeX XMLCite \textit{J. L. Castiglioni} and \textit{W. J. Zuluaga Botero}, Rev. Unión Mat. Argent. 62, No. 2, 295--304 (2021; Zbl 07473579) Full Text: DOI
Botta, Nicola; Brede, Nuria; Jansson, Patrik; Richter, Tim Extensional equality preservation and verified generic programming. (English) Zbl 1522.68119 J. Funct. Program. 31, Paper No. e24, 24 p. (2021). MSC: 68N18 03B38 03B70 18C20 68Q65 PDFBibTeX XMLCite \textit{N. Botta} et al., J. Funct. Program. 31, Paper No. e24, 24 p. (2021; Zbl 1522.68119) Full Text: DOI arXiv
Bonzio, Stefano; Pra Baldi, Michele Containment logics: algebraic completeness and axiomatization. (English) Zbl 1487.03080 Stud. Log. 109, No. 5, 969-994 (2021). Reviewer: Anna Romanowska (Warszawa) MSC: 03G27 03G25 PDFBibTeX XMLCite \textit{S. Bonzio} and \textit{M. Pra Baldi}, Stud. Log. 109, No. 5, 969--994 (2021; Zbl 1487.03080) Full Text: DOI arXiv Link
Han, Shengwei; Xu, Xiaoting A few notes on quantum \(B\)-algebras. (English) Zbl 1482.06002 Stud. Log. 109, No. 6, 1423-1440 (2021). Reviewer: Sergejs Solovjovs (Praha) MSC: 06F07 03G27 06A11 06F05 18F75 20N02 PDFBibTeX XMLCite \textit{S. Han} and \textit{X. Xu}, Stud. Log. 109, No. 6, 1423--1440 (2021; Zbl 1482.06002) Full Text: DOI
Fazio, D.; Ledda, A.; Paoli, F. Residuated structures and orthomodular lattices. (English) Zbl 1487.03074 Stud. Log. 109, No. 6, 1201-1239 (2021). Reviewer: Josef Tkadlec (Praha) MSC: 03G12 03D25 06C15 03G27 06B23 PDFBibTeX XMLCite \textit{D. Fazio} et al., Stud. Log. 109, No. 6, 1201--1239 (2021; Zbl 1487.03074) Full Text: DOI
Jansana, R.; Moraschini, T. The poset of all logics. I: Interpretations and lattice structure. (English) Zbl 1509.03177 J. Symb. Log. 86, No. 3, 935-964 (2021). MSC: 03G27 08B05 PDFBibTeX XMLCite \textit{R. Jansana} and \textit{T. Moraschini}, J. Symb. Log. 86, No. 3, 935--964 (2021; Zbl 1509.03177) Full Text: DOI arXiv
Paoli, Francesco; Pra Baldi, Michele Extensions of paraconsistent weak Kleene logic. (English) Zbl 1490.03017 Log. J. IGPL 29, No. 5, 798-822 (2021). Reviewer: Gemma Robles (León) MSC: 03B53 03G27 PDFBibTeX XMLCite \textit{F. Paoli} and \textit{M. Pra Baldi}, Log. J. IGPL 29, No. 5, 798--822 (2021; Zbl 1490.03017) Full Text: DOI
Fazio, D.; Pra Baldi, M. On a logico-algebraic approach to AGM belief contraction theory. (English) Zbl 07420138 J. Philos. Log. 50, No. 5, 911-938 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{D. Fazio} and \textit{M. Pra Baldi}, J. Philos. Log. 50, No. 5, 911--938 (2021; Zbl 07420138) Full Text: DOI
Geuvers, Herman; Jacobs, Bart Relating apartness and bisimulation. (English) Zbl 1525.68083 Log. Methods Comput. Sci. 17, No. 3, Paper No. 15, 35 p. (2021). MSC: 68Q85 03B70 18B05 68Q65 PDFBibTeX XMLCite \textit{H. Geuvers} and \textit{B. Jacobs}, Log. Methods Comput. Sci. 17, No. 3, Paper No. 15, 35 p. (2021; Zbl 1525.68083) Full Text: arXiv Link
Jansana, Ramon; Moraschini, Tommaso The poset of all logics. III: Finitely presentable logics. (English) Zbl 07383330 Stud. Log. 109, No. 3, 539-580 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{R. Jansana} and \textit{T. Moraschini}, Stud. Log. 109, No. 3, 539--580 (2021; Zbl 07383330) Full Text: DOI
Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore Matching logic explained. (English) Zbl 1518.68047 J. Log. Algebr. Methods Program. 120, Article ID 100638, 37 p. (2021). MSC: 68N30 03B70 68Q65 PDFBibTeX XMLCite \textit{X. Chen} et al., J. Log. Algebr. Methods Program. 120, Article ID 100638, 37 p. (2021; Zbl 1518.68047) Full Text: DOI Link
Bezem, Marc; Buchholtz, Ulrik; Grayson, Daniel R.; Shulman, Michael Construction of the circle in UniMath. (English) Zbl 07357172 J. Pure Appl. Algebra 225, No. 10, Article ID 106687, 21 p. (2021). MSC: 03B38 03B70 55U35 03G30 PDFBibTeX XMLCite \textit{M. Bezem} et al., J. Pure Appl. Algebra 225, No. 10, Article ID 106687, 21 p. (2021; Zbl 07357172) Full Text: DOI arXiv
Goubault, Éric; Ledent, Jérémy; Rajsbaum, Sergio A simplicial complex model for dynamic epistemic logic to study distributed task computability. (English) Zbl 1497.03032 Inf. Comput. 278, Article ID 104597, 22 p. (2021). Reviewer: Philippe Gaucher (Paris) MSC: 03B42 55U35 18N40 68M14 68Q85 PDFBibTeX XMLCite \textit{É. Goubault} et al., Inf. Comput. 278, Article ID 104597, 22 p. (2021; Zbl 1497.03032) Full Text: DOI arXiv Link
Caicedo, Xavier; Campercholi, Miguel; Kearnes, Keith A.; Terraf, Pedro Sánchez; Szendrei, Ágnes; Vaggione, Diego Every minimal dual discriminator variety is minimal as a quasivariety. (English) Zbl 1485.08005 Algebra Univers. 82, No. 2, Paper No. 36, 11 p. (2021). Reviewer: Ivan Chajda (Přerov) MSC: 08C15 03G27 PDFBibTeX XMLCite \textit{X. Caicedo} et al., Algebra Univers. 82, No. 2, Paper No. 36, 11 p. (2021; Zbl 1485.08005) Full Text: DOI
Přenosil, Adam De Morgan clones and four-valued logics. (English) Zbl 1473.03045 Algebra Univers. 82, No. 2, Paper No. 30, 42 p. (2021). Reviewer: Jānis Cīrulis (Riga) MSC: 03G27 03B50 03C05 03G10 PDFBibTeX XMLCite \textit{A. Přenosil}, Algebra Univers. 82, No. 2, Paper No. 30, 42 p. (2021; Zbl 1473.03045) Full Text: DOI arXiv
Rasekh, Nima Every elementary higher topos has a natural number object. (English) Zbl 1464.18006 Theory Appl. Categ. 37, 337-377 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 03G30 18N60 55U35 PDFBibTeX XMLCite \textit{N. Rasekh}, Theory Appl. Categ. 37, 337--377 (2021; Zbl 1464.18006) Full Text: arXiv Link
Droz, Jean-Marie; Zakharevich, Inna Extending to a model structure is not a first-order property. (English) Zbl 07319060 New York J. Math. 27, 319-348 (2021). MSC: 55U35 03B10 18B35 06A07 03C07 PDFBibTeX XMLCite \textit{J.-M. Droz} and \textit{I. Zakharevich}, New York J. Math. 27, 319--348 (2021; Zbl 07319060) Full Text: arXiv Link
Campion, Tim; Ye, Jinhe Homotopy types of abstract elementary classes. (English) Zbl 1498.03079 J. Pure Appl. Algebra 225, No. 5, Article ID 106461, 10 p. (2021). MSC: 03C48 03C52 03C75 18N40 55U35 PDFBibTeX XMLCite \textit{T. Campion} and \textit{J. Ye}, J. Pure Appl. Algebra 225, No. 5, Article ID 106461, 10 p. (2021; Zbl 1498.03079) Full Text: DOI arXiv
Bonzio, S.; Moraschini, T.; Pra Baldi, M. Logics of left variable inclusion and Płonka sums of matrices. (English) Zbl 1491.03088 Arch. Math. Logic 60, No. 1-2, 49-76 (2021). Reviewer: Alex Citkin (Warren) MSC: 03G27 03G25 PDFBibTeX XMLCite \textit{S. Bonzio} et al., Arch. Math. Logic 60, No. 1--2, 49--76 (2021; Zbl 1491.03088) Full Text: DOI arXiv
Přenosil, Adam Filter classes of upsets of distributive lattices. arXiv:2111.09806 Preprint, arXiv:2111.09806 [math.LO] (2021). MSC: 06D99 06E99 03G27 BibTeX Cite \textit{A. Přenosil}, ``Filter classes of upsets of distributive lattices'', Preprint, arXiv:2111.09806 [math.LO] (2021) Full Text: arXiv OA License
Ahrens, Benedikt; North, Paige Randall; Shulman, Michael; Tsementzis, Dimitris The Univalence Principle. arXiv:2102.06275 Preprint, arXiv:2102.06275 [math.CT] (2021). MSC: 18N99 03B38 03G30 55U35 BibTeX Cite \textit{B. Ahrens} et al., ``The Univalence Principle'', Preprint, arXiv:2102.06275 [math.CT] (2021) Full Text: arXiv OA License
Christensen, J. Daniel Non-accessible localizations. arXiv:2109.06670 Preprint, arXiv:2109.06670 [math.AT] (2021). MSC: 18N55 03B38 03G30 18N60 18E35 55P60 55U35 BibTeX Cite \textit{J. D. Christensen}, ``Non-accessible localizations'', Preprint, arXiv:2109.06670 [math.AT] (2021) Full Text: arXiv OA License
Arndt, Peter; Mariano, Hugo Luiz; Pinto, Darllan Conceição Congruence Filter Pairs, Adjoints and Leibniz Hierarchy. arXiv:2109.01065 Preprint, arXiv:2109.01065 [math.LO] (2021). MSC: 03G27 03G99 BibTeX Cite \textit{P. Arndt} et al., ``Congruence Filter Pairs, Adjoints and Leibniz Hierarchy'', Preprint, arXiv:2109.01065 [math.LO] (2021) Full Text: arXiv OA License
Marcelino, Sérgio; Rivieccio, Umberto Logics of involutive Stone algebras. arXiv:2102.05455 Preprint, arXiv:2102.05455 [math.LO] (2021). MSC: 03B50 03G10 03G27 03B35 BibTeX Cite \textit{S. Marcelino} and \textit{U. Rivieccio}, ``Logics of involutive Stone algebras'', Preprint, arXiv:2102.05455 [math.LO] (2021) Full Text: arXiv OA License
Lávička, Tomáš; Přenosil, Adam Semisimplicity, Glivenko theorems, and the excluded middle. arXiv:2101.03528 Preprint, arXiv:2101.03528 [math.LO] (2021). MSC: 03G27 03C05 06F05 BibTeX Cite \textit{T. Lávička} and \textit{A. Přenosil}, ``Semisimplicity, Glivenko theorems, and the excluded middle'', Preprint, arXiv:2101.03528 [math.LO] (2021) Full Text: arXiv OA License
Corfield, David Expressing ‘the structure of’ in homotopy type theory. (English) Zbl 1475.03022 Synthese 197, No. 2, 681-700 (2020). MSC: 03A05 03B38 55U35 PDFBibTeX XMLCite \textit{D. Corfield}, Synthese 197, No. 2, 681--700 (2020; Zbl 1475.03022) Full Text: DOI Backlinks: MO
Tsementzis, Dimitris A meaning explanation for HoTT. (English) Zbl 1475.03055 Synthese 197, No. 2, 651-680 (2020). MSC: 03A05 03B38 55U35 PDFBibTeX XMLCite \textit{D. Tsementzis}, Synthese 197, No. 2, 651--680 (2020; Zbl 1475.03055) Full Text: DOI Link
Přenosil, Adam Four-valued logics of truth, nonfalsity, exact truth, and material equivalence. (English) Zbl 1489.03007 Notre Dame J. Formal Logic 61, No. 4, 601-621 (2020). Reviewer: Ciro Russo (Salvador) MSC: 03B50 03B53 03G27 PDFBibTeX XMLCite \textit{A. Přenosil}, Notre Dame J. Formal Logic 61, No. 4, 601--621 (2020; Zbl 1489.03007) Full Text: DOI arXiv
Pra Baldi, Michele Logics of variable inclusion and the lattice of consequence relations. (English) Zbl 1486.03020 J. Appl. Non-Class. Log. 30, No. 4, 367-381 (2020). MSC: 03B22 03G27 03B50 PDFBibTeX XMLCite \textit{M. Pra Baldi}, J. Appl. Non-Class. Log. 30, No. 4, 367--381 (2020; Zbl 1486.03020) Full Text: DOI arXiv
Nowak, Marek Disjunctive and conjunctive multiple-conclusion consequence relations. (English) Zbl 1484.03015 Stud. Log. 108, No. 6, 1125-1143 (2020). MSC: 03B22 03G10 03G27 06A15 PDFBibTeX XMLCite \textit{M. Nowak}, Stud. Log. 108, No. 6, 1125--1143 (2020; Zbl 1484.03015) Full Text: DOI
Bezhanishvili, Nick; Enqvist, Sebastian; de Groot, Jim Duality for instantial neighbourhood logic via coalgebra. (English) Zbl 07314147 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 32-54 (2020). MSC: 68Q65 PDFBibTeX XMLCite \textit{N. Bezhanishvili} et al., Lect. Notes Comput. Sci. 12094, 32--54 (2020; Zbl 07314147) Full Text: DOI
Emmenegger, Jacopo The fullness axiom and exact completion of homotopy categories. (English. French summary) Zbl 1456.18007 Cah. Topol. Géom. Différ. Catég. 61, No. 4, 427-449 (2020). Reviewer: Willian Ribeiro (Coimbra) MSC: 18D15 18A35 18E08 55U35 18B15 18A15 18F60 PDFBibTeX XMLCite \textit{J. Emmenegger}, Cah. Topol. Géom. Différ. Catég. 61, No. 4, 427--449 (2020; Zbl 1456.18007) Full Text: arXiv Link
Miquel, Alexandre Implicative algebras: a new foundation for realizability and forcing. (English) Zbl 1498.03043 Math. Struct. Comput. Sci. 30, No. 5, 458-510 (2020). MSC: 03B40 03G30 03G27 03F03 06A12 03E40 PDFBibTeX XMLCite \textit{A. Miquel}, Math. Struct. Comput. Sci. 30, No. 5, 458--510 (2020; Zbl 1498.03043) Full Text: DOI arXiv
Bentzen, Bruno What types should not be. (English) Zbl 1451.03009 Philos. Math. (3) 28, No. 1, 60-76 (2020). MSC: 03A05 03B38 55U35 PDFBibTeX XMLCite \textit{B. Bentzen}, Philos. Math. (3) 28, No. 1, 60--76 (2020; Zbl 1451.03009) Full Text: DOI Link
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. On well-founded and recursive coalgebras. (English) Zbl 1455.18001 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, 17-36 (2020). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 18A15 18C50 68Q65 PDFBibTeX XMLCite \textit{J. Adámek} et al., Lect. Notes Comput. Sci. 12077, 17--36 (2020; Zbl 1455.18001) Full Text: DOI arXiv
Moraschini, T.; Wannenburg, J. J. Epimorphism surjectivity in varieties of Heyting algebras. (English) Zbl 1457.03055 Ann. Pure Appl. Logic 171, No. 9, Article ID 102824, 30 p. (2020). Reviewer: Alex Citkin (Warren) MSC: 03B55 06D20 18A20 06D50 03G27 03G10 PDFBibTeX XMLCite \textit{T. Moraschini} and \textit{J. J. Wannenburg}, Ann. Pure Appl. Logic 171, No. 9, Article ID 102824, 30 p. (2020; Zbl 1457.03055) Full Text: DOI arXiv
Chen, Wei On semiconic idempotent commutative residuated lattices. (English) Zbl 1481.06032 Algebra Univers. 81, No. 3, Paper No. 36, 23 p. (2020). MSC: 06F05 03G25 03G27 08C05 PDFBibTeX XMLCite \textit{W. Chen}, Algebra Univers. 81, No. 3, Paper No. 36, 23 p. (2020; Zbl 1481.06032) Full Text: DOI
Diaconescu, Răzvan Introducing \(H\), an institution-based formal specification and verification language. (English) Zbl 1484.68106 Log. Univers. 14, No. 2, 259-277 (2020). MSC: 68Q65 03B45 03C98 03G30 PDFBibTeX XMLCite \textit{R. Diaconescu}, Log. Univers. 14, No. 2, 259--277 (2020; Zbl 1484.68106) Full Text: DOI arXiv
van den Berg, Benno Univalent polymorphism. (English) Zbl 1440.18048 Ann. Pure Appl. Logic 171, No. 6, Article ID 102793, 29 p. (2020). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18N45 03B38 03F50 03G30 18C50 55U35 68Q55 PDFBibTeX XMLCite \textit{B. van den Berg}, Ann. Pure Appl. Logic 171, No. 6, Article ID 102793, 29 p. (2020; Zbl 1440.18048) Full Text: DOI arXiv
Moraschini, T.; Raftery, J. G.; Wannenburg, J. J. Epimorphisms, definability and cardinalities. (English) Zbl 1442.03036 Stud. Log. 108, No. 2, 255-275 (2020). Reviewer: James Monk (Boulder) MSC: 03G27 03B22 08A35 08C15 PDFBibTeX XMLCite \textit{T. Moraschini} et al., Stud. Log. 108, No. 2, 255--275 (2020; Zbl 1442.03036) Full Text: DOI arXiv
Rijke, Egbert; Shulman, Michael; Spitters, Bas Modalities in homotopy type theory. (English) Zbl 1489.03005 Log. Methods Comput. Sci. 16, No. 1, Paper No. 2, 79 p. (2020). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03B38 03B45 03G30 18N45 55U35 PDFBibTeX XMLCite \textit{E. Rijke} et al., Log. Methods Comput. Sci. 16, No. 1, Paper No. 2, 79 p. (2020; Zbl 1489.03005) Full Text: arXiv
Muravitsky, Alexei On Matrix Consequence (Extended Abstract). arXiv:2006.16226 Preprint, arXiv:2006.16226 [math.LO] (2020). MSC: 03G27 BibTeX Cite \textit{A. Muravitsky}, ``On Matrix Consequence (Extended Abstract)'', Preprint, arXiv:2006.16226 [math.LO] (2020) Full Text: arXiv OA License
Campercholi, Miguel; Castaño, Diego; Varela, José Patricio Díaz; Gispert, Joan Algebraic expansions of logics and algebras and a case study of Abelian l-groups and perfect MV-algebras. arXiv:2006.09572 Preprint, arXiv:2006.09572 [math.LO] (2020). MSC: 03G27 BibTeX Cite \textit{M. Campercholi} et al., ``Algebraic expansions of logics and algebras and a case study of Abelian l-groups and perfect MV-algebras'', Preprint, arXiv:2006.09572 [math.LO] (2020) Full Text: arXiv OA License
Rodin, Andrei Models of HoTT and the constructive view of theories. (English) Zbl 1528.03112 Centrone, Stefania (ed.) et al., Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18–23, 2016. Cham: Springer. Synth. Libr. 407, 191-219 (2019). MSC: 03B38 03A05 18N45 55U35 PDFBibTeX XMLCite \textit{A. Rodin}, Synth. Libr. 407, 191--219 (2019; Zbl 1528.03112) Full Text: DOI
Bordg, Anthony Univalent foundations and the unimath library. (English) Zbl 1528.03104 Centrone, Stefania (ed.) et al., Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18–23, 2016. Cham: Springer. Synth. Libr. 407, 173-189 (2019). MSC: 03B38 03G30 18N45 55U35 68V35 PDFBibTeX XMLCite \textit{A. Bordg}, Synth. Libr. 407, 173--189 (2019; Zbl 1528.03104) Full Text: DOI arXiv
Buchholtz, Ulrik Higher structures in homotopy type theory. (English) Zbl 1528.03105 Centrone, Stefania (ed.) et al., Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18–23, 2016. Cham: Springer. Synth. Libr. 407, 151-172 (2019). MSC: 03B38 03G30 18N45 55U35 PDFBibTeX XMLCite \textit{U. Buchholtz}, Synth. Libr. 407, 151--172 (2019; Zbl 1528.03105) Full Text: DOI arXiv
Ahrens, Benedikt; North, Paige Randall Univalent foundations and the equivalence principle. (English) Zbl 1528.03101 Centrone, Stefania (ed.) et al., Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18–23, 2016. Cham: Springer. Synth. Libr. 407, 137-150 (2019). MSC: 03B38 03G30 18N45 55U35 PDFBibTeX XMLCite \textit{B. Ahrens} and \textit{P. R. North}, Synth. Libr. 407, 137--150 (2019; Zbl 1528.03101) Full Text: DOI arXiv
Uemura, Taichi Cubical assemblies, a univalent and impredicative universe and a failure of propositional resizing. (English) Zbl 1528.03114 Dybjer, Peter (ed.) et al., 24th international conference on types for proofs and programs, TYPES 2018, Braga, Portugal, June 18–21, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 130, Article 7, 20 p. (2019). MSC: 03B38 03G30 18N40 55U35 PDFBibTeX XMLCite \textit{T. Uemura}, LIPIcs -- Leibniz Int. Proc. Inform. 130, Article 7, 20 p. (2019; Zbl 1528.03114) Full Text: DOI arXiv
Coquand, Thierry; Huber, Simon; Sattler, Christian Homotopy canonicity for cubical type theory. (English) Zbl 1528.03106 Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 11, 23 p. (2019). MSC: 03B38 03G30 55U35 PDFBibTeX XMLCite \textit{T. Coquand} et al., LIPIcs -- Leibniz Int. Proc. Inform. 131, Article 11, 23 p. (2019; Zbl 1528.03106) Full Text: DOI
Senturk, Ibrahim; Oner, Tahsin An algebraic analysis of categorical syllogisms by using Carroll’s diagrams. (English) Zbl 1499.03009 Filomat 33, No. 2, 367-383 (2019). MSC: 03B22 03G27 18B35 PDFBibTeX XMLCite \textit{I. Senturk} and \textit{T. Oner}, Filomat 33, No. 2, 367--383 (2019; Zbl 1499.03009) Full Text: DOI
Paoli, Francesco Bilattice logics and demi-negation. (English) Zbl 1469.03065 Omori, Hitoshi (ed.) et al., New essays on Belnap-Dunn logic. Cham: Springer. Synth. Libr. 418, 233-253 (2019). MSC: 03B50 03G25 03G27 PDFBibTeX XMLCite \textit{F. Paoli}, Synth. Libr. 418, 233--253 (2019; Zbl 1469.03065) Full Text: DOI
Ledda, Antonio; Paoli, Francesco; Pra Baldi, Michele Algebraic analysis of demodalised analytic implication. (English) Zbl 1457.03078 J. Philos. Log. 48, No. 6, 957-979 (2019). MSC: 03G27 03B47 PDFBibTeX XMLCite \textit{A. Ledda} et al., J. Philos. Log. 48, No. 6, 957--979 (2019; Zbl 1457.03078) Full Text: DOI
Ahmed, Tarek Sayed; Mahmoud, Mohammad Assem On the multi-dimensional modal logic of substitutions. (English) Zbl 1449.03001 Stud. Sci. Math. Hung. 56, No. 4, 454-481 (2019). Reviewer: Jānis Cīrulis (Riga) MSC: 03B45 03G15 03G25 03G27 PDFBibTeX XMLCite \textit{T. S. Ahmed} and \textit{M. A. Mahmoud}, Stud. Sci. Math. Hung. 56, No. 4, 454--481 (2019; Zbl 1449.03001) Full Text: DOI arXiv
Moraschini, Tommaso Varieties of positive modal algebras and structural completeness. (English) Zbl 07124573 Rev. Symb. Log. 12, No. 3, 557-588 (2019). MSC: 03B45 03G27 08B15 54F05 PDFBibTeX XMLCite \textit{T. Moraschini}, Rev. Symb. Log. 12, No. 3, 557--588 (2019; Zbl 07124573) Full Text: DOI arXiv
Ladyman, James; Presnell, Stuart Universes and univalence in homotopy type theory. (English) Zbl 07124569 Rev. Symb. Log. 12, No. 3, 426-455 (2019). MSC: 03A05 03B38 18N40 55U35 00A30 PDFBibTeX XMLCite \textit{J. Ladyman} and \textit{S. Presnell}, Rev. Symb. Log. 12, No. 3, 426--455 (2019; Zbl 07124569) Full Text: DOI
Magee, Michael; Puder, Doron Matrix group integrals, surfaces, and mapping class groups. I. \(\mathrm{U}(\mathrm{n})\). (English) Zbl 1484.60005 Invent. Math. 218, No. 2, 341-411 (2019). Reviewer: Uzi Vishne (Ramat Gan) MSC: 60B20 15B52 60B15 20F10 05C25 PDFBibTeX XMLCite \textit{M. Magee} and \textit{D. Puder}, Invent. Math. 218, No. 2, 341--411 (2019; Zbl 1484.60005) Full Text: DOI arXiv
Henry, Simon An abstract elementary class nonaxiomatizable in \(L_{\infty ,\kappa}\). (English) Zbl 1429.18004 J. Symb. Log. 84, No. 3, 1240-1251 (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C35 18C10 03G30 03C48 PDFBibTeX XMLCite \textit{S. Henry}, J. Symb. Log. 84, No. 3, 1240--1251 (2019; Zbl 1429.18004) Full Text: DOI arXiv
Moraschini, Tommaso; Raftery, James G. On prevarieties of logic. (English) Zbl 07104203 Algebra Univers. 80, No. 3, Paper No. 37, 11 p. (2019). MSC: 03G27 08B05 08C15 PDFBibTeX XMLCite \textit{T. Moraschini} and \textit{J. G. Raftery}, Algebra Univers. 80, No. 3, Paper No. 37, 11 p. (2019; Zbl 07104203) Full Text: DOI arXiv
Pous, Damien; Rot, Jurriaan Companions, causality and codensity. (English) Zbl 1442.68150 Log. Methods Comput. Sci. 15, No. 3, Paper No. 14, 36 p. (2019). MSC: 68Q85 03B70 06B23 08A70 18C15 68Q65 PDFBibTeX XMLCite \textit{D. Pous} and \textit{J. Rot}, Log. Methods Comput. Sci. 15, No. 3, Paper No. 14, 36 p. (2019; Zbl 1442.68150) Full Text: arXiv
González, Luciano J. A relational semantics for the logic of bounded lattices. (English) Zbl 1467.03033 Math. Bohem. 144, No. 3, 225-240 (2019). Reviewer: Ciro Russo (Salvador) MSC: 03G10 03G27 06B15 PDFBibTeX XMLCite \textit{L. J. González}, Math. Bohem. 144, No. 3, 225--240 (2019; Zbl 1467.03033) Full Text: DOI
Lopez, Pombo Carlos G.; Castro, Pablo F.; Aguirre, Nazareno M.; Maibaum, Thomas S. E. Satisfiability calculus: an abstract formulation of semantic proof systems. (English) Zbl 1446.03112 Fundam. Inform. 166, No. 4, 297-347 (2019). MSC: 03G30 68Q65 PDFBibTeX XMLCite \textit{P. C. G. Lopez} et al., Fundam. Inform. 166, No. 4, 297--347 (2019; Zbl 1446.03112) Full Text: DOI
Bordg, Anthony On a model invariance problem in homotopy type theory. (English) Zbl 1428.18043 Appl. Categ. Struct. 27, No. 3, 311-322 (2019). MSC: 18N45 03B38 03G30 55U35 18N40 PDFBibTeX XMLCite \textit{A. Bordg}, Appl. Categ. Struct. 27, No. 3, 311--322 (2019; Zbl 1428.18043) Full Text: DOI arXiv
Cintula, Petr; Gil-Férez, José; Moraschini, Tommaso; Paoli, Francesco An abstract approach to consequence relations. (English) Zbl 1445.03076 Rev. Symb. Log. 12, No. 2, 331-371 (2019). Reviewer: Miklós Ferenczi (Budapest) MSC: 03G27 03B22 06F05 PDFBibTeX XMLCite \textit{P. Cintula} et al., Rev. Symb. Log. 12, No. 2, 331--371 (2019; Zbl 1445.03076) Full Text: DOI arXiv
Moraschini, Tommaso On the complexity of the Leibniz hierarchy. (English) Zbl 07049925 Ann. Pure Appl. Logic 170, No. 7, 805-824 (2019). MSC: 03G27 03D15 08B05 PDFBibTeX XMLCite \textit{T. Moraschini}, Ann. Pure Appl. Logic 170, No. 7, 805--824 (2019; Zbl 07049925) Full Text: DOI arXiv
Frumin, Dan; van den Berg, Benno A homotopy-theoretic model of function extensionality in the effective topos. (English) Zbl 1422.18005 Math. Struct. Comput. Sci. 29, No. 4, 588-614 (2019). Reviewer: Alexander Vauth (Lübbecke) MSC: 18B25 03B15 55U35 PDFBibTeX XMLCite \textit{D. Frumin} and \textit{B. van den Berg}, Math. Struct. Comput. Sci. 29, No. 4, 588--614 (2019; Zbl 1422.18005) Full Text: DOI arXiv
González, Luciano J. Selfextensional logics with a distributive nearlattice term. (English) Zbl 1506.03129 Arch. Math. Logic 58, No. 1-2, 219-243 (2019). MSC: 03G27 03B22 03G25 06A12 PDFBibTeX XMLCite \textit{L. J. González}, Arch. Math. Logic 58, No. 1--2, 219--243 (2019; Zbl 1506.03129) Full Text: DOI arXiv
Orton, Ian; Pitts, Andrew M. Models of type theory based on Moore paths. (English) Zbl 1509.03055 Log. Methods Comput. Sci. 15, No. 1, Paper No. 2, 24 p. (2019). MSC: 03B38 03G30 18B25 55U35 PDFBibTeX XMLCite \textit{I. Orton} and \textit{A. M. Pitts}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 2, 24 p. (2019; Zbl 1509.03055) Full Text: DOI arXiv