Nyberg-Brodda, Carl-Fredrik Non-finitely generated maximal subgroups of context-free monoids. (English) Zbl 07622355 J. Algebra 616, 227-238 (2023). MSC: 20F10 20F05 68R15 68Q42 PDF BibTeX XML Cite \textit{C.-F. Nyberg-Brodda}, J. Algebra 616, 227--238 (2023; Zbl 07622355) Full Text: DOI arXiv OpenURL
Zandieh, Fatemeh; Ghannadpour, Seyed Farid A comprehensive risk assessment view on interval type-2 fuzzy controller for a time-dependent HazMat routing problem. (English) Zbl 07619279 Eur. J. Oper. Res. 305, No. 2, 685-707 (2023). MSC: 90Bxx PDF BibTeX XML Cite \textit{F. Zandieh} and \textit{S. F. Ghannadpour}, Eur. J. Oper. Res. 305, No. 2, 685--707 (2023; Zbl 07619279) Full Text: DOI OpenURL
Abuin, Alex; Bolotov, Alexander; Hermo, Montserrat; Lucio, Paqui Tableaux and sequent calculi for CTL and ECTL: satisfiability test with certifying proofs and models. (English) Zbl 07618127 J. Log. Algebr. Methods Program. 130, Article ID 100828, 30 p. (2023). MSC: 68-XX PDF BibTeX XML Cite \textit{A. Abuin} et al., J. Log. Algebr. Methods Program. 130, Article ID 100828, 30 p. (2023; Zbl 07618127) Full Text: DOI OpenURL
Olarte, Carlos; Pimentel, Elaine; Rocha, Camilo A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. (English) Zbl 07618126 J. Log. Algebr. Methods Program. 130, Article ID 100827, 37 p. (2023). MSC: 68-XX PDF BibTeX XML Cite \textit{C. Olarte} et al., J. Log. Algebr. Methods Program. 130, Article ID 100827, 37 p. (2023; Zbl 07618126) Full Text: DOI arXiv OpenURL
Poskitt, Christopher M.; Plump, Detlef Monadic second-order incorrectness logic for GP 2. (English) Zbl 07618124 J. Log. Algebr. Methods Program. 130, Article ID 100825, 29 p. (2023). MSC: 68-XX PDF BibTeX XML Cite \textit{C. M. Poskitt} and \textit{D. Plump}, J. Log. Algebr. Methods Program. 130, Article ID 100825, 29 p. (2023; Zbl 07618124) Full Text: DOI OpenURL
Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore Capturing constrained constructor patterns in matching logic. (English) Zbl 07618117 J. Log. Algebr. Methods Program. 130, Article ID 100810, 31 p. (2023). MSC: 68-XX PDF BibTeX XML Cite \textit{X. Chen} et al., J. Log. Algebr. Methods Program. 130, Article ID 100810, 31 p. (2023; Zbl 07618117) Full Text: DOI OpenURL
Li, Yantong; Côté, Jean-François; Coelho, Leandro C.; Zhang, Chuang; Zhang, Shuai Order assignment and scheduling under processing and distribution time uncertainty. (English) Zbl 07602387 Eur. J. Oper. Res. 305, No. 1, 148-163 (2023). MSC: 90Bxx PDF BibTeX XML Cite \textit{Y. Li} et al., Eur. J. Oper. Res. 305, No. 1, 148--163 (2023; Zbl 07602387) Full Text: DOI OpenURL
Mundici, Daniele AF-algebras with lattice-ordered \(K_0\): logic and computation. (English) Zbl 07601556 Ann. Pure Appl. Logic 174, No. 1, Article ID 103182, 46 p. (2023). MSC: 06D35 08A50 19A49 46L35 46L80 47L40 68Q25 PDF BibTeX XML Cite \textit{D. Mundici}, Ann. Pure Appl. Logic 174, No. 1, Article ID 103182, 46 p. (2023; Zbl 07601556) Full Text: DOI OpenURL
Jeřábek, Emil On the proof complexity of logics of bounded branching. (English) Zbl 07601555 Ann. Pure Appl. Logic 174, No. 1, Article ID 103181, 54 p. (2023). MSC: 03F20 03B45 03B55 PDF BibTeX XML Cite \textit{E. Jeřábek}, Ann. Pure Appl. Logic 174, No. 1, Article ID 103181, 54 p. (2023; Zbl 07601555) Full Text: DOI arXiv OpenURL
Bagaria, Joan; Lücke, Philipp Huge reflection. (English) Zbl 07601553 Ann. Pure Appl. Logic 174, No. 1, Article ID 103171, 32 p. (2023). MSC: 03E55 03E65 18A10 18A15 PDF BibTeX XML Cite \textit{J. Bagaria} and \textit{P. Lücke}, Ann. Pure Appl. Logic 174, No. 1, Article ID 103171, 32 p. (2023; Zbl 07601553) Full Text: DOI arXiv OpenURL
Bezhanishvili, Nick; Carai, Luca; Ghilardi, Silvio; Landi, Lucia Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras. (English) Zbl 07601551 Ann. Pure Appl. Logic 174, No. 1, Article ID 103169, 31 p. (2023). MSC: 03B45 03C10 06E25 54E05 PDF BibTeX XML Cite \textit{N. Bezhanishvili} et al., Ann. Pure Appl. Logic 174, No. 1, Article ID 103169, 31 p. (2023; Zbl 07601551) Full Text: DOI arXiv OpenURL
Hetzl, Stefan; Vierling, Jannik Induction and Skolemization in saturation theorem proving. (English) Zbl 07601550 Ann. Pure Appl. Logic 174, No. 1, Article ID 103167, 37 p. (2023). MSC: 03F30 68V15 03B70 03H15 PDF BibTeX XML Cite \textit{S. Hetzl} and \textit{J. Vierling}, Ann. Pure Appl. Logic 174, No. 1, Article ID 103167, 37 p. (2023; Zbl 07601550) Full Text: DOI arXiv OpenURL
Galesi, Nicola; Itsykson, Dmitry; Riazanov, Artur; Sofronova, Anastasia Bounded-depth Frege complexity of Tseitin formulas for all graphs. (English) Zbl 07601549 Ann. Pure Appl. Logic 174, No. 1, Article ID 103166, 23 p. (2023). MSC: 03F20 03B05 05C83 68Q27 PDF BibTeX XML Cite \textit{N. Galesi} et al., Ann. Pure Appl. Logic 174, No. 1, Article ID 103166, 23 p. (2023; Zbl 07601549) Full Text: DOI OpenURL
Wałęga, Przemysław Andrzej Computational complexity of hybrid interval temporal logics. (English) Zbl 07601548 Ann. Pure Appl. Logic 174, No. 1, Article ID 103165, 33 p. (2023). MSC: 03B44 03B70 03B45 68T27 PDF BibTeX XML Cite \textit{P. A. Wałęga}, Ann. Pure Appl. Logic 174, No. 1, Article ID 103165, 33 p. (2023; Zbl 07601548) Full Text: DOI OpenURL
Steel, John R. A comparison process for mouse pairs (to appear). (English) Zbl 07595817 Lecture Notes in Logic 51. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-1-108-84068-2/hbk). (2023). MSC: 03-02 03E45 03E55 03E60 PDF BibTeX XML OpenURL
Hellman, Geoffrey Mathematics and its logics. Philosophical essays (to appear). Reprint of the 2021 hardback edition. (English) Zbl 07595812 Cambridge: Cambridge University Press (ISBN 978-1-108-71400-6/pbk). viii, 286 p. (2023). MSC: 03-06 03A05 00A30 01A75 00B15 PDF BibTeX XML Cite \textit{G. Hellman}, Mathematics and its logics. Philosophical essays (to appear). Reprint of the 2021 hardback edition. Cambridge: Cambridge University Press (2023; Zbl 07595812) OpenURL
Zand, Behnam; Ghaderi, Pedram; Amini, Fereidoun Structural system identification via synchronization technique and fuzzy logic. (English) Zbl 07594631 Math. Comput. Simul. 203, 174-188 (2023). MSC: 93-XX 74-XX PDF BibTeX XML Cite \textit{B. Zand} et al., Math. Comput. Simul. 203, 174--188 (2023; Zbl 07594631) Full Text: DOI OpenURL
Puviyarasi, B.; Murukesh, C. Design and implementation of adaptive mixed fuzzy controller for MIMO nonlinear systems. (English) Zbl 07594626 Math. Comput. Simul. 203, 71-91 (2023). MSC: 93-XX 90-XX PDF BibTeX XML Cite \textit{B. Puviyarasi} and \textit{C. Murukesh}, Math. Comput. Simul. 203, 71--91 (2023; Zbl 07594626) Full Text: DOI OpenURL
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. (2023). MSC: 68-01 03-01 03D10 68Q04 PDF BibTeX XML Cite \textit{C. S. Calude}, To halt, or not to halt. That Is the question (to appear). Singapore: World Scientific (2023; Zbl 07502836) Full Text: DOI OpenURL
Grami, Ali Discrete mathematics. Essentials and applications. (English) Zbl 07486968 Amsterdam: Elsevier/Academic Press (ISBN 978-0-12-820656-0/pbk; 978-0-12-820909-7/ebook). xv, 448 p. (2023). MSC: 05-01 03B05 05Axx 94A60 68P15 05C05 PDF BibTeX XML Cite \textit{A. Grami}, Discrete mathematics. Essentials and applications. Amsterdam: Elsevier/Academic Press (2023; Zbl 07486968) Full Text: DOI OpenURL
Ewald, W. (ed.); Hallett, M. (ed.); Majer, U. (ed.); Sieg, W. (ed.) David Hilbert’s notebooks and general foundational lectures (to appear). (English) Zbl 06750665 Berlin: Springer (ISBN 978-3-540-20579-1/hbk; 978-3-540-68231-8/ebook). 590 p. (2023). MSC: 03-06 01A75 00A30 03A05 01A60 PDF BibTeX XML Cite \textit{W. Ewald} (ed.) et al., David Hilbert's notebooks and general foundational lectures (to appear). Berlin: Springer (2023; Zbl 06750665) OpenURL
Ewald, William (ed.); Hallett, Michael (ed.); Majer, Ulrich (ed.); Sieg, Wilfried (ed.) David Hilbert’s lectures on the foundations of arithmetic and logic 1894–1917 (to appear). (English) Zbl 06750649 Berlin: Springer (ISBN 978-3-540-20605-7/hbk). 690 p. (2023). MSC: 01A75 03-03 11-03 11A55 01A60 PDF BibTeX XML Cite \textit{W. Ewald} (ed.) et al., David Hilbert's lectures on the foundations of arithmetic and logic 1894--1917 (to appear). Berlin: Springer (2023; Zbl 06750649) OpenURL
Croitoru, Cosmina; Croitoru, Madalina Indepth combinatorial analysis of admissible sets for abstract argumentation. (English) Zbl 07625973 Ann. Math. Artif. Intell. 90, No. 11-12, 1139-1158 (2022). MSC: 68T27 68R10 68Q25 03B22 PDF BibTeX XML Cite \textit{C. Croitoru} and \textit{M. Croitoru}, Ann. Math. Artif. Intell. 90, No. 11--12, 1139--1158 (2022; Zbl 07625973) Full Text: DOI OpenURL
Priss, Uta A semiotic perspective on polysemy. (English) Zbl 07625972 Ann. Math. Artif. Intell. 90, No. 11-12, 1125-1138 (2022). MSC: 03B65 68T30 PDF BibTeX XML Cite \textit{U. Priss}, Ann. Math. Artif. Intell. 90, No. 11--12, 1125--1138 (2022; Zbl 07625972) Full Text: DOI OpenURL
Elçi, Özgün; Hooker, John Stochastic planning and scheduling with logic-based Benders decomposition. (English) Zbl 07625882 INFORMS J. Comput. 34, No. 5, 2428-2442 (2022). MSC: 90B35 90B50 90C05 90C11 90C15 PDF BibTeX XML Cite \textit{Ö. Elçi} and \textit{J. Hooker}, INFORMS J. Comput. 34, No. 5, 2428--2442 (2022; Zbl 07625882) Full Text: DOI arXiv OpenURL
Pardo, Pere Correction to: “A modal view on resource-bounded propositional logics”. (English) Zbl 07625364 Stud. Log. 110, No. 6, 1537-1538 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{P. Pardo}, Stud. Log. 110, No. 6, 1537--1538 (2022; Zbl 07625364) Full Text: DOI OpenURL
Alonderis, Romas; Pliuškevičius, Regimantas; Pliuškevičienė, Aida; Giedra, Haroldas Loop-check specification for a sequent calculus of temporal logic. (English) Zbl 07625363 Stud. Log. 110, No. 6, 1507-1536 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{R. Alonderis} et al., Stud. Log. 110, No. 6, 1507--1536 (2022; Zbl 07625363) Full Text: DOI OpenURL
Iemhoff, Rosalie The G4i analogue of a G3i sequent calculus. (English) Zbl 07625362 Stud. Log. 110, No. 6, 1493-1506 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{R. Iemhoff}, Stud. Log. 110, No. 6, 1493--1506 (2022; Zbl 07625362) Full Text: DOI OpenURL
San Martín, Hernán Javier On relative principal congruences in term quasivarieties. (English) Zbl 07625361 Stud. Log. 110, No. 6, 1465-1491 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{H. J. San Martín}, Stud. Log. 110, No. 6, 1465--1491 (2022; Zbl 07625361) Full Text: DOI OpenURL
Czelakowski, Janusz; Olszewski, Adam Logics of order and related notions. (English) Zbl 07625360 Stud. Log. 110, No. 6, 1417-1464 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{J. Czelakowski} and \textit{A. Olszewski}, Stud. Log. 110, No. 6, 1417--1464 (2022; Zbl 07625360) Full Text: DOI OpenURL
Chlebowski, Szymon; Gawek, Marta; Tomczyk, Agata Natural deduction systems for intuitionistic logic with identity. (English) Zbl 07625359 Stud. Log. 110, No. 6, 1381-1415 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{S. Chlebowski} et al., Stud. Log. 110, No. 6, 1381--1415 (2022; Zbl 07625359) Full Text: DOI OpenURL
Tesi, Matteo On the proof theory of infinitary modal logic. (English) Zbl 07625358 Stud. Log. 110, No. 6, 1349-1380 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{M. Tesi}, Stud. Log. 110, No. 6, 1349--1380 (2022; Zbl 07625358) Full Text: DOI OpenURL
Ilyas, Muhammad; Cui, Shawn; Perkowski, Marek Ternary logic design in topological quantum computing. (English) Zbl 07625240 J. Phys. A, Math. Theor. 55, No. 30, Article ID 305302, 54 p. (2022). MSC: 81-XX 82-XX PDF BibTeX XML Cite \textit{M. Ilyas} et al., J. Phys. A, Math. Theor. 55, No. 30, Article ID 305302, 54 p. (2022; Zbl 07625240) Full Text: DOI arXiv OpenURL
Yang, Wen-Chi; Raskin, Jean-François; De Raedt, Luc Lifted model checking for relational MDPs. (English) Zbl 07624287 Mach. Learn. 111, No. 10, 3797-3838 (2022). MSC: 68T05 PDF BibTeX XML Cite \textit{W.-C. Yang} et al., Mach. Learn. 111, No. 10, 3797--3838 (2022; Zbl 07624287) Full Text: DOI arXiv OpenURL
Patsantzis, S.; Muggleton, S. H. Meta-interpretive learning as metarule specialisation. (English) Zbl 07624284 Mach. Learn. 111, No. 10, 3703-3731 (2022). MSC: 68T05 PDF BibTeX XML Cite \textit{S. Patsantzis} and \textit{S. H. Muggleton}, Mach. Learn. 111, No. 10, 3703--3731 (2022; Zbl 07624284) Full Text: DOI arXiv OpenURL
Ribeiro, Tony; Folschette, Maxime; Magnin, Morgan; Inoue, Katsumi Learning any memory-less discrete semantics for dynamical systems represented by logic programs. (English) Zbl 07624282 Mach. Learn. 111, No. 10, 3593-3670 (2022). MSC: 68T05 PDF BibTeX XML Cite \textit{T. Ribeiro} et al., Mach. Learn. 111, No. 10, 3593--3670 (2022; Zbl 07624282) Full Text: DOI OpenURL
Srinivasan, Sriram; Dickens, Charles; Augustine, Eriq; Farnadi, Golnoosh; Getoor, Lise A taxonomy of weight learning methods for statistical relational learning. (English) Zbl 07624256 Mach. Learn. 111, No. 8, 2799-2838 (2022). MSC: 68T05 PDF BibTeX XML Cite \textit{S. Srinivasan} et al., Mach. Learn. 111, No. 8, 2799--2838 (2022; Zbl 07624256) Full Text: DOI OpenURL
Srinivasan, Ashwin; Bain, Michael; Baskar, A. Learning explanations for biological feedback with delays using an event calculus. (English) Zbl 07624245 Mach. Learn. 111, No. 7, 2435-2487 (2022). MSC: 68T05 PDF BibTeX XML Cite \textit{A. Srinivasan} et al., Mach. Learn. 111, No. 7, 2435--2487 (2022; Zbl 07624245) Full Text: DOI OpenURL
Bartholdi, Laurent; Groth, Thorsten; Lysenok, Igor Commutator width in the first Grigorchuk group. (English) Zbl 07624151 Groups Geom. Dyn. 16, No. 2, 493-522 (2022). MSC: 20F65 20F10 20E08 68W30 PDF BibTeX XML Cite \textit{L. Bartholdi} et al., Groups Geom. Dyn. 16, No. 2, 493--522 (2022; Zbl 07624151) Full Text: DOI arXiv OpenURL
Tang, Fangcheng; Zhang, Yushu; Wang, Jun How do enterprises determine which breakthrough invention should be commercialized? A multiple attribute group decision-making-based method. (English) Zbl 07622778 Comput. Appl. Math. 41, No. 8, Paper No. 385, 31 p. (2022). MSC: 90B50 94D05 PDF BibTeX XML Cite \textit{F. Tang} et al., Comput. Appl. Math. 41, No. 8, Paper No. 385, 31 p. (2022; Zbl 07622778) Full Text: DOI OpenURL
Garg, Harish; Majumder, Priyanka; Nath, Malay A hybrid trapezoidal fuzzy FUCOM-AHP approach and their application to identification of monkeypox risk factors. (English) Zbl 07622772 Comput. Appl. Math. 41, No. 8, Paper No. 379, 24 p. (2022). MSC: 03B52 90-08 90B50 PDF BibTeX XML Cite \textit{H. Garg} et al., Comput. Appl. Math. 41, No. 8, Paper No. 379, 24 p. (2022; Zbl 07622772) Full Text: DOI OpenURL
Memarpour Ghiaci, Ali; Garg, Harish; Jafarzadeh Ghoushchi, Saeid Improving emergency departments during COVID-19 pandemic: a simulation and MCDM approach with MARCOS methodology in an uncertain environment. (English) Zbl 07622761 Comput. Appl. Math. 41, No. 8, Paper No. 368, 23 p. (2022). MSC: 03B52 90-08 90B50 PDF BibTeX XML Cite \textit{A. Memarpour Ghiaci} et al., Comput. Appl. Math. 41, No. 8, Paper No. 368, 23 p. (2022; Zbl 07622761) Full Text: DOI OpenURL
Nyberg-Brodda, Carl-Fredrik Correction to: “The word problem for one-relation monoids: a survey”. (English) Zbl 07622244 Semigroup Forum 105, No. 3, 834-838 (2022). MSC: 20F10 20F05 20M05 20M18 20F36 PDF BibTeX XML Cite \textit{C.-F. Nyberg-Brodda}, Semigroup Forum 105, No. 3, 834--838 (2022; Zbl 07622244) Full Text: DOI OpenURL
Teoh, Zu Yao Structural considerations of Ramsey algebras. (English) Zbl 07620705 J. Symb. Log. 87, No. 4, 1677-1692 (2022). MSC: 03E05 05D10 03B80 PDF BibTeX XML Cite \textit{Z. Y. Teoh}, J. Symb. Log. 87, No. 4, 1677--1692 (2022; Zbl 07620705) Full Text: DOI arXiv OpenURL
Rossegger, Dino Degree spectra of analytic complete equivalence relations. (English) Zbl 07620704 J. Symb. Log. 87, No. 4, 1663-1676 (2022). MSC: 03C75 03D45 03E15 PDF BibTeX XML Cite \textit{D. Rossegger}, J. Symb. Log. 87, No. 4, 1663--1676 (2022; Zbl 07620704) Full Text: DOI arXiv OpenURL
Vidal, Amanda Undecidability and non-axiomatizability of modal many-valued logics. (English) Zbl 07620700 J. Symb. Log. 87, No. 4, 1576-1605 (2022). MSC: 03B45 03B47 03B50 03B52 PDF BibTeX XML Cite \textit{A. Vidal}, J. Symb. Log. 87, No. 4, 1576--1605 (2022; Zbl 07620700) Full Text: DOI arXiv OpenURL
Moraschini, Tommaso On equational completeness Theorems. (English) Zbl 07620699 J. Symb. Log. 87, No. 4, 1522-1575 (2022). MSC: 03G27 08B05 03B55 03B45 03B47 PDF BibTeX XML Cite \textit{T. Moraschini}, J. Symb. Log. 87, No. 4, 1522--1575 (2022; Zbl 07620699) Full Text: DOI arXiv OpenURL
Janelidze, Zurab; Van Der Berg, Ineke A Dedekind-style axiomatization and the corresponding universal property of an ordinal number system. (English) Zbl 07620695 J. Symb. Log. 87, No. 4, 1396-1418 (2022). MSC: 03E10 03E70 03E45 11U99 06A05 06A15 54F05 18A40 08A65 PDF BibTeX XML Cite \textit{Z. Janelidze} and \textit{I. Van Der Berg}, J. Symb. Log. 87, No. 4, 1396--1418 (2022; Zbl 07620695) Full Text: DOI arXiv OpenURL
Damnjanovic, Zlatan Mutual interpretability of weak essentially undecidable theories. (English) Zbl 07620694 J. Symb. Log. 87, No. 4, 1374-1395 (2022). MSC: 03-02 03F25 03F30 PDF BibTeX XML Cite \textit{Z. Damnjanovic}, J. Symb. Log. 87, No. 4, 1374--1395 (2022; Zbl 07620694) Full Text: DOI arXiv OpenURL
Bezhanishvili, Guram; Carai, Luca; Morandi, Patrick J. Modal operators on rings of continuous functions. (English) Zbl 07620692 J. Symb. Log. 87, No. 4, 1322-1348 (2022). MSC: 03B45 54C30 06F25 06E25 06E15 PDF BibTeX XML Cite \textit{G. Bezhanishvili} et al., J. Symb. Log. 87, No. 4, 1322--1348 (2022; Zbl 07620692) Full Text: DOI arXiv OpenURL
Parveen, Azra; Khan, Zishan Husain; Ahmad, Syed Naseem A fuzzy-based multi-criteria decision-making approach for the selection of digital image forensic tools. (English) Zbl 07620063 Kulkarni, Anand J. (ed.), Multiple criteria decision making. Techniques, analysis and applications. Singapore: Springer. Stud. Syst. Decis. Control 407, 91-105 (2022). MSC: 90B50 91B06 PDF BibTeX XML Cite \textit{A. Parveen} et al., Stud. Syst. Decis. Control 407, 91--105 (2022; Zbl 07620063) Full Text: DOI OpenURL
Celani, Sergio; Jansana, Ramon A variety of algebras closely related to subordination algebras. (English) Zbl 07619047 J. Appl. Non-Class. Log. 32, No. 2-3, 200-238 (2022). MSC: 03B45 03G05 03G25 06E15 06E75 PDF BibTeX XML Cite \textit{S. Celani} and \textit{R. Jansana}, J. Appl. Non-Class. Log. 32, No. 2--3, 200--238 (2022; Zbl 07619047) Full Text: DOI OpenURL
Triantafyllou, Vangelis Vagueness as an epiphenomenon, and non-transitivity. (English) Zbl 07619045 J. Appl. Non-Class. Log. 32, No. 2-3, 156-186 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{V. Triantafyllou}, J. Appl. Non-Class. Log. 32, No. 2--3, 156--186 (2022; Zbl 07619045) Full Text: DOI OpenURL
Leturc, Christopher; Bonnet, Grégory Reasoning about manipulation in multi-agent systems. (English) Zbl 07619044 J. Appl. Non-Class. Log. 32, No. 2-3, 89-155 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{C. Leturc} and \textit{G. Bonnet}, J. Appl. Non-Class. Log. 32, No. 2--3, 89--155 (2022; Zbl 07619044) Full Text: DOI OpenURL
Pyenson, Lewis [Jungnickel, Christa; McCormmach, Russell] Book review of: Christa Jungnickel; Russell McCormmach, The second physicist: On the history of theoretical physics in Germany. (English) Zbl 07618184 ISIS 113, No. 1, 194-196 (2022). MSC: 00A17 01-02 00A79 01A55 01A70 70-03 81-03 81P10 PDF BibTeX XML Cite \textit{L. Pyenson}, ISIS 113, No. 1, 194--196 (2022; Zbl 07618184) OpenURL
Poursadegh, Adeleh; Shahnazi, Reza; Yin, Shen Funnel-based adaptive fuzzy finite-time control for non-affine nonlinear systems preceded by unknown actuators. (English) Zbl 07617707 J. Franklin Inst. 359, No. 17, 9591-9617 (2022). MSC: 93C40 93C42 93D40 93C10 93B52 PDF BibTeX XML Cite \textit{A. Poursadegh} et al., J. Franklin Inst. 359, No. 17, 9591--9617 (2022; Zbl 07617707) Full Text: DOI OpenURL
Koochakpoor, T. Fuzzy hyper pseudo \(BCK\)-ideals of hyper pseudo \(BCK\)-algebras. (English) Zbl 07615954 Jordan J. Math. Stat. 15, No. 3A, 381-398 (2022). MSC: 06F35 03G25 PDF BibTeX XML Cite \textit{T. Koochakpoor}, Jordan J. Math. Stat. 15, No. 3A, 381--398 (2022; Zbl 07615954) Full Text: DOI OpenURL
Asahi, Takao Model theory approach for simulation: improvements of model description language and integration of development environments. (English) Zbl 07615505 Kijima, Kyoichi (ed.) et al., Systems research I. Essays in honor of Yasuhiko Takahara on systems theory and modeling. Singapore: Springer. Transl. Syst. Sci. 26, 179-189 (2022). MSC: 93-XX PDF BibTeX XML Cite \textit{T. Asahi}, Transl. Syst. Sci. 26, 179--189 (2022; Zbl 07615505) Full Text: DOI OpenURL
Takahashi, Shingo Beyond logical approach to systems theory. (English) Zbl 07615501 Kijima, Kyoichi (ed.) et al., Systems research I. Essays in honor of Yasuhiko Takahara on systems theory and modeling. Singapore: Springer. Transl. Syst. Sci. 26, 89-118 (2022). MSC: 93-XX PDF BibTeX XML Cite \textit{S. Takahashi}, Transl. Syst. Sci. 26, 89--118 (2022; Zbl 07615501) Full Text: DOI OpenURL
Qazi, Sahar; Iqbal, Naiyar; Raza, Khalid Fuzzy logic-based hybrid models for clinical decision support systems in cancer. (English) Zbl 07615457 Raza, Khalid (ed.), Computational intelligence in oncology. Applications in diagnosis, prognosis and therapeutics of cancers. Singapore: Springer. Stud. Comput. Intell. 1016, 201-213 (2022). MSC: 92C50 PDF BibTeX XML Cite \textit{S. Qazi} et al., Stud. Comput. Intell. 1016, 201--213 (2022; Zbl 07615457) Full Text: DOI OpenURL
Wu, Yan-Kuen; Wen, Ching-Feng; Hsu, Yuan-Teng; Wang, Ming-Xian Finding minimal solutions to the system of addition-min fuzzy relational inequalities. (English) Zbl 07614809 Fuzzy Optim. Decis. Mak. 21, No. 4, 581-603 (2022). MSC: 90Cxx 03Exx 03-XX PDF BibTeX XML Cite \textit{Y.-K. Wu} et al., Fuzzy Optim. Decis. Mak. 21, No. 4, 581--603 (2022; Zbl 07614809) Full Text: DOI OpenURL
Casals-Ruiz, Montserrat Corrigendum to: “Embeddability and universal theory of partially commutative groups”. (English) Zbl 07614315 Int. Math. Res. Not. 2022, No. 21, 17303-17304 (2022). MSC: 20F36 20F10 20E07 05C25 03C60 PDF BibTeX XML Cite \textit{M. Casals-Ruiz}, Int. Math. Res. Not. 2022, No. 21, 17303--17304 (2022; Zbl 07614315) Full Text: DOI OpenURL
Feinberg, Eugene A.; Kasyanov, Pavlo O.; Zgurovsky, Michael Z. Continuity of equilibria for two-person zero-sum games with noncompact action sets and unbounded payoffs. (English) Zbl 07614230 Ann. Oper. Res. 317, No. 2, 537-568 (2022). MSC: 91A05 91A44 PDF BibTeX XML Cite \textit{E. A. Feinberg} et al., Ann. Oper. Res. 317, No. 2, 537--568 (2022; Zbl 07614230) Full Text: DOI arXiv OpenURL
Leonardis, A.; D’Atri, G.; Zanardo, E. Goodstein’s generalized theorem: from rooted tree representations to the hydra game. (English) Zbl 07614167 J. Appl. Math. Inform. 40, No. 5-6, 883-896 (2022). MSC: 03D20 11U99 05C05 PDF BibTeX XML Cite \textit{A. Leonardis} et al., J. Appl. Math. Inform. 40, No. 5--6, 883--896 (2022; Zbl 07614167) Full Text: DOI OpenURL
Bodini, Oliver; Singh, Alexandros; Zeilberger, Noam Sampling \(\beta\)-normal linear \(\lambda\)-terms. (English) Zbl 07614095 PU.M.A., Pure Math. Appl. 30, No. 1, 45-55 (2022). MSC: 05C30 03B40 05A19 05A16 PDF BibTeX XML Cite \textit{O. Bodini} et al., PU.M.A., Pure Math. Appl. 30, No. 1, 45--55 (2022; Zbl 07614095) Full Text: DOI OpenURL
Hirsch, Robin; Mikulás, Szabolcs; Stokes, Tim The algebra of non-deterministic programs: demonic operations, orders and axioms. (English) Zbl 07613863 Log. J. IGPL 30, No. 5, 886-906 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{R. Hirsch} et al., Log. J. IGPL 30, No. 5, 886--906 (2022; Zbl 07613863) Full Text: DOI arXiv OpenURL
Gilbert, David; Kubyshkina, Ekaterina; Petrolo, Mattia; Venturi, Giorgio Logics of ignorance and being wrong. (English) Zbl 07613862 Log. J. IGPL 30, No. 5, 870-885 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{D. Gilbert} et al., Log. J. IGPL 30, No. 5, 870--885 (2022; Zbl 07613862) Full Text: DOI OpenURL
Chajda, Ivan; Fazio, Davide; Länger, Helmut; Ledda, Antonio; Paseka, Jan Algebraic properties of paraorthomodular posets. (English) Zbl 07613861 Log. J. IGPL 30, No. 5, 840-869 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{I. Chajda} et al., Log. J. IGPL 30, No. 5, 840--869 (2022; Zbl 07613861) Full Text: DOI arXiv OpenURL
Rivieccio, Umberto Fragments of quasi-Nelson: the algebraizable core. (English) Zbl 07613860 Log. J. IGPL 30, No. 5, 807-839 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{U. Rivieccio}, Log. J. IGPL 30, No. 5, 807--839 (2022; Zbl 07613860) Full Text: DOI OpenURL
Agudelo-Agudelo, Juan C.; Sicard-Ramírez, Andrés Type theory with opposite types: a paraconsistent type theory. (English) Zbl 07613859 Log. J. IGPL 30, No. 5, 777-806 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{J. C. Agudelo-Agudelo} and \textit{A. Sicard-Ramírez}, Log. J. IGPL 30, No. 5, 777--806 (2022; Zbl 07613859) Full Text: DOI OpenURL
Gerner, Matthias Sample logic. (English) Zbl 07613858 Log. J. IGPL 30, No. 5, 728-776 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{M. Gerner}, Log. J. IGPL 30, No. 5, 728--776 (2022; Zbl 07613858) Full Text: DOI OpenURL
Wolfgram, Jonathan; Cook, Roy T. Strong homomorphisms, category theory, and semantic paradox. (English) Zbl 07613703 Rev. Symb. Log. 15, No. 4, 1070-1093 (2022). MSC: 03A05 03B20 PDF BibTeX XML Cite \textit{J. Wolfgram} and \textit{R. T. Cook}, Rev. Symb. Log. 15, No. 4, 1070--1093 (2022; Zbl 07613703) Full Text: DOI OpenURL
Gorbow, Paul K.; Leigh, Graham E. The Copernican multiverse of sets. (English) Zbl 07613702 Rev. Symb. Log. 15, No. 4, 1033-1069 (2022). MSC: 03A05 03E30 03E35 03E65 03H05 PDF BibTeX XML Cite \textit{P. K. Gorbow} and \textit{G. E. Leigh}, Rev. Symb. Log. 15, No. 4, 1033--1069 (2022; Zbl 07613702) Full Text: DOI arXiv OpenURL
Krawczyk, Krzysztof A. Three model-theoretic constructions for generalized Epstein semantics. (English) Zbl 07613701 Rev. Symb. Log. 15, No. 4, 1023-1032 (2022). MSC: 03B60 03C20 03C80 PDF BibTeX XML Cite \textit{K. A. Krawczyk}, Rev. Symb. Log. 15, No. 4, 1023--1032 (2022; Zbl 07613701) Full Text: DOI OpenURL
Fusco, Melissa; Kocurek, Alexander W. A two-dimensional logic for two paradoxes of deontic modality. (English) Zbl 07613700 Rev. Symb. Log. 15, No. 4, 991-1022 (2022). MSC: 03B65 03B45 PDF BibTeX XML Cite \textit{M. Fusco} and \textit{A. W. Kocurek}, Rev. Symb. Log. 15, No. 4, 991--1022 (2022; Zbl 07613700) Full Text: DOI OpenURL
Bezhanishvili, Nick; Grilletti, Gianluca; Quadrellaro, Davide Emilio An algebraic approach to inquisitive and \(\mathtt{DNA} \)-logics. (English) Zbl 07613699 Rev. Symb. Log. 15, No. 4, 950-990 (2022). MSC: 03B55 03B60 06D20 08B15 PDF BibTeX XML Cite \textit{N. Bezhanishvili} et al., Rev. Symb. Log. 15, No. 4, 950--990 (2022; Zbl 07613699) Full Text: DOI OpenURL
Button, Tim; Trueman, Robert Against cumulative type theory. (English) Zbl 07613698 Rev. Symb. Log. 15, No. 4, 907-949 (2022). MSC: 03B38 03A05 PDF BibTeX XML Cite \textit{T. Button} and \textit{R. Trueman}, Rev. Symb. Log. 15, No. 4, 907--949 (2022; Zbl 07613698) Full Text: DOI arXiv OpenURL
Freund, Anton A mathematical commitment without computational strength. (English) Zbl 07613697 Rev. Symb. Log. 15, No. 4, 880-906 (2022). MSC: 03F30 03F40 03A05 68R10 PDF BibTeX XML Cite \textit{A. Freund}, Rev. Symb. Log. 15, No. 4, 880--906 (2022; Zbl 07613697) Full Text: DOI arXiv OpenURL
Van Gessel, Thom Questions in two-dimensional logic. (English) Zbl 07613696 Rev. Symb. Log. 15, No. 4, 859-879 (2022). MSC: 03B42 03B45 03B60 PDF BibTeX XML Cite \textit{T. Van Gessel}, Rev. Symb. Log. 15, No. 4, 859--879 (2022; Zbl 07613696) Full Text: DOI OpenURL
Li, Dazhu; Wang, Yanjing Mereological bimodal logics. (English) Zbl 07613695 Rev. Symb. Log. 15, No. 4, 823-858 (2022). MSC: 03B45 03A05 03C80 03C07 PDF BibTeX XML Cite \textit{D. Li} and \textit{Y. Wang}, Rev. Symb. Log. 15, No. 4, 823--858 (2022; Zbl 07613695) Full Text: DOI OpenURL
Wirth, Laura Weighted automata, formal power series and weighted logic. (English) Zbl 07613429 BestMasters. Wiesbaden: Springer Spektrum; Konstanz: Univ. of Konstanz (Master Thesis) (ISBN 978-3-658-39322-9/pbk; 978-3-658-39323-6/ebook). xi, 190 p. (2022). MSC: 68-02 68Q45 68Q70 20F10 13F25 03D05 03B70 PDF BibTeX XML Cite \textit{L. Wirth}, Weighted automata, formal power series and weighted logic. Wiesbaden: Springer Spektrum; Konstanz: Univ. of Konstanz (Master Thesis) (2022; Zbl 07613429) Full Text: DOI OpenURL
Borumand Saeid, Arsham; Rezaei, Akbar; Bandaru, Ravikumar; Jun, Young Bae Voluntary GE-filters and further results of GE-filters in GE-algebras. (English) Zbl 07613316 J. Algebr. Syst. 10, No. 1, 31-47 (2022). MSC: 03G25 06F35 PDF BibTeX XML Cite \textit{A. Borumand Saeid} et al., J. Algebr. Syst. 10, No. 1, 31--47 (2022; Zbl 07613316) Full Text: DOI OpenURL
Andréka, Hajnal; Gyenis, Zalán; Németi, István; Sain, Ildikó Universal algebraic logic. Dedicated to the Unity of Science. (English) Zbl 07613273 Studies in Universal Logic. Cham: Birkhäuser (ISBN 978-3-031-14886-6/hbk). (2022). MSC: 03-01 PDF BibTeX XML Full Text: DOI OpenURL
Grossi, Davide; van der Hoek, Wiebe; Kuijer, Louwe B. Reasoning about general preference relations. (English) Zbl 07613171 Artif. Intell. 313, Article ID 103793, 44 p. (2022). MSC: 68Txx PDF BibTeX XML Cite \textit{D. Grossi} et al., Artif. Intell. 313, Article ID 103793, 44 p. (2022; Zbl 07613171) Full Text: DOI OpenURL
Jung, Jean Christoph; Lutz, Carsten; Pulcini, Hadrien; Wolter, Frank Logical separability of labeled data examples under ontologies. (English) Zbl 07613163 Artif. Intell. 313, Article ID 103785, 53 p. (2022). MSC: 68Txx PDF BibTeX XML Cite \textit{J. C. Jung} et al., Artif. Intell. 313, Article ID 103785, 53 p. (2022; Zbl 07613163) Full Text: DOI arXiv OpenURL
Angiulli, Fabrizio; Ben-Eliyahu-Zohary, Rachel; Fassetti, Fabio; Palopoli, Luigi Graph-based construction of minimal models. (English) Zbl 07613159 Artif. Intell. 313, Article ID 103754, 22 p. (2022). MSC: 68Txx PDF BibTeX XML Cite \textit{F. Angiulli} et al., Artif. Intell. 313, Article ID 103754, 22 p. (2022; Zbl 07613159) Full Text: DOI OpenURL
Hemelaer, Jens Some toposes over which essential implies locally connected. (English. French summary) Zbl 07613128 Cah. Topol. Géom. Différ. Catég. 63, No. 4, 425-451 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 18F10 03G30 PDF BibTeX XML Cite \textit{J. Hemelaer}, Cah. Topol. Géom. Différ. Catég. 63, No. 4, 425--451 (2022; Zbl 07613128) Full Text: arXiv Link OpenURL
Aşıcı, Emel On the construction of t-norms (t-conorms) by using interior (closure) operator on bounded lattices. (English) Zbl 07613055 Kybernetika 58, No. 3, 456-478 (2022). MSC: 03E72 03B52 PDF BibTeX XML Cite \textit{E. Aşıcı}, Kybernetika 58, No. 3, 456--478 (2022; Zbl 07613055) Full Text: DOI OpenURL
Ying, Li-Jun; Qin, Feng Migrativity properties of 2-uninorms over semi-t-operators. (English) Zbl 07613050 Kybernetika 58, No. 3, 354-375 (2022). MSC: 03B52 94D05 PDF BibTeX XML Cite \textit{L.-J. Ying} and \textit{F. Qin}, Kybernetika 58, No. 3, 354--375 (2022; Zbl 07613050) Full Text: DOI OpenURL
Palchunov, D. E. Model theory of subject domains. I. (English. Russian original) Zbl 07612841 Algebra Logic 61, No. 2, 166-173 (2022); translation from Algebra Logika 61, No. 2, 239-250 (2022). MSC: 03-XX 20-XX PDF BibTeX XML Cite \textit{D. E. Palchunov}, Algebra Logic 61, No. 2, 166--173 (2022; Zbl 07612841); translation from Algebra Logika 61, No. 2, 239--250 (2022) Full Text: DOI OpenURL
Zhelyabin, V. N.; Pozhidaev, A. P.; Umirbaev, U. U. Simple Lie-solvable pre-Lie algebras. (English. Russian original) Zbl 07612840 Algebra Logic 61, No. 2, 160-165 (2022); translation from Algebra Logika 61, No. 2, 230-238 (2022). MSC: 03-XX 20-XX PDF BibTeX XML Cite \textit{V. N. Zhelyabin} et al., Algebra Logic 61, No. 2, 160--165 (2022; Zbl 07612840); translation from Algebra Logika 61, No. 2, 230--238 (2022) Full Text: DOI OpenURL
Khoussainov, B.; Melnikov, A. G. Decomposability and computability. (English. Russian original) Zbl 07612839 Algebra Logic 61, No. 2, 153-159 (2022); translation from Algebra Logika 61, No. 2, 220-229 (2022). MSC: 03-XX 20-XX PDF BibTeX XML Cite \textit{B. Khoussainov} and \textit{A. G. Melnikov}, Algebra Logic 61, No. 2, 153--159 (2022; Zbl 07612839); translation from Algebra Logika 61, No. 2, 220--229 (2022) Full Text: DOI OpenURL
Timoshenko, E. I. Group signature formulas constructed from graphs. (English. Russian original) Zbl 07612838 Algebra Logic 61, No. 2, 139-152 (2022); translation from Algebra Logika 61, No. 2, 201-219 (2022). MSC: 03-XX 20-XX PDF BibTeX XML Cite \textit{E. I. Timoshenko}, Algebra Logic 61, No. 2, 139--152 (2022; Zbl 07612838); translation from Algebra Logika 61, No. 2, 201--219 (2022) Full Text: DOI OpenURL
Korobkov, S. S. Projections of semilocal rings. (English. Russian original) Zbl 07612837 Algebra Logic 61, No. 2, 125-138 (2022); translation from Algebra Logika 61, No. 2, 180-200 (2022). MSC: 03-XX 20-XX PDF BibTeX XML Cite \textit{S. S. Korobkov}, Algebra Logic 61, No. 2, 125--138 (2022; Zbl 07612837); translation from Algebra Logika 61, No. 2, 180--200 (2022) Full Text: DOI OpenURL
Vasil’ev, A. S.; Revin, D. O. Relatively maximal subgroups of odd index in symmetric groups. (English. Russian original) Zbl 07612836 Algebra Logic 61, No. 2, 104-124 (2022); translation from Algebra Logika 61, No. 2, 150-179 (2022). MSC: 03-XX 20-XX PDF BibTeX XML Cite \textit{A. S. Vasil'ev} and \textit{D. O. Revin}, Algebra Logic 61, No. 2, 104--124 (2022; Zbl 07612836); translation from Algebra Logika 61, No. 2, 150--179 (2022) Full Text: DOI OpenURL
Aladova, E. V. Method of verbal operations and automorphisms of the category of free algebras. (English. Russian original) Zbl 07612835 Algebra Logic 61, No. 2, 87-103 (2022); translation from Algebra Logika 61, No. 2, 127-149 (2022). MSC: 03-XX 20-XX PDF BibTeX XML Cite \textit{E. V. Aladova}, Algebra Logic 61, No. 2, 87--103 (2022; Zbl 07612835); translation from Algebra Logika 61, No. 2, 127--149 (2022) Full Text: DOI OpenURL
Zhao, Zhen An update of Tarski: two usages of the word “true”. (English) Zbl 07612189 J. Logic Lang. Inf. 31, No. 3, 505-523 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{Z. Zhao}, J. Logic Lang. Inf. 31, No. 3, 505--523 (2022; Zbl 07612189) Full Text: DOI OpenURL
Sikorski, Michal The Ramsey test and evidential support theory. (English) Zbl 07612188 J. Logic Lang. Inf. 31, No. 3, 493-504 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{M. Sikorski}, J. Logic Lang. Inf. 31, No. 3, 493--504 (2022; Zbl 07612188) Full Text: DOI OpenURL
Radulescu, Dan Constantin A matricial Vue of classical syllogistic and an extension of the rules of valid syllogism to rules of conclusive syllogisms with indefinite terms. (English) Zbl 07612187 J. Logic Lang. Inf. 31, No. 3, 465-491 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{D. C. Radulescu}, J. Logic Lang. Inf. 31, No. 3, 465--491 (2022; Zbl 07612187) Full Text: DOI OpenURL
Pizzi, Claudio E. A. Possibility and dyadic contingency. (English) Zbl 07612186 J. Logic Lang. Inf. 31, No. 3, 451-463 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{C. E. A. Pizzi}, J. Logic Lang. Inf. 31, No. 3, 451--463 (2022; Zbl 07612186) Full Text: DOI OpenURL