Schneider, Jakob; Thom, Andreas Word maps with constants on symmetric groups. (English) Zbl 07794281 Math. Nachr. 297, No. 1, 165-173 (2024). Reviewer: Egle Bettio (Venezia) MSC: 20D06 20F69 20F10 PDFBibTeX XMLCite \textit{J. Schneider} and \textit{A. Thom}, Math. Nachr. 297, No. 1, 165--173 (2024; Zbl 07794281) Full Text: DOI arXiv OA License
Wannenburg, J. J.; Raftery, J. G. Semilinear De Morgan monoids and epimorphisms. (English) Zbl 07793254 Algebra Univers. 85, No. 1, Paper No. 10, 34 p. (2024). MSC: 03B47 03G25 06F05 PDFBibTeX XMLCite \textit{J. J. Wannenburg} and \textit{J. G. Raftery}, Algebra Univers. 85, No. 1, Paper No. 10, 34 p. (2024; Zbl 07793254) Full Text: DOI arXiv
Dorantes-Aldama, A. A point-picking game. (English) Zbl 07792385 Topology Appl. 341, Article ID 108753, 9 p. (2024). MSC: 54D99 91A44 PDFBibTeX XMLCite \textit{A. Dorantes-Aldama}, Topology Appl. 341, Article ID 108753, 9 p. (2024; Zbl 07792385) Full Text: DOI
Tripathi, Sandeep; Shrivastava, Ashish; Jana, Kartick C. Chimp optimization-based fuzzy controller for hybrid electric vehicle speed control using electronic throttle plate. (English) Zbl 07791493 Optim. Control Appl. Methods 45, No. 1, 163-184 (2024). MSC: 93C42 93B52 90C59 PDFBibTeX XMLCite \textit{S. Tripathi} et al., Optim. Control Appl. Methods 45, No. 1, 163--184 (2024; Zbl 07791493) Full Text: DOI
Hu, Bao Qing; Yiu, Ka-fai Cedric A bipolar-valued fuzzy set is an intersected interval-valued fuzzy set. (English) Zbl 07791116 Inf. Sci. 657, Article ID 119980, 24 p. (2024). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{B. Q. Hu} and \textit{K.-f. C. Yiu}, Inf. Sci. 657, Article ID 119980, 24 p. (2024; Zbl 07791116) Full Text: DOI
Boffa, Stefania; Campagner, Andrea; Ciucci, Davide Partially-defined equivalence relations: relationship with orthopartitions and connection to rough sets. (English) Zbl 07791086 Inf. Sci. 657, Article ID 119941, 30 p. (2024). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{S. Boffa} et al., Inf. Sci. 657, Article ID 119941, 30 p. (2024; Zbl 07791086) Full Text: DOI
Wcisło, Bartosz Compositional truth with propositional tautologies and quantifier-free correctness. (English) Zbl 07790940 Arch. Math. Logic 63, No. 1-2, 239-257 (2024). MSC: 03H15 03C62 03F30 03A05 03B30 PDFBibTeX XMLCite \textit{B. Wcisło}, Arch. Math. Logic 63, No. 1--2, 239--257 (2024; Zbl 07790940) Full Text: DOI arXiv OA License
Pulcini, Gabriele Cut elimination by unthreading. (English) Zbl 07790938 Arch. Math. Logic 63, No. 1-2, 211-223 (2024). MSC: 03F03 03F05 03F07 PDFBibTeX XMLCite \textit{G. Pulcini}, Arch. Math. Logic 63, No. 1--2, 211--223 (2024; Zbl 07790938) Full Text: DOI OA License
Sobota, Damian; Zdomskyy, Lyubomyr Convergence of measures after adding a real. (English) Zbl 07790934 Arch. Math. Logic 63, No. 1-2, 135-162 (2024). MSC: 03E40 28A33 46E15 03E17 03E75 28E15 PDFBibTeX XMLCite \textit{D. Sobota} and \textit{L. Zdomskyy}, Arch. Math. Logic 63, No. 1--2, 135--162 (2024; Zbl 07790934) Full Text: DOI arXiv OA License
Iwata, Sohei; Kurahashi, Taishi; Okawa, Yuya The fixed point and the Craig interpolation properties for sublogics of IL. (English) Zbl 07790929 Arch. Math. Logic 63, No. 1-2, 1-37 (2024). MSC: 03B45 03F45 PDFBibTeX XMLCite \textit{S. Iwata} et al., Arch. Math. Logic 63, No. 1--2, 1--37 (2024; Zbl 07790929) Full Text: DOI arXiv OA License
Guha, Shibashis; Jecker, Ismaël; Lehtinen, Karoliina; Zimmermann, Martin A bit of nondeterminism makes pushdown automata expressive and succinct. (English) Zbl 07789014 Log. Methods Comput. Sci. 20, No. 1, Paper No. 3, 39 p. (2024). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{S. Guha} et al., Log. Methods Comput. Sci. 20, No. 1, Paper No. 3, 39 p. (2024; Zbl 07789014) Full Text: DOI arXiv
Ghosh, Bineet; André, Étienne Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model. (English) Zbl 07789013 Log. Methods Comput. Sci. 20, No. 1, Paper No. 2, 33 p. (2024). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{B. Ghosh} and \textit{É. André}, Log. Methods Comput. Sci. 20, No. 1, Paper No. 2, 33 p. (2024; Zbl 07789013) Full Text: DOI arXiv
Dantchev, Stefan; Galesi, Nicola; Ghani, Abdul; Martin, Barnaby Depth lower bounds in Stabbing Planes for combinatorial principles. (English) Zbl 07789012 Log. Methods Comput. Sci. 20, No. 1, Paper No. 1, 19 p. (2024). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{S. Dantchev} et al., Log. Methods Comput. Sci. 20, No. 1, Paper No. 1, 19 p. (2024; Zbl 07789012) Full Text: DOI arXiv
Shallit, Jeffrey Rarefied Thue-Morse sums via automata theory and logic. (English) Zbl 07786318 J. Number Theory 257, 98-111 (2024). Reviewer: Michel Rigo (Liège) MSC: 11B85 11A63 PDFBibTeX XMLCite \textit{J. Shallit}, J. Number Theory 257, 98--111 (2024; Zbl 07786318) Full Text: DOI arXiv
Bradford, Henry Quantifying lawlessness in finitely generated groups. (English) Zbl 07786266 J. Group Theory 27, No. 1, 31-59 (2024). Reviewer: Enrico Jabara (Venezia) MSC: 20F05 20F10 20F69 PDFBibTeX XMLCite \textit{H. Bradford}, J. Group Theory 27, No. 1, 31--59 (2024; Zbl 07786266) Full Text: DOI arXiv
Delgado, Jordi; Ventura, Enric; Zakharov, Alexander Relative order and spectrum in free and related groups. (English) Zbl 07786180 Commun. Contemp. Math. 26, No. 1, Article ID 2250066, 50 p. (2024). Reviewer: Martyn Dixon (Tuscaloosa) MSC: 20F10 PDFBibTeX XMLCite \textit{J. Delgado} et al., Commun. Contemp. Math. 26, No. 1, Article ID 2250066, 50 p. (2024; Zbl 07786180) Full Text: DOI arXiv
Gima, Tatsuya; Otachi, Yota Extended MSO model checking via small vertex integrity. (English) Zbl 07785278 Algorithmica 86, No. 1, 147-170 (2024). MSC: 68Wxx 05Cxx PDFBibTeX XMLCite \textit{T. Gima} and \textit{Y. Otachi}, Algorithmica 86, No. 1, 147--170 (2024; Zbl 07785278) Full Text: DOI arXiv
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
Maschio, Samuele; Trotta, Davide On categorical structures arising from implicative algebras: from topology to assemblies. (English) Zbl 07785163 Ann. Pure Appl. Logic 175, No. 3, Article ID 103390, 41 p. (2024). MSC: 03G30 03B40 18B25 06D22 18C10 PDFBibTeX XMLCite \textit{S. Maschio} and \textit{D. Trotta}, Ann. Pure Appl. Logic 175, No. 3, Article ID 103390, 41 p. (2024; Zbl 07785163) Full Text: DOI arXiv
Fussner, Wesley; Metcalfe, George Transfer theorems for finitely subdirectly irreducible algebras. (English) Zbl 07783365 J. Algebra 640, 1-20 (2024). MSC: 08Bxx 06Dxx 03Gxx PDFBibTeX XMLCite \textit{W. Fussner} and \textit{G. Metcalfe}, J. Algebra 640, 1--20 (2024; Zbl 07783365) Full Text: DOI arXiv
Hartonas, Chrysafis Choice-free topological duality for implicative lattices and Heyting algebras. (English) Zbl 07783200 Algebra Univers. 85, No. 1, Paper No. 3, 29 p. (2024). MSC: 06D50 06B15 06B23 03B47 PDFBibTeX XMLCite \textit{C. Hartonas}, Algebra Univers. 85, No. 1, Paper No. 3, 29 p. (2024; Zbl 07783200) Full Text: DOI arXiv
Mayr, Peter Vaughan-Lee’s nilpotent loop of size 12 is finitely based. (English) Zbl 07783199 Algebra Univers. 85, No. 1, Paper No. 2, 12 p. (2024). MSC: 08B05 20N05 08A40 PDFBibTeX XMLCite \textit{P. Mayr}, Algebra Univers. 85, No. 1, Paper No. 2, 12 p. (2024; Zbl 07783199) Full Text: DOI arXiv
Mares, Edwin The logic of entailment and its history. (English) Zbl 07782960 Cambridge: Cambridge University Press (ISBN 978-1-00-937531-3/hbk; 978-1-00-937528-3/ebook). xvi, 264 p. (2024). MSC: 03-01 03-03 PDFBibTeX XMLCite \textit{E. Mares}, The logic of entailment and its history. Cambridge: Cambridge University Press (2024; Zbl 07782960) Full Text: DOI
Tayebi Khorami, Reza On inverse limit of a projective system of BL-algebras. (English) Zbl 07780387 J. Algebr. Syst. 12, No. 1, 123-133 (2024). MSC: 06D35 03G25 PDFBibTeX XMLCite \textit{R. Tayebi Khorami}, J. Algebr. Syst. 12, No. 1, 123--133 (2024; Zbl 07780387) Full Text: DOI
Mukkamala, Sambasiva Rao Derivations of prime filter theorems generated by various \(\cap\)-structures in transitive GE-algebras. (English) Zbl 07780383 J. Algebr. Syst. 12, No. 1, 59-78 (2024). MSC: 06F35 03G25 PDFBibTeX XMLCite \textit{S. R. Mukkamala}, J. Algebr. Syst. 12, No. 1, 59--78 (2024; Zbl 07780383) Full Text: DOI
Bandaru, Ravikumar; Öztürk, Mehmet Ali; Jun, Young Bae Bordered GE-algebras. (English) Zbl 07780382 J. Algebr. Syst. 12, No. 1, 43-58 (2024). MSC: 06F35 03G25 PDFBibTeX XMLCite \textit{R. Bandaru} et al., J. Algebr. Syst. 12, No. 1, 43--58 (2024; Zbl 07780382) Full Text: DOI
Mohseni Takallo, Mohammad; Aaly Kologani, Mona; Jun, Young Bae; Borzooei, Rajab Ali Łukasiewicz fuzzy filters in hoops. (English) Zbl 07780380 J. Algebr. Syst. 12, No. 1, 1-20 (2024). MSC: 03G25 06F05 PDFBibTeX XMLCite \textit{M. Mohseni Takallo} et al., J. Algebr. Syst. 12, No. 1, 1--20 (2024; Zbl 07780380) Full Text: DOI
Borzooei, Rajab Ali; Mohseni, Takallo Mohammad; Aaly, Kologani Mona; Jun, Young Bae Quotient structures in equality algebras. (English) Zbl 07780372 J. Algebr. Syst. 11, No. 2, 65-82 (2024). MSC: 03G25 06B10 06B99 PDFBibTeX XMLCite \textit{R. A. Borzooei} et al., J. Algebr. Syst. 11, No. 2, 65--82 (2024; Zbl 07780372) Full Text: DOI
van Gool, Sam; Marquès, Jérémie On duality and model theory for polyadic spaces. (English) Zbl 07780214 Ann. Pure Appl. Logic 175, No. 2, Article ID 103388, 50 p. (2024). MSC: 03G30 06E15 03B10 03B20 03C40 PDFBibTeX XMLCite \textit{S. van Gool} and \textit{J. Marquès}, Ann. Pure Appl. Logic 175, No. 2, Article ID 103388, 50 p. (2024; Zbl 07780214) Full Text: DOI arXiv
Delon, Françoise; Mourgues, Marie-Hélène Classification of \(\aleph_0\)-categorical \(C\)-minimal pure \(C\)-sets. (English) Zbl 07780210 Ann. Pure Appl. Logic 175, No. 2, Article ID 103375, 44 p. (2024). MSC: 03-XX PDFBibTeX XMLCite \textit{F. Delon} and \textit{M.-H. Mourgues}, Ann. Pure Appl. Logic 175, No. 2, Article ID 103375, 44 p. (2024; Zbl 07780210) Full Text: DOI arXiv
Bezhanishvili, Nick; Dmitrieva, Anna; de Groot, Jim; Moraschini, Tommaso Positive modal logic beyond distributivity. (English) Zbl 07780209 Ann. Pure Appl. Logic 175, No. 2, Article ID 103374, 36 p. (2024). MSC: 03B45 03G10 06B15 06D50 PDFBibTeX XMLCite \textit{N. Bezhanishvili} et al., Ann. Pure Appl. Logic 175, No. 2, Article ID 103374, 36 p. (2024; Zbl 07780209) Full Text: DOI arXiv
Corregidor, Samuel G.; Martínez-Pérez, Álvaro Vertex separators, chordality and virtually free groups. (English) Zbl 07778384 J. Algebra Appl. 23, No. 2, Article ID 2450029, 23 p. (2024). Reviewer: Egle Bettio (Venezia) MSC: 20F65 20F10 05C25 PDFBibTeX XMLCite \textit{S. G. Corregidor} and \textit{Á. Martínez-Pérez}, J. Algebra Appl. 23, No. 2, Article ID 2450029, 23 p. (2024; Zbl 07778384) Full Text: DOI arXiv
Hakami, Ali H.; Ansari, Moin A.; Haider, Azeem On some graphs based on the ideals of KU-algebras. (English) Zbl 07774206 Int. J. Math. Comput. Sci. 19, No. 2, 381-394 (2024). MSC: 06F35 03G25 PDFBibTeX XMLCite \textit{A. H. Hakami} et al., Int. J. Math. Comput. Sci. 19, No. 2, 381--394 (2024; Zbl 07774206) Full Text: Link
Klyachko, Anton A.; Mikheenko, Mikhail A.; Roman’kov, Vitaly A. Equations over solvable groups. (English) Zbl 1527.20072 J. Algebra 638, 739-750 (2024). Reviewer: Enrico Jabara (Venezia) MSC: 20F70 20F10 20E10 20F16 16S34 PDFBibTeX XMLCite \textit{A. A. Klyachko} et al., J. Algebra 638, 739--750 (2024; Zbl 1527.20072) Full Text: DOI arXiv
Forbes, M. A.; Harris, M. G.; Jansen, H. M.; van der Schoot, F. A.; Taimre, T. Combining optimisation and simulation using logic-based Benders decomposition. (English) Zbl 07765824 Eur. J. Oper. Res. 312, No. 3, 840-854 (2024). MSC: 90Bxx PDFBibTeX XMLCite \textit{M. A. Forbes} et al., Eur. J. Oper. Res. 312, No. 3, 840--854 (2024; Zbl 07765824) Full Text: DOI arXiv
Schaffernicht, Martin FG.; Groesser, Stefan N. Mental models of dynamic systems are different: adjusting for heterogeneous granularity. (English) Zbl 07764650 Eur. J. Oper. Res. 312, No. 2, 653-667 (2024). MSC: 90Bxx PDFBibTeX XMLCite \textit{M. FG. Schaffernicht} and \textit{S. N. Groesser}, Eur. J. Oper. Res. 312, No. 2, 653--667 (2024; Zbl 07764650) Full Text: DOI
Jebadass, J. Reegan; Balasubramaniam, P. Color image enhancement technique based on interval-valued intuitionistic fuzzy set. (English) Zbl 07764404 Inf. Sci. 653, Article ID 119811, 13 p. (2024). MSC: 68U10 94D05 94A08 PDFBibTeX XMLCite \textit{J. R. Jebadass} and \textit{P. Balasubramaniam}, Inf. Sci. 653, Article ID 119811, 13 p. (2024; Zbl 07764404) Full Text: DOI
Mesiarová-Zemánková, Andrea Uninorms internal on one or more non-trivial cuts. (English) Zbl 07764393 Inf. Sci. 653, Article ID 119793, 26 p. (2024). MSC: 03-XX 11-XX PDFBibTeX XMLCite \textit{A. Mesiarová-Zemánková}, Inf. Sci. 653, Article ID 119793, 26 p. (2024; Zbl 07764393) Full Text: DOI
Khoury, Joseph A tale of discrete mathematics. A journey through logic, reasoning, structures and graph theory (to appear). (English) Zbl 07762583 Singapore: World Scientific (ISBN 978-981-12-8578-3/hbk). (2024). MSC: 05-01 03-01 05Cxx PDFBibTeX XML Full Text: DOI
Pillay, Anand Topics in model theory (to appear). (English) Zbl 07762579 Singapore: World Scientific (ISBN 978-981-12-4380-6/hbk; 978-981-12-4399-8/pbk). (2024). MSC: 03-02 03Cxx PDFBibTeX XML Full Text: DOI
Baumgarten, Bernd Discrete mathematics compact. From logic and set theory to numbers, algebra, graphs and probability (to appear). 2nd edition. (Diskrete Mathematik kompakt. Von Logik und Mengenlehre bis Zahlen, Algebra, Graphen und Wahrscheinlichkeit.) (German) Zbl 07762366 De Gruyter Graduate. Berlin: De Gruyter (ISBN 978-3-11-133572-8/pbk; 978-3-11-133610-7/ebook). (2024). MSC: 05-01 03-01 03Exx 05Cxx 97Fxx 97Kxx PDFBibTeX XML
Battista, Ludovico; Francaviglia, Stefano; Moraschini, Marco; Sarti, Filippo; Savini, Alessio Bounded cohomology classes of exact forms. (English) Zbl 07757732 Proc. Am. Math. Soc. 152, No. 1, 71-80 (2024). Reviewer: Marek Golasiński (Olsztyn) MSC: 18G90 20F10 PDFBibTeX XMLCite \textit{L. Battista} et al., Proc. Am. Math. Soc. 152, No. 1, 71--80 (2024; Zbl 07757732) Full Text: DOI arXiv
Gusfield, Dan Proven impossible. Elementary proofs of profound impossibility from Arrow, Bell, Chaitin, Gödel, Turing and more. (English) Zbl 07756482 Cambridge: Cambridge University Press (ISBN 978-1-00-934949-9/pbk; 978-1-00-934950-5/hbk; 978-1-00-934945-1/ebook). xiv, 254 p. (2024). MSC: 00A08 03-01 PDFBibTeX XMLCite \textit{D. Gusfield}, Proven impossible. Elementary proofs of profound impossibility from Arrow, Bell, Chaitin, Gödel, Turing and more. Cambridge: Cambridge University Press (2024; Zbl 07756482) Full Text: DOI
Chacón-Gómez, Fernando; Cornejo, M. Eugenia; Medina, Jesús; Ramírez-Poussa, Eloísa Rough set decision algorithms for modeling with uncertainty. (English) Zbl 07750608 J. Comput. Appl. Math. 437, Article ID 115413, 23 p. (2024). MSC: 68T30 68T37 68N17 03E72 06A15 PDFBibTeX XMLCite \textit{F. Chacón-Gómez} et al., J. Comput. Appl. Math. 437, Article ID 115413, 23 p. (2024; Zbl 07750608) Full Text: DOI
Scarani, Valerio Bell nonlocality. Reprint of the 2009 hardback edition. (English) Zbl 07749742 Oxford Graduate Texts. Oxford: Oxford University Press (ISBN 978-0-19-889682-1/pbk; 978-0-19-183032-7/ebook). xiii, 224 p. (2024). MSC: 81-02 81P10 81P15 81P40 PDFBibTeX XMLCite \textit{V. Scarani}, Bell nonlocality. Reprint of the 2009 hardback edition. Oxford: Oxford University Press (2024; Zbl 07749742) Full Text: DOI
ten Cate, Balder; Funk, Maurice; Jung, Jean Christoph; Lutz, Carsten On the non-efficient PAC learnability of conjunctive queries. (English) Zbl 07749692 Inf. Process. Lett. 183, Article ID 106431, 11 p. (2024). MSC: 68Q32 68N17 68P15 PDFBibTeX XMLCite \textit{B. ten Cate} et al., Inf. Process. Lett. 183, Article ID 106431, 11 p. (2024; Zbl 07749692) Full Text: DOI arXiv
Nies, André; Stephan, Frank Word automatic groups of nilpotency class 2. (English) Zbl 07749687 Inf. Process. Lett. 183, Article ID 106426, 7 p. (2024). MSC: 20F10 20F18 68Q70 PDFBibTeX XMLCite \textit{A. Nies} and \textit{F. Stephan}, Inf. Process. Lett. 183, Article ID 106426, 7 p. (2024; Zbl 07749687) Full Text: DOI arXiv
Dorr, Cian; Hawthorne, John; Yli-Vakkuri, Juhani The bounds of possibility. Puzzles of modal variation (to appear). Reprint of the 2021 hardback edition. (English) Zbl 07749100 Oxford: Oxford University Press (ISBN 978-0-19-891077-0/pbk). x, 436 p. (2024). MSC: 03-02 03A05 03B45 PDFBibTeX XMLCite \textit{C. Dorr} et al., The bounds of possibility. Puzzles of modal variation (to appear). Reprint of the 2021 hardback edition. Oxford: Oxford University Press (2024; Zbl 07749100)
Cotnoir, A. J.; Varzi, Achille C. Mereology. Reprint of the 2021 hardback edition. (English) Zbl 07748856 Oxford: Oxford University Press (ISBN 978-0-19-890893-7/pbk). xvi, 405 p. (2024). MSC: 03-01 03A05 PDFBibTeX XMLCite \textit{A. J. Cotnoir} and \textit{A. C. Varzi}, Mereology. Reprint of the 2021 hardback edition. Oxford: Oxford University Press (2024; Zbl 07748856) Full Text: DOI
Gorbunov, Igor; Shkatov, Dmitry Extensions of Solovay’s system \(\mathbf{S}\) without independent sets of axioms. (English) Zbl 07748769 Ann. Pure Appl. Logic 175, No. 1, Article ID 103360, 23 p. (2024). MSC: 03B45 03B22 03F45 03F07 PDFBibTeX XMLCite \textit{I. Gorbunov} and \textit{D. Shkatov}, Ann. Pure Appl. Logic 175, No. 1, Article ID 103360, 23 p. (2024; Zbl 07748769) Full Text: DOI
Ya’ar, Ur Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers. (English) Zbl 07748767 Ann. Pure Appl. Logic 175, No. 1, Article ID 103358, 10 p. (2024). MSC: 03E45 03E47 03E55 03E57 PDFBibTeX XMLCite \textit{U. Ya'ar}, Ann. Pure Appl. Logic 175, No. 1, Article ID 103358, 10 p. (2024; Zbl 07748767) Full Text: DOI arXiv
Weiss, Tomasz; Zakrzewski, Piotr On countably perfectly meager and countably perfectly null sets. (English) Zbl 07748766 Ann. Pure Appl. Logic 175, No. 1, Article ID 103357, 9 p. (2024). MSC: 03E20 03E15 54E52 28E15 PDFBibTeX XMLCite \textit{T. Weiss} and \textit{P. Zakrzewski}, Ann. Pure Appl. Logic 175, No. 1, Article ID 103357, 9 p. (2024; Zbl 07748766) Full Text: DOI arXiv
Bufetov, Alexander I.; Nivasch, Gabriel; Pakhomov, Fedor Generalized fusible numbers and their ordinals. (English) Zbl 07748764 Ann. Pure Appl. Logic 175, No. 1, Article ID 103355, 25 p. (2024). MSC: 03F15 03D60 03B70 PDFBibTeX XMLCite \textit{A. I. Bufetov} et al., Ann. Pure Appl. Logic 175, No. 1, Article ID 103355, 25 p. (2024; Zbl 07748764) Full Text: DOI arXiv
Raghavan, Dilip (ed.) Editorial. (English) Zbl 07748761 Ann. Pure Appl. Logic 175, No. 1, Article ID 103343, 1 p. (2024). MSC: 00Bxx 03-XX PDFBibTeX XMLCite \textit{D. Raghavan} (ed.), Ann. Pure Appl. Logic 175, No. 1, Article ID 103343, 1 p. (2024; Zbl 07748761) Full Text: DOI
Santiago Suárez, Juan M.; Viale, Matteo Boolean valued semantics for infinitary logics. (English) Zbl 07748759 Ann. Pure Appl. Logic 175, No. 1, Article ID 103333, 37 p. (2024). MSC: 03C75 03E40 03E75 03C40 PDFBibTeX XMLCite \textit{J. M. Santiago Suárez} and \textit{M. Viale}, Ann. Pure Appl. Logic 175, No. 1, Article ID 103333, 37 p. (2024; Zbl 07748759) Full Text: DOI arXiv
Bagaria, Joan The relative strengths of fragments of Martin’s axiom. (English) Zbl 07748756 Ann. Pure Appl. Logic 175, No. 1, Article ID 103330, 32 p. (2024). MSC: 03E55 03E65 18A10 18A15 PDFBibTeX XMLCite \textit{J. Bagaria}, Ann. Pure Appl. Logic 175, No. 1, Article ID 103330, 32 p. (2024; Zbl 07748756) Full Text: DOI
Kanamori, Akihiro Kunen the expositor. (English) Zbl 07748745 Ann. Pure Appl. Logic 175, No. 1, Article ID 103319, 7 p. (2024). MSC: 03-01 03-02 54-02 54-06 PDFBibTeX XMLCite \textit{A. Kanamori}, Ann. Pure Appl. Logic 175, No. 1, Article ID 103319, 7 p. (2024; Zbl 07748745) Full Text: DOI
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
Stephanou, Yannis A theory of truth. (English) Zbl 07732331 Lecture Notes in Logic 55. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-1-00-943718-9/hbk; 978-1-00-943714-1/ebook). xi, 345 p. (2024). MSC: 03-01 03A05 PDFBibTeX XMLCite \textit{Y. Stephanou}, A theory of truth. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (2024; Zbl 07732331) Full Text: DOI
Gödel, Kurt Band 5 Maximen V / Maxims V. Bilingual. Edited by Eva-Maria Engelen. (German, English) Zbl 07721864 Philosophische Notizbücher / Philosophical Notebooks 5. Berlin: De Gruyter (ISBN 978-3-11-108114-4/hbk; 978-3-11-109172-3/ebook). 207 p. (2024). MSC: 03-02 01A60 01A70 PDFBibTeX XMLCite \textit{K. Gödel}, Band 5 Maximen V / Maxims V. Bilingual. Edited by Eva-Maria Engelen. Berlin: De Gruyter (2024; Zbl 07721864) Full Text: DOI
Jana, Chiranjibe; Pal, Madhumangal; Balas, Valentina; Yager, Ronald R. Picture fuzzy logic and its applications in decision making problems. (English) Zbl 07707419 Amsterdam: Elsevier/Academic Press (ISBN 978-0-443-22024-1/pbk; 978-0-443-22023-4/ebook). ix, 284 p. (2024). MSC: 03-02 91-02 03E72 91B06 91B86 PDFBibTeX XMLCite \textit{C. Jana} et al., Picture fuzzy logic and its applications in decision making problems. Amsterdam: Elsevier/Academic Press (2024; Zbl 07707419) Full Text: DOI
Milanič, Martin; Servatius, Brigitte; Servatius, Herman Discrete mathematics with logic. (English) Zbl 07639967 Amsterdam: Elsevier/Academic Press (ISBN 978-0-443-18782-7/pbk; 978-0-443-18783-4/ebook). xii, 228 p. (2024). MSC: 03-01 05-01 05C45 05C05 PDFBibTeX XMLCite \textit{M. Milanič} et al., Discrete mathematics with logic. Amsterdam: Elsevier/Academic Press (2024; Zbl 07639967)
Calude, Cristian S. To halt, or not to halt. That Is the question (to appear). (English) Zbl 07502836 Singapore: World Scientific (ISBN 978-981-12-3227-5/hbk). 250 p. (2024). MSC: 68-01 03-01 03D10 68Q04 PDFBibTeX XMLCite \textit{C. S. Calude}, To halt, or not to halt. That Is the question (to appear). Singapore: World Scientific (2024; Zbl 07502836) Full Text: DOI
Sturm, Holger Philosophy of logic (to appear). (Philosophie der Logik.) (German) Zbl 07035948 Grundthemen Philosophie. Berlin: De Gruyter (ISBN 978-3-11-047593-7). 230 p. (2024). MSC: 03-01 03A05 00A30 PDFBibTeX XMLCite \textit{H. Sturm}, Philosophie der Logik. Berlin: De Gruyter (2024; Zbl 07035948)
Macpherson, Dugald; Tent, Katrin Omega-categorical pseudofinite groups. arXiv:2403.17684 Preprint, arXiv:2403.17684 [math.LO] (2024). MSC: 03C60 20A15 BibTeX Cite \textit{D. Macpherson} and \textit{K. Tent}, ``Omega-categorical pseudofinite groups'', Preprint, arXiv:2403.17684 [math.LO] (2024) Full Text: arXiv OA License
Frey, Jonas Uniform Preorders and Partial Combinatory Algebras. arXiv:2403.17340 Preprint, arXiv:2403.17340 [math.LO] (2024). MSC: 03G30 BibTeX Cite \textit{J. Frey}, ``Uniform Preorders and Partial Combinatory Algebras'', Preprint, arXiv:2403.17340 [math.LO] (2024) Full Text: arXiv OA License
Crowe, Gemma Twisted conjugacy in dihedral Artin groups I: Torus Knot groups. arXiv:2403.16671 Preprint, arXiv:2403.16671 [math.GR] (2024). MSC: 20F10 20F36 BibTeX Cite \textit{G. Crowe}, ``Twisted conjugacy in dihedral Artin groups I: Torus Knot groups'', Preprint, arXiv:2403.16671 [math.GR] (2024) Full Text: arXiv OA License
Capucci, Matteo; Gavranović, Bruno; Malik, Abdullah; Rios, Francisco; Weinberger, Jonathan On a fibrational construction for optics, lenses, and Dialectica categories. arXiv:2403.16388 Preprint, arXiv:2403.16388 [math.CT] (2024). MSC: 18M35 18D30 18M05 03G30 03B38 BibTeX Cite \textit{M. Capucci} et al., ``On a fibrational construction for optics, lenses, and Dialectica categories'', Preprint, arXiv:2403.16388 [math.CT] (2024) Full Text: arXiv OA License
Di Liberti, Ivan; Rogers, Morgan Topoi with enough points. arXiv:2403.15338 Preprint, arXiv:2403.15338 [math.CT] (2024). MSC: 03G30 03C75 18B25 18C50 18F10 18F70 BibTeX Cite \textit{I. Di Liberti} and \textit{M. Rogers}, ``Topoi with enough points'', Preprint, arXiv:2403.15338 [math.CT] (2024) Full Text: arXiv OA License
Breuillard, Emmanuel; Kocharyan, Georgi Undecidability of the stabilizer and zero-in-the-corner problems for matrix groups. arXiv:2403.14875 Preprint, arXiv:2403.14875 [math.GR] (2024). MSC: 20F10 20F05 03D40 BibTeX Cite \textit{E. Breuillard} and \textit{G. Kocharyan}, ``Undecidability of the stabilizer and zero-in-the-corner problems for matrix groups'', Preprint, arXiv:2403.14875 [math.GR] (2024) Full Text: arXiv OA License
Holliday, Wesley H. Modal logic, fundamentally. arXiv:2403.14043 Preprint, arXiv:2403.14043 [math.LO] (2024). MSC: 03B45 06B15 03G10 BibTeX Cite \textit{W. H. Holliday}, ``Modal logic, fundamentally'', Preprint, arXiv:2403.14043 [math.LO] (2024) Full Text: arXiv OA License
Fussner, Wesley; Santschi, Simon Interpolation in Hájek’s Basic Logic. arXiv:2403.13617 Preprint, arXiv:2403.13617 [math.LO] (2024). MSC: 03G25 03B47 03C40 06F05 BibTeX Cite \textit{W. Fussner} and \textit{S. Santschi}, ``Interpolation in H\'ajek's Basic Logic'', Preprint, arXiv:2403.13617 [math.LO] (2024) Full Text: arXiv OA License
Artemov, Sergei Serial Properties, Selector Proofs, and the Provability of Consistency. arXiv:2403.12272 Preprint, arXiv:2403.12272 [math.LO] (2024). MSC: 03A05 03B30 03F03 03F07 03F30 03F40 BibTeX Cite \textit{S. Artemov}, ``Serial Properties, Selector Proofs, and the Provability of Consistency'', Preprint, arXiv:2403.12272 [math.LO] (2024) Full Text: arXiv OA License
Bondarenko, Ievgen The word problem and growth of groups. arXiv:2403.11148 Preprint, arXiv:2403.11148 [math.GR] (2024). MSC: 20F10 68Q70 03D10 20E08 BibTeX Cite \textit{I. Bondarenko}, ``The word problem and growth of groups'', Preprint, arXiv:2403.11148 [math.GR] (2024) Full Text: arXiv OA License
Egner, Nadja; Jacqmin, Pierre-Alain; Martins-Ferreira, Nelson A syntactic characterization of weakly Mal’tsev varieties. arXiv:2403.09478 Preprint, arXiv:2403.09478 [math.CT] (2024). MSC: 08B05 18E13 18C10 06B20 06D99 18D40 BibTeX Cite \textit{N. Egner} et al., ``A syntactic characterization of weakly Mal'tsev varieties'', Preprint, arXiv:2403.09478 [math.CT] (2024) Full Text: arXiv OA License
Di Liberti, Ivan; Lobbia, Gabriele Sketches and Classifying Logoi. arXiv:2403.09264 Preprint, arXiv:2403.09264 [math.CT] (2024). MSC: 18A15 03C75 18C10 18B25 18C30 18C10 BibTeX Cite \textit{I. Di Liberti} and \textit{G. Lobbia}, ``Sketches and Classifying Logoi'', Preprint, arXiv:2403.09264 [math.CT] (2024) Full Text: arXiv OA License
Bossut, Yvon On some Fraisse limits with free amalgamation. arXiv:2403.07616 Preprint, arXiv:2403.07616 [math.LO] (2024). MSC: 03-XX BibTeX Cite \textit{Y. Bossut}, ``On some Fraisse limits with free amalgamation'', Preprint, arXiv:2403.07616 [math.LO] (2024) Full Text: arXiv OA License
Gallardo, Andrés; Viglizzo, Ignacio Coalgebraic Modal Logic for Dynamic Systems with Uncertainty. arXiv:2403.06177 Preprint, arXiv:2403.06177 [cs.LO] (2024). MSC: 03B45 03B52 BibTeX Cite \textit{A. Gallardo} and \textit{I. Viglizzo}, ``Coalgebraic Modal Logic for Dynamic Systems with Uncertainty'', Preprint, arXiv:2403.06177 [cs.LO] (2024) Full Text: arXiv OA License
Middelburg, C. A. The interdefinability of expansions of Belnap-Dunn logic. arXiv:2403.04641 Preprint, arXiv:2403.04641 [cs.LO] (2024). MSC: 03B50 BibTeX Cite \textit{C. A. Middelburg}, ``The interdefinability of expansions of Belnap-Dunn logic'', Preprint, arXiv:2403.04641 [cs.LO] (2024) Full Text: arXiv OA License
Hughes, Calum; Miranda, Adrian The elementary theory of the 2-category of small categories. arXiv:2403.03647 Preprint, arXiv:2403.03647 [math.CT] (2024). MSC: 03B30 03E30 03G30 18A15 18B05 18B25 18B50 18D40 18N10 BibTeX Cite \textit{C. Hughes} and \textit{A. Miranda}, ``The elementary theory of the 2-category of small categories'', Preprint, arXiv:2403.03647 [math.CT] (2024) Full Text: arXiv OA License
Andrews, Uri; Harrison-Trainor, Matthew; Ho, Meng-Che ”Turbo” Two results on complexities of decision problems of groups. arXiv:2403.02492 Preprint, arXiv:2403.02492 [math.LO] (2024). MSC: 03D40 20F10 03D55 BibTeX Cite \textit{U. Andrews} et al., ``Two results on complexities of decision problems of groups'', Preprint, arXiv:2403.02492 [math.LO] (2024) Full Text: arXiv OA License
Bonzio, Stefano; Zamperlin, Nicolò Modal weak Kleene logics: axiomatizations and relational semantics. arXiv:2403.01274 Preprint, arXiv:2403.01274 [math.LO] (2024). MSC: 03B45 BibTeX Cite \textit{S. Bonzio} and \textit{N. Zamperlin}, ``Modal weak Kleene logics: axiomatizations and relational semantics'', Preprint, arXiv:2403.01274 [math.LO] (2024) Full Text: arXiv OA License
Alves, Felipe Dilho Measurement Schemes in AQFT, Contextuality and the Wigner’s Friend Gedankenexperiment. arXiv:2402.19235 Preprint, arXiv:2402.19235 [math-ph] (2024). MSC: 81T05 81P10 81P13 81P15 81Q10 81R15 BibTeX Cite \textit{F. D. Alves}, ``Measurement Schemes in AQFT, Contextuality and the Wigner's Friend Gedankenexperiment'', Preprint, arXiv:2402.19235 [math-ph] (2024) Full Text: arXiv OA License
Ballester-Bolinches, Adolfo; Esteban-Romero, Ramón; Ferrara, Maria; Pérez-Calabuig, Vicent; Trombetti, Marco Finite skew braces of square-free order and supersolubility. arXiv:2402.18486 Preprint, arXiv:2402.18486 [math.GR] (2024). MSC: 16T25 03D40 20F10 20F16 BibTeX Cite \textit{A. Ballester-Bolinches} et al., ``Finite skew braces of square-free order and supersolubility'', Preprint, arXiv:2402.18486 [math.GR] (2024) Full Text: arXiv OA License
Ferreira, Gilda; Firmino, Paulo Herbrandized modified realizability. arXiv:2402.16437 Preprint, arXiv:2402.16437 [math.LO] (2024). MSC: 03F10 03B20 03B40 03F30 03F25 BibTeX Cite \textit{G. Ferreira} and \textit{P. Firmino}, ``Herbrandized modified realizability'', Preprint, arXiv:2402.16437 [math.LO] (2024) Full Text: arXiv OA License
Aguilera, Juan Pablo; Pakhomov, Fedor The Logic of Correct Models. arXiv:2402.15382 Preprint, arXiv:2402.15382 [math.LO] (2024). MSC: 03B45 03E99 BibTeX Cite \textit{J. P. Aguilera} and \textit{F. Pakhomov}, ``The Logic of Correct Models'', Preprint, arXiv:2402.15382 [math.LO] (2024) Full Text: arXiv OA License
Boege, Tobias; Bolt, Janneke H.; Studený, Milan Self-adhesivity in lattices of abstract conditional independence models. arXiv:2402.14053 Preprint, arXiv:2402.14053 [math.CO] (2024). MSC: 62B10 06A15 68T27 68V05 05B35 BibTeX Cite \textit{T. Boege} et al., ``Self-adhesivity in lattices of abstract conditional independence models'', Preprint, arXiv:2402.14053 [math.CO] (2024) Full Text: arXiv OA License
Vaananen, Jouko; Velickovic, Boban On Some Infinitary Logics. arXiv:2402.13344 Preprint, arXiv:2402.13344 [math.LO] (2024). MSC: 03Bxx 03C55 03C75 03C95 03Exx BibTeX Cite \textit{J. Vaananen} and \textit{B. Velickovic}, ``On Some Infinitary Logics'', Preprint, arXiv:2402.13344 [math.LO] (2024) Full Text: arXiv OA License
Ye, Lingyuan Stack Representation of Finitely Presented Heyting Pretoposes I. arXiv:2402.13099 Preprint, arXiv:2402.13099 [math.LO] (2024). MSC: 03G30 BibTeX Cite \textit{L. Ye}, ``Stack Representation of Finitely Presented Heyting Pretoposes I'', Preprint, arXiv:2402.13099 [math.LO] (2024) Full Text: arXiv OA License
Krawczyk, Krzysztof A. Epstein Semantics: Characterization, Interpolation, Undefinability, and (In)Completeness. arXiv:2402.12931 Preprint, arXiv:2402.12931 [math.LO] (2024). MSC: 03B60 BibTeX Cite \textit{K. A. Krawczyk}, ``Epstein Semantics: Characterization, Interpolation, Undefinability, and (In)Completeness'', Preprint, arXiv:2402.12931 [math.LO] (2024) Full Text: arXiv OA License
Castiglioni, Jose Luis; Ertola-Biraben, Rodolfo Assume-guarantee contract algebras are bounded Sugihara monoids. arXiv:2402.12514 Preprint, arXiv:2402.12514 [cs.LO] (2024). MSC: 03G25 06D30 08B99 BibTeX Cite \textit{J. L. Castiglioni} and \textit{R. Ertola-Biraben}, ``Assume-guarantee contract algebras are bounded Sugihara monoids'', Preprint, arXiv:2402.12514 [cs.LO] (2024) Full Text: arXiv OA License
Férée, Hugo; van der Giessen, Iris; van Gool, Sam; Shillito, Ian Mechanised uniform interpolation for modal logics K, GL and iSL. arXiv:2402.10494 Preprint, arXiv:2402.10494 [cs.LO] (2024). MSC: 03B45 03B20 03F45 68V20 BibTeX Cite \textit{H. Férée} et al., ``Mechanised uniform interpolation for modal logics K, GL and iSL'', Preprint, arXiv:2402.10494 [cs.LO] (2024) Full Text: arXiv OA License
Konieczny, Jakub Decidability of extensions of Presburger arithmetic by generalised polynomials. arXiv:2402.09647 Preprint, arXiv:2402.09647 [math.NT] (2024). MSC: 11U05 03B10 03B25 11J54 BibTeX Cite \textit{J. Konieczny}, ``Decidability of extensions of Presburger arithmetic by generalised polynomials'', Preprint, arXiv:2402.09647 [math.NT] (2024) Full Text: arXiv OA License
Almeida, Rodrigo Nicolau Colimits of Heyting Algebras through Esakia Duality. arXiv:2402.08058 Preprint, arXiv:2402.08058 [math.LO] (2024). MSC: 08B20 03B20 06D20 BibTeX Cite \textit{R. N. Almeida}, ``Colimits of Heyting Algebras through Esakia Duality'', Preprint, arXiv:2402.08058 [math.LO] (2024) Full Text: arXiv OA License
Bondarenko, Ievgen Quaternionic lattices and poly-context-free word problem. arXiv:2402.07494 Preprint, arXiv:2402.07494 [math.GR] (2024). MSC: 20F10 68Q45 20F65 20E08 BibTeX Cite \textit{I. Bondarenko}, ``Quaternionic lattices and poly-context-free word problem'', Preprint, arXiv:2402.07494 [math.GR] (2024) Full Text: arXiv OA License
Shafrir, Doron A saturation theorem for submonoids of nilpotent groups and the Identity Problem. arXiv:2402.07337 Preprint, arXiv:2402.07337 [math.GR] (2024). MSC: 20F10 20F18 BibTeX Cite \textit{D. Shafrir}, ``A saturation theorem for submonoids of nilpotent groups and the Identity Problem'', Preprint, arXiv:2402.07337 [math.GR] (2024) Full Text: arXiv OA License
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
Lehmann, Daniel Projection-algebras and quantum logic. arXiv:2402.07042 Preprint, arXiv:2402.07042 [quant-ph] (2024). MSC: 81P10 06C15 03G12 BibTeX Cite \textit{D. Lehmann}, ``Projection-algebras and quantum logic'', Preprint, arXiv:2402.07042 [quant-ph] (2024) Full Text: arXiv OA License
Inoué, Takao; Miwa, Tadayoshi Nontrivial single axiom-schemata and their quasi-nontriviality of Leśniewski-Ishimoto’s propositional ontology \(\bf L_1\). arXiv:2402.07030 Preprint, arXiv:2402.07030 [math.LO] (2024). MSC: 03B20 03B60 03F03 03A05 03A99 BibTeX Cite \textit{T. Inoué} and \textit{T. Miwa}, ``Nontrivial single axiom-schemata and their quasi-nontriviality of Le\'{s}niewski-Ishimoto's propositional ontology $\bf L_1$'', Preprint, arXiv:2402.07030 [math.LO] (2024) Full Text: arXiv OA License
Christensen, Ahmee First-Order Fischer Servi Logic. arXiv:2402.06600 Preprint, arXiv:2402.06600 [math.LO] (2024). MSC: 03B45 03B20 BibTeX Cite \textit{A. Christensen}, ``First-Order Fischer Servi Logic'', Preprint, arXiv:2402.06600 [math.LO] (2024) Full Text: arXiv OA License