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 PDF BibTeX XML Cite \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 PDF BibTeX 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 PDF BibTeX XML Full Text: DOI
Cotnoir, A. J.; Varzi, Achille C. Mereology (to appear). 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 PDF BibTeX XML Cite \textit{A. J. Cotnoir} and \textit{A. C. Varzi}, Mereology (to appear). Reprint of the 2021 hardback edition. Oxford: Oxford University Press (2024; Zbl 07748856)
Raghavan, Dilip (ed.) Editorial. (English) Zbl 07748761 Ann. Pure Appl. Logic 175, No. 1, Article ID 103343, 1 p. (2024). MSC: 00Bxx 03-XX PDF BibTeX XML Cite \textit{D. Raghavan} (ed.), Ann. Pure Appl. Logic 175, No. 1, Article ID 103343, 1 p. (2024; Zbl 07748761) 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 PDF BibTeX XML Cite \textit{A. Kanamori}, Ann. Pure Appl. Logic 175, No. 1, Article ID 103319, 7 p. (2024; Zbl 07748745) Full Text: DOI
Gödel, Kurt Band 5 Maximen V / Maxims V. Bilingual. Edited by Eva-Maria Engelen (to appear). (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). (2024). MSC: 03-02 01A60 01A70 PDF BibTeX XML
Jana, Chiranjibe; Pal, Madhumangal; Balas, Valentina; Yager, Ronald R. Picture fuzzy logic and its applications in decision making problems (to appear). (English) Zbl 07707419 Amsterdam: Elsevier/Academic Press (ISBN 978-0-443-22024-1/pbk). (2024). MSC: 03-02 91-02 03E72 91B06 91B86 PDF BibTeX XML
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 PDF BibTeX XML Cite \textit{M. Milanič} et al., Discrete mathematics with logic. Amsterdam: Elsevier/Academic Press (2024; Zbl 07639967)
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 PDF BibTeX XML Cite \textit{H. Sturm}, Philosophie der Logik. Berlin: De Gruyter (2024; Zbl 07035948)
Semenov, A. L.; Soprunov, S. F.; Ivanov-Pogodaev, I. A. Creating new mathematics by schoolchildren. (English. Russian original) Zbl 07772668 Dokl. Math. 107, Part Suppl. 1, S132-S136 (2023); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 511, 138-143 (2023). MSC: 03Bxx 47Bxx 03Dxx PDF BibTeX XML Cite \textit{A. L. Semenov} et al., Dokl. Math. 107, Part Suppl. 1, S132--S136 (2023; Zbl 07772668); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 511, 138--143 (2023) Full Text: DOI
Posicelskaya, M. A.; Rudchenko, T. A.; Semenov, A. L. Mathematical elements of elementary education. (English. Russian original) Zbl 07772662 Dokl. Math. 107, Part Suppl. 1, S10-S41 (2023); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 511, 21-53 (2023). MSC: 03Bxx 03-XX 97Bxx PDF BibTeX XML Cite \textit{M. A. Posicelskaya} et al., Dokl. Math. 107, Part Suppl. 1, S10--S41 (2023; Zbl 07772662); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 511, 21--53 (2023) Full Text: DOI
Gasarch, William Fermat’s last theorem, Schur’s theorem (in Ramsey theory), and the infinitude of the primes. (English) Zbl 07771214 Discrete Math. 346, No. 11, Article ID 113336, 5 p. (2023). MSC: 03-XX 05-XX PDF BibTeX XML Cite \textit{W. Gasarch}, Discrete Math. 346, No. 11, Article ID 113336, 5 p. (2023; Zbl 07771214) Full Text: DOI arXiv
Rabern, Landon Yet another proof of Brooks’ theorem. (English) Zbl 07771212 Discrete Math. 346, No. 11, Article ID 113261, 2 p. (2023). MSC: 03-XX 05-XX PDF BibTeX XML Cite \textit{L. Rabern}, Discrete Math. 346, No. 11, Article ID 113261, 2 p. (2023; Zbl 07771212) Full Text: DOI arXiv
Velleman, Daniel J. Integration by substitution: a case study in the relationship between calculus and analysis. (English) Zbl 07770390 Coll. Math. J. 54, No. 4, 367-373 (2023). MSC: 26-XX 03-XX PDF BibTeX XML Cite \textit{D. J. Velleman}, Coll. Math. J. 54, No. 4, 367--373 (2023; Zbl 07770390) Full Text: DOI
Sporn, Howard Forringer’s method and more trees of Pythagorean triples. (English) Zbl 07770380 Coll. Math. J. 54, No. 4, 269-273 (2023). MSC: 03-XX 05-XX PDF BibTeX XML Cite \textit{H. Sporn}, Coll. Math. J. 54, No. 4, 269--273 (2023; Zbl 07770380) Full Text: DOI
Hansen, Helle Hvid (ed.); Scedrov, Andre (ed.); de Queiroz, Ruy J. G. B. (ed.) Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. (English) Zbl 07768455 Lecture Notes in Computer Science 13923. Cham: Springer (ISBN 978-3-031-39783-7/pbk; 978-3-031-39784-4/ebook). xxxviii, 395 p. (2023). MSC: 03-06 68-06 03B70 00B25 PDF BibTeX XML Cite \textit{H. H. Hansen} (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11--14, 2023. Proceedings. Cham: Springer (2023; Zbl 07768455) Full Text: DOI
Pientka, Brigitte (ed.); Tinelli, Cesare (ed.) Automated deduction – CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1–4, 2023. Proceedings. (English) Zbl 07768439 Lecture Notes in Computer Science 14132. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-031-38498-1/pbk; 978-3-031-38499-8/ebook). xxv, 592 p., open access (2023). MSC: 68-06 03-06 03B35 68V15 00B25 PDF BibTeX XML Cite \textit{B. Pientka} (ed.) and \textit{C. Tinelli} (ed.), Automated deduction -- CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1--4, 2023. Proceedings. Cham: Springer (2023; Zbl 07768439) Full Text: DOI
Zhao, Zhiguang Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic. (English) Zbl 07767291 Stud. Log. 111, No. 6, 1057-1082 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{Z. Zhao}, Stud. Log. 111, No. 6, 1057--1082 (2023; Zbl 07767291) Full Text: DOI arXiv
Zeng, Qianli; Hsiung, Ming The elimination of direct self-reference. (English) Zbl 07767290 Stud. Log. 111, No. 6, 1037-1055 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{Q. Zeng} and \textit{M. Hsiung}, Stud. Log. 111, No. 6, 1037--1055 (2023; Zbl 07767290) Full Text: DOI
Almiñana, Federico G.; Pelaitay, Gustavo; Zuluaga, William On Heyting algebras with negative tense operators. (English) Zbl 07767289 Stud. Log. 111, No. 6, 1015-1036 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{F. G. Almiñana} et al., Stud. Log. 111, No. 6, 1015--1036 (2023; Zbl 07767289) Full Text: DOI arXiv
Kamide, Norihiro Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic. (English) Zbl 07767288 Stud. Log. 111, No. 6, 979-1014 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{N. Kamide}, Stud. Log. 111, No. 6, 979--1014 (2023; Zbl 07767288) Full Text: DOI
Xu, Ming FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3. (English) Zbl 07767286 Stud. Log. 111, No. 6, 899-946 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{M. Xu}, Stud. Log. 111, No. 6, 899--946 (2023; Zbl 07767286) Full Text: DOI
Gupal, A. M.; Vagis, O. A. Incompleteness of arithmetic from the viewpoint of Diophantine set theory. (English. Ukrainian original) Zbl 07765730 Cybern. Syst. Anal. 59, No. 5, 698-703 (2023); translation from Kibern. Sist. Anal. 59, No. 5, 16-21 (2023). MSC: 03Dxx 03-XX 03Bxx PDF BibTeX XML Cite \textit{A. M. Gupal} and \textit{O. A. Vagis}, Cybern. Syst. Anal. 59, No. 5, 698--703 (2023; Zbl 07765730); translation from Kibern. Sist. Anal. 59, No. 5, 16--21 (2023) Full Text: DOI
Faizrahmanov, M. Kh. Effectively infinite classes of numberings of computable families of reals. (English. Russian original) Zbl 07763826 Russ. Math. 67, No. 5, 72-75 (2023); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2023, No. 5, 96-100 (2023). MSC: 03Dxx 03-XX 68Qxx PDF BibTeX XML Cite \textit{M. Kh. Faizrahmanov}, Russ. Math. 67, No. 5, 72--75 (2023; Zbl 07763826); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2023, No. 5, 96--100 (2023) Full Text: DOI
Guo, Jixiao; Chen, Yanping; Zhou, Jianwei; Huang, Yunqing The virtual element method for solving two-dimensional fractional cable equation on general polygonal meshes. (English) Zbl 07761279 Int. J. Comput. Math. 100, No. 10, 2026-2046 (2023). MSC: 03-08 26A33 35R11 PDF BibTeX XML Cite \textit{J. Guo} et al., Int. J. Comput. Math. 100, No. 10, 2026--2046 (2023; Zbl 07761279) Full Text: DOI
Metcalfe, George; Paoli, Francesco; Tsinakis, Constantine Residuated structures in algebra and logic. (English) Zbl 07759245 Mathematical Surveys and Monographs 277. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6985-6/pbk; 978-1-4704-7551-2/ebook). xiii, 265 p. (2023). MSC: 03-02 08-02 PDF BibTeX XML Cite \textit{G. Metcalfe} et al., Residuated structures in algebra and logic. Providence, RI: American Mathematical Society (AMS) (2023; Zbl 07759245) Full Text: DOI
Cornejo, M. Eugenia; Medina, Jesús; Ramírez-Poussa, Eloísa; Rubio-Manzano, Clemente Preferences in discrete multi-adjoint formal concept analysis. (English) Zbl 07758476 Inf. Sci. 650, Article ID 119507, 17 p. (2023). MSC: 68-XX 03-XX PDF BibTeX XML Cite \textit{M. E. Cornejo} et al., Inf. Sci. 650, Article ID 119507, 17 p. (2023; Zbl 07758476) Full Text: DOI
Greenstein, Noah The paradox paradox non-paradox and conjunction fallacy non-fallacy. (English) Zbl 07758373 Australas. J. Log. 20, No. 3, 478-489 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{N. Greenstein}, Australas. J. Log. 20, No. 3, 478--489 (2023; Zbl 07758373) Full Text: DOI
Raidl, Eric; Rott, Hans Threshold-based belief change: rankings and semiorders. (English) Zbl 07758372 Australas. J. Log. 20, No. 3, 429-477 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{E. Raidl} and \textit{H. Rott}, Australas. J. Log. 20, No. 3, 429--477 (2023; Zbl 07758372) Full Text: DOI
Ayhan, Sara What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory. (English) Zbl 07758371 Australas. J. Log. 20, No. 3, 412-428 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{S. Ayhan}, Australas. J. Log. 20, No. 3, 412--428 (2023; Zbl 07758371) Full Text: DOI arXiv
Toyooka, Masanobu; Sano, Katsuhiko Semantic incompleteness of del Cerro and Herzig’s Hilbert system for a combination of classical and intuitionistic propositional logic. (English) Zbl 07758370 Australas. J. Log. 20, No. 3, 397-411 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{M. Toyooka} and \textit{K. Sano}, Australas. J. Log. 20, No. 3, 397--411 (2023; Zbl 07758370) Full Text: DOI arXiv
Andersen, Frederik J. Countering justification holism in the epistemology of logic: the argument from pre-theoretic universality. (English) Zbl 07758369 Australas. J. Log. 20, No. 3, 375-396 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{F. J. Andersen}, Australas. J. Log. 20, No. 3, 375--396 (2023; Zbl 07758369) Full Text: DOI
Robles, Gemma; Méndez, José M. A variety of De Morgan negations in relevant logics. (English) Zbl 07758368 Australas. J. Log. 20, No. 2, 348-374 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{G. Robles} and \textit{J. M. Méndez}, Australas. J. Log. 20, No. 2, 348--374 (2023; Zbl 07758368) Full Text: DOI
Guyet, T. Admissible generalisation of temporal sequences as chronicles. (English) Zbl 07757225 J. Appl. Non-Class. Log. 33, No. 3-4, 641-653 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{T. Guyet}, J. Appl. Non-Class. Log. 33, No. 3--4, 641--653 (2023; Zbl 07757225) Full Text: DOI
Gius, Martin; Tompits, Hans Sequent-type rejection systems for finite-valued non-deterministic logics. (English) Zbl 07757224 J. Appl. Non-Class. Log. 33, No. 3-4, 606-640 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{M. Gius} and \textit{H. Tompits}, J. Appl. Non-Class. Log. 33, No. 3--4, 606--640 (2023; Zbl 07757224) Full Text: DOI
Dubois, Didier; Godo, Lluis; Prade, Henri An elementary belief function logic. (English) Zbl 07757223 J. Appl. Non-Class. Log. 33, No. 3-4, 582-605 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{D. Dubois} et al., J. Appl. Non-Class. Log. 33, No. 3--4, 582--605 (2023; Zbl 07757223) Full Text: DOI arXiv
Belabbes, Sihem; Benferhat, Salem Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases. (English) Zbl 07757222 J. Appl. Non-Class. Log. 33, No. 3-4, 561-581 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{S. Belabbes} and \textit{S. Benferhat}, J. Appl. Non-Class. Log. 33, No. 3--4, 561--581 (2023; Zbl 07757222) Full Text: DOI
Grant, John Postulate satisfaction for inconsistency measures in monotonic logics and databases. (English) Zbl 07757221 J. Appl. Non-Class. Log. 33, No. 3-4, 537-560 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{J. Grant}, J. Appl. Non-Class. Log. 33, No. 3--4, 537--560 (2023; Zbl 07757221) Full Text: DOI
Cialdea Mayer, Marta; Fariñas del Cerro, Luis Logical connectives for two-state semantics. (English) Zbl 07757220 J. Appl. Non-Class. Log. 33, No. 3-4, 520-536 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{M. Cialdea Mayer} and \textit{L. Fariñas del Cerro}, J. Appl. Non-Class. Log. 33, No. 3--4, 520--536 (2023; Zbl 07757220) Full Text: DOI
Becker, Arvid; Cabalar, Pedro; Diéguez, Martín; Farinas del Cerro, Luis; Schaub, Torsten; Schuhmann, Anna Metric dynamic equilibrium logic. (English) Zbl 07757219 J. Appl. Non-Class. Log. 33, No. 3-4, 495-519 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{A. Becker} et al., J. Appl. Non-Class. Log. 33, No. 3--4, 495--519 (2023; Zbl 07757219) Full Text: DOI
Dupin de Saint-Cyr, Florence; Prade, Henri Belief revision and incongruity: is it a joke? (English) Zbl 07757218 J. Appl. Non-Class. Log. 33, No. 3-4, 467-494 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{F. Dupin de Saint-Cyr} and \textit{H. Prade}, J. Appl. Non-Class. Log. 33, No. 3--4, 467--494 (2023; Zbl 07757218) Full Text: DOI arXiv
Bloch, Isabelle; Lang, Jérôme; Pino Pérez, Ramón; Uzcátegui, Carlos Morphologic for knowledge dynamics: revision, fusion and abduction. (English) Zbl 07757217 J. Appl. Non-Class. Log. 33, No. 3-4, 421-466 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{I. Bloch} et al., J. Appl. Non-Class. Log. 33, No. 3--4, 421--466 (2023; Zbl 07757217) Full Text: DOI arXiv
Falappa, Marcelo A.; García, Alejandro J.; Simari, Guillermo R. Merging operators on stratified belief bases equipped with argumentative inference. (English) Zbl 07757216 J. Appl. Non-Class. Log. 33, No. 3-4, 387-420 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{M. A. Falappa} et al., J. Appl. Non-Class. Log. 33, No. 3--4, 387--420 (2023; Zbl 07757216) Full Text: DOI
Bonzon, Elise; Delobelle, Jérôme; Konieczny, Sébastien; Maudet, Nicolas An empirical and axiomatic comparison of ranking-based semantics for abstract argumentation. (English) Zbl 07757215 J. Appl. Non-Class. Log. 33, No. 3-4, 328-386 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{E. Bonzon} et al., J. Appl. Non-Class. Log. 33, No. 3--4, 328--386 (2023; Zbl 07757215) Full Text: DOI
Dvořák, W.; Keshavarzi Zafarghandi, A.; Woltran, S. Expressiveness of SETAFs and support-free ADFs under 3-valued semantics. (English) Zbl 07757214 J. Appl. Non-Class. Log. 33, No. 3-4, 298-327 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{W. Dvořák} et al., J. Appl. Non-Class. Log. 33, No. 3--4, 298--327 (2023; Zbl 07757214) Full Text: DOI
Doutre, Sylvie; Lagasquie-Schiex, Marie-Christine RAFDivider: a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks. (English) Zbl 07757213 J. Appl. Non-Class. Log. 33, No. 3-4, 244-297 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{S. Doutre} and \textit{M.-C. Lagasquie-Schiex}, J. Appl. Non-Class. Log. 33, No. 3--4, 244--297 (2023; Zbl 07757213) Full Text: DOI
Toni, Francesca; Rago, Antonio; Čyras, Kristijonas Forecasting with jury-based probabilistic argumentation. (English) Zbl 07757212 J. Appl. Non-Class. Log. 33, No. 3-4, 224-243 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{F. Toni} et al., J. Appl. Non-Class. Log. 33, No. 3--4, 224--243 (2023; Zbl 07757212) Full Text: DOI
Prakken, Henry When is argumentation deductive? (English) Zbl 07757211 J. Appl. Non-Class. Log. 33, No. 3-4, 212-223 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{H. Prakken}, J. Appl. Non-Class. Log. 33, No. 3--4, 212--223 (2023; Zbl 07757211) Full Text: DOI
Doutre, Sylvie (ed.); Herzig, Andreas (ed.); Hunter, Anthony (ed.) Logic, arguments and inconsistencies: an introduction to the festschrift in honour of Philippe Besnard. (English) Zbl 07757210 J. Appl. Non-Class. Log. 33, No. 3-4, 207-211 (2023). MSC: 00Bxx 03-XX PDF BibTeX XML Cite \textit{S. Doutre} (ed.) et al., J. Appl. Non-Class. Log. 33, No. 3--4, 207--211 (2023; Zbl 07757210) Full Text: DOI
Gusfield, Dan Proven impossible. Elementary proofs of profound impossibility from Arrow, Bell, Chaitin, Gödel, Turing and more (to appear). (English) Zbl 07756482 Cambridge: Cambridge University Press (ISBN 978-1-00-934949-9/pbk; 978-1-00-934950-5/hbk). (2023). MSC: 00A08 03-01 PDF BibTeX XML
Li, Dazhu; Ghosh, Sujata; Liu, Fenrong; Tu, Yaxin A simple logic of the hide and seek game. (English) Zbl 07755335 Stud. Log. 111, No. 5, 821-853 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{D. Li} et al., Stud. Log. 111, No. 5, 821--853 (2023; Zbl 07755335) Full Text: DOI
Kurahashi, Taishi Some observations on the FGH theorem. (English) Zbl 07755333 Stud. Log. 111, No. 5, 749-778 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{T. Kurahashi}, Stud. Log. 111, No. 5, 749--778 (2023; Zbl 07755333) Full Text: DOI arXiv OA License
Rocha, Maristela A study of the metatheory of assertoric syllogistic. (English) Zbl 07753872 Log. Univers. 17, No. 3, 347-371 (2023). MSC: 03-XX 01A20 03B10 03E75 PDF BibTeX XML Cite \textit{M. Rocha}, Log. Univers. 17, No. 3, 347--371 (2023; Zbl 07753872) Full Text: DOI
van Berkel, Kees; Lyon, Tim S.; Pascucci, Matteo A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations. (English) Zbl 07753837 J. Philos. Log. 52, No. 5, 1475-1516 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{K. van Berkel} et al., J. Philos. Log. 52, No. 5, 1475--1516 (2023; Zbl 07753837) Full Text: DOI arXiv OA License
Castañeda, Armando; van Ditmarsch, Hans; Rosenblueth, David A.; Velázquez, Diego A. Communication pattern logic: epistemic and topological views. (English) Zbl 07753836 J. Philos. Log. 52, No. 5, 1445-1473 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{A. Castañeda} et al., J. Philos. Log. 52, No. 5, 1445--1473 (2023; Zbl 07753836) Full Text: DOI arXiv
Kapsner, Andreas; Rivieccio, Umberto The value of the one value: exactly true logic revisited. (English) Zbl 07753835 J. Philos. Log. 52, No. 5, 1417-1444 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{A. Kapsner} and \textit{U. Rivieccio}, J. Philos. Log. 52, No. 5, 1417--1444 (2023; Zbl 07753835) Full Text: DOI OA License
Wójtowicz, Anna; Wójtowicz, Krzysztof A minimal probability space for conditionals. (English) Zbl 07753834 J. Philos. Log. 52, No. 5, 1385-1415 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{A. Wójtowicz} and \textit{K. Wójtowicz}, J. Philos. Log. 52, No. 5, 1385--1415 (2023; Zbl 07753834) Full Text: DOI OA License
Niki, Satoru; Wansing, Heinrich On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\). (English) Zbl 07753833 J. Philos. Log. 52, No. 5, 1355-1383 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{S. Niki} and \textit{H. Wansing}, J. Philos. Log. 52, No. 5, 1355--1383 (2023; Zbl 07753833) Full Text: DOI OA License
Sbardolini, Giorgio The logic of lexical connectives. (English) Zbl 07753832 J. Philos. Log. 52, No. 5, 1327-1353 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{G. Sbardolini}, J. Philos. Log. 52, No. 5, 1327--1353 (2023; Zbl 07753832) Full Text: DOI OA License
Fischer, Martin; Zicchetti, Matteo Internal categoricity, truth and determinacy. (English) Zbl 07753831 J. Philos. Log. 52, No. 5, 1295-1325 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{M. Fischer} and \textit{M. Zicchetti}, J. Philos. Log. 52, No. 5, 1295--1325 (2023; Zbl 07753831) Full Text: DOI OA License
Schlöder, Julian J. Identity and harmony and modality. (English) Zbl 07753830 J. Philos. Log. 52, No. 5, 1269-1294 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{J. J. Schlöder}, J. Philos. Log. 52, No. 5, 1269--1294 (2023; Zbl 07753830) Full Text: DOI
Mollica, Leona The logic of action and control. (English) Zbl 07753829 J. Philos. Log. 52, No. 5, 1237-1268 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{L. Mollica}, J. Philos. Log. 52, No. 5, 1237--1268 (2023; Zbl 07753829) Full Text: DOI
Schneider, Peter; Venjakob, Otmar Compairing categories of Lubin-Tate \((\varphi_L,\Gamma_L)\)-modules. (English) Zbl 07753743 Result. Math. 78, No. 6, Paper No. 230, 36 p. (2023). MSC: 68-XX 03-XX PDF BibTeX XML Cite \textit{P. Schneider} and \textit{O. Venjakob}, Result. Math. 78, No. 6, Paper No. 230, 36 p. (2023; Zbl 07753743) Full Text: DOI arXiv OA License
Xue, Tao; Luo, Zhaohui; Chatzikyriakidis, Stergios Propositional forms of judgemental interpretations. (English) Zbl 07753648 J. Logic Lang. Inf. 32, No. 4, 733-758 (2023). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{T. Xue} et al., J. Logic Lang. Inf. 32, No. 4, 733--758 (2023; Zbl 07753648) Full Text: DOI
Hosokawa, Yuichiro From counterfactual conditionals to temporal conditionals. (English) Zbl 07753646 J. Logic Lang. Inf. 32, No. 4, 677-706 (2023). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{Y. Hosokawa}, J. Logic Lang. Inf. 32, No. 4, 677--706 (2023; Zbl 07753646) Full Text: DOI
Hansson, Sven Ove Iterated AGM revision based on probability revision. (English) Zbl 07753645 J. Logic Lang. Inf. 32, No. 4, 657-675 (2023). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{S. O. Hansson}, J. Logic Lang. Inf. 32, No. 4, 657--675 (2023; Zbl 07753645) Full Text: DOI
Grünberg, Teo; Grünberg, David; Akçelik, Oğuz On the fundamental role of ‘means that’ in semantic theorizing. (English) Zbl 07753644 J. Logic Lang. Inf. 32, No. 4, 601-656 (2023). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{T. Grünberg} et al., J. Logic Lang. Inf. 32, No. 4, 601--656 (2023; Zbl 07753644) Full Text: DOI
Gierasimczuk, Nina; Kalociński, Dariusz; Rakowski, Franciszek; Uszyński, Jakub Convexity and monotonicity in language coordination: simulating the emergence of semantic universals in populations of cognitive agents. (English) Zbl 07753643 J. Logic Lang. Inf. 32, No. 4, 569-600 (2023). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{N. Gierasimczuk} et al., J. Logic Lang. Inf. 32, No. 4, 569--600 (2023; Zbl 07753643) Full Text: DOI
Aloni, Maria; van Ormondt, Peter Modified numerals and split disjunction: the first-order case. (English) Zbl 07753642 J. Logic Lang. Inf. 32, No. 4, 539-567 (2023). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{M. Aloni} and \textit{P. van Ormondt}, J. Logic Lang. Inf. 32, No. 4, 539--567 (2023; Zbl 07753642) Full Text: DOI
Keller, Chaya; Perles, Micha A. No Krasnosel’skiĭ number for general sets. (English) Zbl 07753385 Isr. J. Math. 256, No. 1, 345-361 (2023). MSC: 03Exx 52Axx 03-XX PDF BibTeX XML Cite \textit{C. Keller} and \textit{M. A. Perles}, Isr. J. Math. 256, No. 1, 345--361 (2023; Zbl 07753385) Full Text: DOI arXiv
Kaplan, Itay (ed.); Rideau-Kikuchi, Silvain (ed.); Tent, Katrin (ed.); Wagner, Frank Olaf (ed.) Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8–14, 2023. (English) Zbl 07753243 Oberwolfach Rep. 20, No. 1, 91-149 (2023). MSC: 00B05 00B25 03-06 03Cxx PDF BibTeX XML Cite \textit{I. Kaplan} (ed.) et al., Oberwolfach Rep. 20, No. 1, 91--149 (2023; Zbl 07753243) Full Text: DOI
Moortgat, Michael (ed.); Sadrzadeh, Mehrnoosh (ed.) Proceedings of modalities in substructural logics: applications at the interfaces of logic, language and computation, AMSLO 2023, Ljubljana, Slovenia, August 7–8, 2023. (English) Zbl 07750606 Electronic Proceedings in Theoretical Computer Science (EPTCS) 381. Waterloo: Open Publishing Association (OPA). 70 p., electronic only, open access (2023). MSC: 03-06 03B47 03B65 03B70 00B25 PDF BibTeX XML Cite \textit{M. Moortgat} (ed.) and \textit{M. Sadrzadeh} (ed.), Proceedings of modalities in substructural logics: applications at the interfaces of logic, language and computation, AMSLO 2023, Ljubljana, Slovenia, August 7--8, 2023. Waterloo: Open Publishing Association (OPA) (2023; Zbl 07750606) Full Text: DOI arXiv Link
Nantes-Sobrinho, Daniele (ed.); Fontaine, Pascal (ed.) Proceedings of the 17th international workshop on logical and semantic frameworks with applications, LSFA, Belo Horizonte, Brazil, September 23–24, 2022. (English) Zbl 07750602 Electronic Proceedings in Theoretical Computer Science (EPTCS) 376. Waterloo: Open Publishing Association (OPA). 99 p., electronic only, open access (2023). MSC: 68-06 03-06 03B70 68Q55 00B25 PDF BibTeX XML Cite \textit{D. Nantes-Sobrinho} (ed.) and \textit{P. Fontaine} (ed.), Proceedings of the 17th international workshop on logical and semantic frameworks with applications, LSFA, Belo Horizonte, Brazil, September 23--24, 2022. Waterloo: Open Publishing Association (OPA) (2023; Zbl 07750602) Full Text: DOI arXiv Link
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. (2023). MSC: 03-02 03A05 03B45 PDF BibTeX XML Cite \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 (2023; Zbl 07749100)
Roberts, David Michael Substructural fixed-point theorems and the diagonal argument: theme and variations. (English) Zbl 07748592 Compositionality 5, No. 8, 16 p. (2023). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{D. M. Roberts}, Compositionality 5, No. 8, 16 p. (2023; Zbl 07748592) Full Text: DOI arXiv
Sinha, Kalyan A study on (weakly) sign-symmetric \(Q_0\)-matrix completion problems. (English) Zbl 07746921 Afr. Mat. 34, No. 4, Paper No. 65, 12 p. (2023). MSC: 90Cxx 03-XX PDF BibTeX XML Cite \textit{K. Sinha}, Afr. Mat. 34, No. 4, Paper No. 65, 12 p. (2023; Zbl 07746921) Full Text: DOI
Saken, Aigerim; Karlsson, Emil; Maher, Stephen J.; Rönnberg, Elina Computational evaluation of cut-strengthening techniques in logic-based Benders’ decomposition. (English) Zbl 07746413 SN Oper. Res. Forum 4, No. 3, Paper No. 62, 53 p. (2023). MSC: 90Cxx PDF BibTeX XML Cite \textit{A. Saken} et al., SN Oper. Res. Forum 4, No. 3, Paper No. 62, 53 p. (2023; Zbl 07746413) Full Text: DOI
Lietz, Andreas Forcing “\(NS_{\omega1}\) is \(\omega_1\)-dense” from large cardinals. A journey guided by the stars. (English) Zbl 1521.03003 Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.). ix, 243 p. (2023). MSC: 03-02 03E35 03E55 PDF BibTeX XML Cite \textit{A. Lietz}, Forcing ``\(NS_{\omega1}\) is \(\omega_1\)-dense'' from large cardinals. A journey guided by the stars. Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.) (2023; Zbl 1521.03003)
Laguzzi, Giorgio; Mildenberger, Heike; Stuber-Rousselle, Brendan Mathias and silver forcing parametrized by density. (English) Zbl 07742498 Arch. Math. Logic 62, No. 7-8, 965-990 (2023). MSC: 03-02 PDF BibTeX XML Cite \textit{G. Laguzzi} et al., Arch. Math. Logic 62, No. 7--8, 965--990 (2023; Zbl 07742498) Full Text: DOI arXiv OA License
Faizrahmanov, M. Kh. Two theorems on minimal generalized computable numberings. (English. Russian original) Zbl 07741294 Mosc. Univ. Math. Bull. 78, No. 3, 136-143 (2023); translation from Vestn. Mosk. Univ., Ser. I 78, No. 3, 28-35 (2023). MSC: 03Dxx 03-XX 03Cxx PDF BibTeX XML Cite \textit{M. Kh. Faizrahmanov}, Mosc. Univ. Math. Bull. 78, No. 3, 136--143 (2023; Zbl 07741294); translation from Vestn. Mosk. Univ., Ser. I 78, No. 3, 28--35 (2023) Full Text: DOI
Shi, Weijun A topological-algebraic approach to the compactness theorem of classical logic. (English) Zbl 07740649 Log. Issled. 29, No. 1, 147-163 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{W. Shi}, Log. Issled. 29, No. 1, 147--163 (2023; Zbl 07740649) Full Text: DOI
Rybakov, Mikhail Nikolaevich Binary predicate, transitive closure, two-three variables: shall we play dominoes? (Russian. English summary) Zbl 07740648 Log. Issled. 29, No. 1, 114-146 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{M. N. Rybakov}, Log. Issled. 29, No. 1, 114--146 (2023; Zbl 07740648) Full Text: DOI
Skvortsov, Dmitrij On finite domains based slices in the structure of superintuitionistic predicate logics, preview. (English) Zbl 07740647 Log. Issled. 29, No. 1, 101-113 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{D. Skvortsov}, Log. Issled. 29, No. 1, 101--113 (2023; Zbl 07740647) Full Text: DOI
Kon’kova, Antonina Viktorovna On correct syllogisms of the main variant of imaginary logic of N. A. Vasiliev. (Russian. English summary) Zbl 07740646 Log. Issled. 29, No. 1, 84-100 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{A. V. Kon'kova}, Log. Issled. 29, No. 1, 84--100 (2023; Zbl 07740646) Full Text: DOI
Tonoyan, Larisa Grachikovna The logical operation of division by John of Damascus and Nicephoros Blemmydes. (Russian. English summary) Zbl 07740645 Log. Issled. 29, No. 1, 70-83 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{L. G. Tonoyan}, Log. Issled. 29, No. 1, 70--83 (2023; Zbl 07740645) Full Text: DOI
Spiridonova, Lidiya Valentinovna; Kurbanov, Andreĭ Viktorovich Theophilos Corydalleus on the nature of logic and its difference from rhetoric. (Russian. English summary) Zbl 07740644 Log. Issled. 29, No. 1, 43-69 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{L. V. Spiridonova} and \textit{A. V. Kurbanov}, Log. Issled. 29, No. 1, 43--69 (2023; Zbl 07740644) Full Text: DOI
Alekseeva, Alina Sergeevna Terminology and their meanings in Makariy Pеtrovich’s “logic”. (Russian. English summary) Zbl 07740643 Log. Issled. 29, No. 1, 30-42 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{A. S. Alekseeva}, Log. Issled. 29, No. 1, 30--42 (2023; Zbl 07740643) Full Text: DOI
Karpenko, Ivan Aleksandrovich Some preliminary conditions for the creation of the “many-worlds theory of everything” and the development of intellectual intuition. (Russian. English summary) Zbl 07740642 Log. Issled. 29, No. 1, 9-29 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{I. A. Karpenko}, Log. Issled. 29, No. 1, 9--29 (2023; Zbl 07740642) Full Text: DOI
Elkind, Landon D. C.; Zach, Richard The genealogy of ‘\(\boldsymbol{\vee}\)’. (English) Zbl 07740300 Rev. Symb. Log. 16, No. 3, 862-899 (2023). MSC: 03-03 01A55 01A60 PDF BibTeX XML Cite \textit{L. D. C. Elkind} and \textit{R. Zach}, Rev. Symb. Log. 16, No. 3, 862--899 (2023; Zbl 07740300) Full Text: DOI arXiv
Ryan, Patrick J. Szemerédi’s theorem: an exploration of impurity, explanation, and content. (English) Zbl 07740296 Rev. Symb. Log. 16, No. 3, 700-739 (2023). MSC: 00A30 03A05 11P99 11B25 28D05 37A44 03F03 03B30 03F35 PDF BibTeX XML Cite \textit{P. J. Ryan}, Rev. Symb. Log. 16, No. 3, 700--739 (2023; Zbl 07740296) Full Text: DOI
Lethen, Tim Gödel on many-valued logic. (English) Zbl 07740294 Rev. Symb. Log. 16, No. 3, 655-671 (2023). MSC: 03-03 03A05 03B50 PDF BibTeX XML Cite \textit{T. Lethen}, Rev. Symb. Log. 16, No. 3, 655--671 (2023; Zbl 07740294) Full Text: DOI
Kurita, Kensuke; Misawa, Takahiro; Yoshimi, Kazuyoshi; Ido, Kota; Koretsune, Takashi Interface tool from Wannier90 to RESPACK: wan2respack. (English) Zbl 07740228 Comput. Phys. Commun. 292, Article ID 108854, 7 p. (2023). MSC: 68-XX 03-XX PDF BibTeX XML Cite \textit{K. Kurita} et al., Comput. Phys. Commun. 292, Article ID 108854, 7 p. (2023; Zbl 07740228) Full Text: DOI
Hosni, Hykel; Landes, Jürgen Logical perspectives on the foundations of probability. (English) Zbl 07738940 Open Math. 21, Article ID 20220598, 23 p. (2023). MSC: 03-01 03-03 03B42 03B48 60-01 60A99 68T27 68T30 68T37 PDF BibTeX XML Cite \textit{H. Hosni} and \textit{J. Landes}, Open Math. 21, Article ID 20220598, 23 p. (2023; Zbl 07738940) Full Text: DOI
Kawai, Tatsuji Coding of real-valued continuous functions under \(\mathsf{WKL} \). (English) Zbl 07738077 Math. Log. Q. 69, No. 3, 370-391 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{T. Kawai}, Math. Log. Q. 69, No. 3, 370--391 (2023; Zbl 07738077) Full Text: DOI
Keremedis, Kyriakos; Tachtsis, Eleftherios On Hausdorff operators in \(\mathsf{ZF} \). (English) Zbl 07738076 Math. Log. Q. 69, No. 3, 347-369 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{K. Keremedis} and \textit{E. Tachtsis}, Math. Log. Q. 69, No. 3, 347--369 (2023; Zbl 07738076) Full Text: DOI
Panasawatwong, Supakun; Vejjajiva, Pimpen The permutations with \(n\) non-fixed points and the subsets with \(n\) elements of a set. (English) Zbl 07738075 Math. Log. Q. 69, No. 3, 341-346 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{S. Panasawatwong} and \textit{P. Vejjajiva}, Math. Log. Q. 69, No. 3, 341--346 (2023; Zbl 07738075) Full Text: DOI
Meadows, Toby Forcing revisited. (English) Zbl 07738074 Math. Log. Q. 69, No. 3, 287-340 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{T. Meadows}, Math. Log. Q. 69, No. 3, 287--340 (2023; Zbl 07738074) Full Text: DOI
Creiner, Alex; Jackson, Stephen Borel complexity and Ramsey largeness of sets of oracles separating complexity classes. (English) Zbl 07738073 Math. Log. Q. 69, No. 3, 267-286 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{A. Creiner} and \textit{S. Jackson}, Math. Log. Q. 69, No. 3, 267--286 (2023; Zbl 07738073) Full Text: DOI arXiv
Jeřábek, Emil Models of \(\mathsf{VTC^0}\) as exponential integer parts. (English) Zbl 07738004 Math. Log. Q. 69, No. 2, 244-260 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{E. Jeřábek}, Math. Log. Q. 69, No. 2, 244--260 (2023; Zbl 07738004) Full Text: DOI arXiv OA License