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
Miyamoto, Kenji; Moser, Georg Herbrand complexity and the epsilon calculus with equality. (English) Zbl 07790932 Arch. Math. Logic 63, No. 1-2, 89-118 (2024). MSC: 03F05 03F07 03F20 PDFBibTeX XMLCite \textit{K. Miyamoto} and \textit{G. Moser}, Arch. Math. Logic 63, No. 1--2, 89--118 (2024; Zbl 07790932) Full Text: DOI
Petric, Zoran; Zekic, Mladen Coherence for logicians. arXiv:2402.01285 Preprint, arXiv:2402.01285 [math.LO] (2024). MSC: 03B47 03F05 03F07 03G30 18M05 18M30 BibTeX Cite \textit{Z. Petric} and \textit{M. Zekic}, ``Coherence for logicians'', Preprint, arXiv:2402.01285 [math.LO] (2024) Full Text: arXiv OA License
Martini, Simone; Masini, Andrea; Zorzi, Margherita Cut elimination for extended sequent calculi. (English) Zbl 07811422 Bull. Sect. Log., Univ. Łódź, Dep. Log. 52, No. 4, 459-495 (2023). MSC: 03B22 03B45 03F05 PDFBibTeX XMLCite \textit{S. Martini} et al., Bull. Sect. Log., Univ. Łódź, Dep. Log. 52, No. 4, 459--495 (2023; Zbl 07811422) Full Text: DOI
van Dijk, Emma; Ripley, David; Gutierrez, Julian Core type theory. (English) Zbl 07811412 Bull. Sect. Log., Univ. Łódź, Dep. Log. 52, No. 2, 145-186 (2023). MSC: 03A05 03B38 03B47 03F05 PDFBibTeX XMLCite \textit{E. van Dijk} et al., Bull. Sect. Log., Univ. Łódź, Dep. Log. 52, No. 2, 145--186 (2023; Zbl 07811412) Full Text: DOI
Nicolai, Carlo; Rossi, Lorenzo Systems for non-reflexive consequence. (English) Zbl 07767287 Stud. Log. 111, No. 6, 947-977 (2023). MSC: 03F05 03A99 PDFBibTeX XMLCite \textit{C. Nicolai} and \textit{L. Rossi}, Stud. Log. 111, No. 6, 947--977 (2023; Zbl 07767287) Full Text: DOI OA License
Mohammadi, Hamzeh; Aghaei, Mojtaba Rooted hypersequent calculus for modal logic S5. (English) Zbl 07753869 Log. Univers. 17, No. 3, 269-295 (2023). MSC: 03F03 03F05 03B45 PDFBibTeX XMLCite \textit{H. Mohammadi} and \textit{M. Aghaei}, Log. Univers. 17, No. 3, 269--295 (2023; Zbl 07753869) Full Text: DOI arXiv
Tesi, Matteo; Negri, Sara The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions. (English) Zbl 07695414 Ann. Pure Appl. Logic 174, No. 8, Article ID 103285, 30 p. (2023). MSC: 03F03 03F05 03F07 03B45 PDFBibTeX XMLCite \textit{M. Tesi} and \textit{S. Negri}, Ann. Pure Appl. Logic 174, No. 8, Article ID 103285, 30 p. (2023; Zbl 07695414) Full Text: DOI
Fellin, Giulio; Negri, Sara; Orlandelli, Eugenio Glivenko sequent classes and constructive cut elimination in geometric logics. (English) Zbl 07691802 Arch. Math. Logic 62, No. 5-6, 657-688 (2023). MSC: 03F05 03B20 18C10 18B15 PDFBibTeX XMLCite \textit{G. Fellin} et al., Arch. Math. Logic 62, No. 5--6, 657--688 (2023; Zbl 07691802) Full Text: DOI
Indrzejczak, Andrzej Russellian definite description theory – a proof theoretic approach. (English) Zbl 1522.03315 Rev. Symb. Log. 16, No. 2, 624-649 (2023). Reviewer: Branislav Boričić (Beograd) MSC: 03F03 03F05 03B10 PDFBibTeX XMLCite \textit{A. Indrzejczak}, Rev. Symb. Log. 16, No. 2, 624--649 (2023; Zbl 1522.03315) Full Text: DOI
Pavlović, Edi; Gratzl, Norbert Abstract forms of quantification in the quantified argument calculus. (English) Zbl 07689496 Rev. Symb. Log. 16, No. 2, 449-479 (2023). MSC: 03F05 03B10 03B65 PDFBibTeX XMLCite \textit{E. Pavlović} and \textit{N. Gratzl}, Rev. Symb. Log. 16, No. 2, 449--479 (2023; Zbl 07689496) Full Text: DOI
Castaldo, Luca; Stern, Johannes KF, PKF, and Reinhardt’s program. (English) Zbl 07658881 Rev. Symb. Log. 16, No. 1, 33-58 (2023). MSC: 03B50 03F03 03F05 PDFBibTeX XMLCite \textit{L. Castaldo} and \textit{J. Stern}, Rev. Symb. Log. 16, No. 1, 33--58 (2023; Zbl 07658881) Full Text: DOI arXiv
Kentaro, Sato; Walker, Jan Finitist axiomatic truth. (English) Zbl 07657274 J. Symb. Log. 88, No. 1, 22-73 (2023). MSC: 03F25 03F30 03A05 03D20 03D70 03F05 03F35 PDFBibTeX XMLCite \textit{S. Kentaro} and \textit{J. Walker}, J. Symb. Log. 88, No. 1, 22--73 (2023; Zbl 07657274) Full Text: DOI
Knoebel, Arthur Lacunary series, algebraic normal forms, convolutions. (English) Zbl 07653685 Algebra Univers. 84, No. 1, Paper No. 7, 10 p. (2023). MSC: 08A40 15A09 16Y60 40E15 42B05 PDFBibTeX XMLCite \textit{A. Knoebel}, Algebra Univers. 84, No. 1, Paper No. 7, 10 p. (2023; Zbl 07653685) Full Text: DOI
Espírito Santo, José; Frade, Maria João; Pinto, Luís Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications. (English) Zbl 07649237 J. Log. Algebr. Methods Program. 131, Article ID 100830, 16 p. (2023). MSC: 03B40 03F05 68N18 PDFBibTeX XMLCite \textit{J. Espírito Santo} et al., J. Log. Algebr. Methods Program. 131, Article ID 100830, 16 p. (2023; Zbl 07649237) Full Text: DOI
Hori, Hiromasa; Nakazawa, Koji; Tatsuta, Makoto Cut elimination for propositional cyclic proof systems with fixed-point operators. arXiv:2312.12792 Preprint, arXiv:2312.12792 [cs.LO] (2023). MSC: 03F05 03F52 BibTeX Cite \textit{H. Hori} et al., ``Cut elimination for propositional cyclic proof systems with fixed-point operators'', Preprint, arXiv:2312.12792 [cs.LO] (2023) Full Text: arXiv OA License
Battyanyi, Peter; Nour, Karim Normalization properties of \(\lambda\mu\)-calculus using realizability semantics. arXiv:2311.04370 Preprint, arXiv:2311.04370 [math.LO] (2023). MSC: 03B40 03B70 03F05 68Q42 BibTeX Cite \textit{P. Battyanyi} and \textit{K. Nour}, ``Normalization properties of $\lambda\mu$-calculus using realizability semantics'', Preprint, arXiv:2311.04370 [math.LO] (2023) Full Text: arXiv OA License
Kashima, Ryo; Kurahashi, Taishi; Iwata, Sohei Cut-free sequent calculi for the provability logic D. arXiv:2310.16369 Preprint, arXiv:2310.16369 [math.LO] (2023). MSC: 03F45 03F05 03B45 BibTeX Cite \textit{R. Kashima} et al., ``Cut-free sequent calculi for the provability logic D'', Preprint, arXiv:2310.16369 [math.LO] (2023) Full Text: arXiv OA License
Hodes, Harold T. Cut-conditions on sets of multiple-alternative inferences. (English) Zbl 1521.03215 Math. Log. Q. 68, No. 1, 95-106 (2022). MSC: 03F05 03E25 PDFBibTeX XMLCite \textit{H. T. Hodes}, Math. Log. Q. 68, No. 1, 95--106 (2022; Zbl 1521.03215) Full Text: DOI
Takano, Mitio A modified subformula property for the modal logic KG1. (English) Zbl 07721314 Nihonkai Math. J. 33, No. 2, 45-60 (2022). MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{M. Takano}, Nihonkai Math. J. 33, No. 2, 45--60 (2022; Zbl 07721314) Full Text: Link
Kawano, Tomoaki Sequent calculi for orthologic with strict implication. (English) Zbl 1525.03114 Bull. Sect. Log., Univ. Łódź, Dep. Log. 51, No. 1, 73-89 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03G12 03F03 03F05 PDFBibTeX XMLCite \textit{T. Kawano}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 51, No. 1, 73--89 (2022; Zbl 1525.03114) Full Text: DOI
Needle, Jordan Embedding \(\mathsf{HTLCG}\) into \(\mathsf{LCG}_\phi \). (English) Zbl 1515.03140 J. Logic Lang. Inf. 31, No. 4, 677-721 (2022). MSC: 03B65 03F05 68Q42 PDFBibTeX XMLCite \textit{J. Needle}, J. Logic Lang. Inf. 31, No. 4, 677--721 (2022; Zbl 1515.03140) Full Text: DOI
Valinkin, M. V. Versions of a local contraction subexponential in the Lambek calculus. (English. Russian original) Zbl 1515.03222 Algebra Logic 61, No. 4, 271-287 (2022); translation from Algebra Logika 61, No. 4, 401-423 (2022). MSC: 03F52 03B47 03F05 03B25 03D35 PDFBibTeX XMLCite \textit{M. V. Valinkin}, Algebra Logic 61, No. 4, 271--287 (2022; Zbl 1515.03222); translation from Algebra Logika 61, No. 4, 401--423 (2022) Full Text: DOI
Rooduijn, Jan; Zenger, Lukas An analytic proof system for common knowledge logic over S5. (English) Zbl 07668120 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 659-679 (2022). MSC: 03B42 03B45 03F05 PDFBibTeX XMLCite \textit{J. Rooduijn} and \textit{L. Zenger}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 659--679 (2022; Zbl 07668120)
Orlandelli, Eugenio; Tesi, Matteo Labelled sequent calculi for logics of strict implication. (English) Zbl 07668118 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 625-641 (2022). MSC: 03B45 03F05 03F03 PDFBibTeX XMLCite \textit{E. Orlandelli} and \textit{M. Tesi}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 625--641 (2022; Zbl 07668118)
Ono, Hiroakira; Sano, Katsuhiko Analytic cut and Mints’ symmetric interpolation method for bi-intuitionistic tense logic. (English) Zbl 07668117 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 601-623 (2022). MSC: 03F05 03B20 03B44 PDFBibTeX XMLCite \textit{H. Ono} and \textit{K. Sano}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 601--623 (2022; Zbl 07668117)
Goré, Rajeev; Shillito, Ian Direct elimination of additive-cuts in GL4ip: verified and extracted. (English) Zbl 1518.03015 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 429-449 (2022). Reviewer: Annika Kanckos (Helsinki) MSC: 03F45 03B35 03F05 PDFBibTeX XMLCite \textit{R. Goré} and \textit{I. Shillito}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 429--449 (2022; Zbl 1518.03015)
De Domenico, Andrea; Greco, Giuseppe Algorithmic correspondence and analytic rules. (English) Zbl 07668106 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 371-389 (2022). MSC: 03F03 03F05 03B45 PDFBibTeX XMLCite \textit{A. De Domenico} and \textit{G. Greco}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 371--389 (2022; Zbl 07668106) Full Text: arXiv
Dalmonte, Tiziano; Girlando, Marianna Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. (English) Zbl 07668103 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 305-327 (2022). MSC: 03B42 03F03 03F05 03B45 PDFBibTeX XMLCite \textit{T. Dalmonte} and \textit{M. Girlando}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 305--327 (2022; Zbl 07668103) Full Text: arXiv
Ciabattoni, Agata; Straßburger, Lutz; Tesi, Matteo Taming bounded depth with nested sequents. (English) Zbl 07668098 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 199-216 (2022). MSC: 03F05 03B55 PDFBibTeX XMLCite \textit{A. Ciabattoni} et al., in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 199--216 (2022; Zbl 07668098)
Acclavio, Matteo; Straßburger, Lutz Combinatorial proofs for constructive modal logic. (English) Zbl 07668089 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 15-36 (2022). MSC: 03B45 03F03 03F05 PDFBibTeX XMLCite \textit{M. Acclavio} and \textit{L. Straßburger}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 15--36 (2022; Zbl 07668089)
Barrett, Chris; Guglielmi, Alessio A subatomic proof system for decision trees. (English) Zbl 1505.03125 ACM Trans. Comput. Log. 23, No. 4, Article No. 26, 25 p. (2022). MSC: 03F05 03F20 PDFBibTeX XMLCite \textit{C. Barrett} and \textit{A. Guglielmi}, ACM Trans. Comput. Log. 23, No. 4, Article No. 26, 25 p. (2022; Zbl 1505.03125) Full Text: DOI arXiv
Chen, Jinsheng; Greco, Giuseppe; Palmigiano, Alessandra; Tzimoulis, Apostolos Syntactic completeness of proper display calculi. (English) Zbl 1505.03121 ACM Trans. Comput. Log. 23, No. 4, Article No. 23, 46 p. (2022). MSC: 03F03 03F05 03B45 PDFBibTeX XMLCite \textit{J. Chen} et al., ACM Trans. Comput. Log. 23, No. 4, Article No. 23, 46 p. (2022; Zbl 1505.03121) Full Text: DOI arXiv
Misselbeck-Wessel, Daniel; Rinaldi, Davide Towards formal Baer criteria. (English) Zbl 1499.03059 Confluentes Math. 14, No. 1, 49-63 (2022). MSC: 03F65 03F60 03F05 03E25 03G10 06D22 13C11 PDFBibTeX XMLCite \textit{D. Misselbeck-Wessel} and \textit{D. Rinaldi}, Confluentes Math. 14, No. 1, 49--63 (2022; Zbl 1499.03059) Full Text: DOI
Frittaion, Emanuele A note on fragments of uniform reflection in second order arithmetic. (English) Zbl 1521.03236 Bull. Symb. Log. 28, No. 3, 451-465 (2022). Reviewer: Leszek Aleksander Kołodziejczyk (Warszawa) MSC: 03F35 03B30 03F05 03F30 03F40 PDFBibTeX XMLCite \textit{E. Frittaion}, Bull. Symb. Log. 28, No. 3, 451--465 (2022; Zbl 1521.03236) Full Text: DOI arXiv
Yang, Peng; Wang, Yuanshi On oscillations to a 2D age-dependent predation equations characterizing Beddington-DeAngelis type schemes. (English) Zbl 1501.35422 Discrete Contin. Dyn. Syst., Ser. B 27, No. 7, 3845-3895 (2022). MSC: 35Q92 92D25 35B32 35B05 37L10 37N25 92-08 PDFBibTeX XMLCite \textit{P. Yang} and \textit{Y. Wang}, Discrete Contin. Dyn. Syst., Ser. B 27, No. 7, 3845--3895 (2022; Zbl 1501.35422) Full Text: DOI
Borisavljević, Mirjana Maximum segments as natural deduction images of some cuts. (English) Zbl 1515.03210 Log. Univers. 16, No. 3, 499-533 (2022). Reviewer: Annika Kanckos (Helsinki) MSC: 03F05 PDFBibTeX XMLCite \textit{M. Borisavljević}, Log. Univers. 16, No. 3, 499--533 (2022; Zbl 1515.03210) Full Text: DOI
da Costa, Vaston Gonçalves; Haeusler, Edward Hermann Strong normalization for Np-systems via mimp-gaphs. (English) Zbl 1515.03211 J. Appl. Log. - IfCoLog J. Log. Appl. 9, No. 1, 135-160 (2022). MSC: 03F05 PDFBibTeX XMLCite \textit{V. G. da Costa} and \textit{E. H. Haeusler}, J. Appl. Log. - IfCoLog J. Log. Appl. 9, No. 1, 135--160 (2022; Zbl 1515.03211)
Bunder, Martin W. BCI-algebras and related logics. (English) Zbl 1508.03054 Australas. J. Log. 19, No. 2, 85-95 (2022). Reviewer: Gemma Robles (León) MSC: 03B47 03B40 03F05 06F35 PDFBibTeX XMLCite \textit{M. W. Bunder}, Australas. J. Log. 19, No. 2, 85--95 (2022; Zbl 1508.03054) Full Text: DOI
Petrukhin, Yaroslav S5-style non-standard modalities in a hypersequent framework. (English) Zbl 07589383 Log. Log. Philos. 31, No. 3, 427-456 (2022). MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{Y. Petrukhin}, Log. Log. Philos. 31, No. 3, 427--456 (2022; Zbl 07589383) Full Text: DOI
Bertolami, Orfeu; M. Sá, Paulo Multi-field cold and warm inflation and the de Sitter swampland conjectures. (English) Zbl 1507.83065 J. Cosmol. Astropart. Phys. 2022, No. 9, Paper No. 1, 13 p. (2022). MSC: 83E05 03F05 81T30 PDFBibTeX XMLCite \textit{O. Bertolami} and \textit{P. M. Sá}, J. Cosmol. Astropart. Phys. 2022, No. 9, Paper No. 1, 13 p. (2022; Zbl 1507.83065) Full Text: DOI arXiv
Russo, Jorge G. Phantoms and strange attractors in cosmology. (English) Zbl 1506.83046 J. Cosmol. Astropart. Phys. 2022, No. 7, Paper No. 15, 11 p. (2022). MSC: 83E30 03F05 83C75 83E05 37D45 PDFBibTeX XMLCite \textit{J. G. Russo}, J. Cosmol. Astropart. Phys. 2022, No. 7, Paper No. 15, 11 p. (2022; Zbl 1506.83046) Full Text: DOI arXiv
Kamide, Norihiro Herbrand and contraposition-elimination theorems for extended first-order Belnap-Dunn logic. (English) Zbl 07576852 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 237-260 (2022). MSC: 03B47 03B50 03F05 PDFBibTeX XMLCite \textit{N. Kamide}, Tributes 46, 237--260 (2022; Zbl 07576852)
Belikov, Alex; Grigoriev, Oleg; Zaitsev, Dmitry On connegation. (English) Zbl 07576845 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 73-88 (2022). MSC: 03B47 03B50 03F05 PDFBibTeX XMLCite \textit{A. Belikov} et al., Tributes 46, 73--88 (2022; Zbl 07576845)
Sipoş, Andrei On extracting variable Herbrand disjunctions. (English) Zbl 1523.03025 Stud. Log. 110, No. 4, 1115-1134 (2022). Reviewer: Annika Kanckos (Helsinki) MSC: 03F10 03F05 03F30 PDFBibTeX XMLCite \textit{A. Sipoş}, Stud. Log. 110, No. 4, 1115--1134 (2022; Zbl 1523.03025) Full Text: DOI arXiv
Pischke, Nicholas Gödel justification logics and realization. (English) Zbl 1494.03042 Log. J. IGPL 30, No. 3, 343-408 (2022). MSC: 03B42 03B52 03B45 03F05 PDFBibTeX XMLCite \textit{N. Pischke}, Log. J. IGPL 30, No. 3, 343--408 (2022; Zbl 1494.03042) Full Text: DOI
Baaz, Matthias; Zach, Richard Epsilon theorems in intermediate logics. (English) Zbl 07541918 J. Symb. Log. 87, No. 2, 682-720 (2022). MSC: 03F05 03B20 03B55 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{R. Zach}, J. Symb. Log. 87, No. 2, 682--720 (2022; Zbl 07541918) Full Text: DOI arXiv Link
Pulcini, Gabriele A note on cut-elimination for classical propositional logic. (English) Zbl 1506.03121 Arch. Math. Logic 61, No. 3-4, 555-565 (2022). Reviewer: Annika Kanckos (Helsinki) MSC: 03F05 03B05 PDFBibTeX XMLCite \textit{G. Pulcini}, Arch. Math. Logic 61, No. 3--4, 555--565 (2022; Zbl 1506.03121) Full Text: DOI
Komara, Ján Efficient elimination of Skolem functions in \(\text{LK}^\text{h} \). (English) Zbl 1506.03120 Arch. Math. Logic 61, No. 3-4, 503-534 (2022). Reviewer: Annika Kanckos (Helsinki) MSC: 03F05 03F20 03F03 PDFBibTeX XMLCite \textit{J. Komara}, Arch. Math. Logic 61, No. 3--4, 503--534 (2022; Zbl 1506.03120) Full Text: DOI arXiv
Baaz, Matthias; Lolic, Anela Towards a proof theory for quantifier macros. (English) Zbl 07540275 Inf. Comput. 287, Article ID 104753, 18 p. (2022). MSC: 03F05 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{A. Lolic}, Inf. Comput. 287, Article ID 104753, 18 p. (2022; Zbl 07540275) Full Text: DOI
Zach, Richard Corrections to: “Natural deduction for the Sheffer stroke and Peirce’s arrow (and any other truth-functional connective)”. (English) Zbl 1487.03025 J. Philos. Log. 51, No. 3, 691 (2022). MSC: 03B05 03B22 03F03 03F05 PDFBibTeX XMLCite \textit{R. Zach}, J. Philos. Log. 51, No. 3, 691 (2022; Zbl 1487.03025) Full Text: DOI
Parlamento, Franco; Previale, Flavio A note on the sequent calculi \(\mathbf{G3[mic]}^=\). (English) Zbl 07531435 Rev. Symb. Log. 15, No. 2, 537-551 (2022). MSC: 03F05 PDFBibTeX XMLCite \textit{F. Parlamento} and \textit{F. Previale}, Rev. Symb. Log. 15, No. 2, 537--551 (2022; Zbl 07531435) Full Text: DOI
Moot, Richard; Stevens-Guille, Symon Jory Logical foundations for hybrid type-logical grammars. (English) Zbl 1515.03115 J. Logic Lang. Inf. 31, No. 1, 35-76 (2022). MSC: 03B47 03B40 03F05 03F07 68Q42 PDFBibTeX XMLCite \textit{R. Moot} and \textit{S. J. Stevens-Guille}, J. Logic Lang. Inf. 31, No. 1, 35--76 (2022; Zbl 1515.03115) Full Text: DOI arXiv
Szechtman, Fernando Linear systems of Diophantine equations. (English) Zbl 1511.11031 Electron. J. Linear Algebra 38, 160-169 (2022). MSC: 11D04 13C05 PDFBibTeX XMLCite \textit{F. Szechtman}, Electron. J. Linear Algebra 38, 160--169 (2022; Zbl 1511.11031) Full Text: arXiv Link
Aboolian, Narbe; Alizadeh, Majid Lyndon’s interpolation property for the logic of strict implication. (English) Zbl 1494.03029 Log. J. IGPL 30, No. 1, 34-70 (2022). MSC: 03B20 03B45 03C40 03F05 PDFBibTeX XMLCite \textit{N. Aboolian} and \textit{M. Alizadeh}, Log. J. IGPL 30, No. 1, 34--70 (2022; Zbl 1494.03029) Full Text: DOI
Kürbis, Nils Normalisation and subformula property for a system of classical logic with Tarski’s rule. (English) Zbl 07495456 Arch. Math. Logic 61, No. 1-2, 105-129 (2022). MSC: 03B05 03B10 03B20 03F05 PDFBibTeX XMLCite \textit{N. Kürbis}, Arch. Math. Logic 61, No. 1--2, 105--129 (2022; Zbl 07495456) Full Text: DOI
Ren, Zhihua; Liu, Meijia; Wu, Hao Normal forms for difference and differential systems. (English) Zbl 1500.37039 Qual. Theory Dyn. Syst. 21, No. 2, Paper No. 28, 24 p. (2022). Reviewer: Jesus Muciño Raymundo (Morelia) MSC: 37G05 37C55 37C27 39A05 37A30 39A28 PDFBibTeX XMLCite \textit{Z. Ren} et al., Qual. Theory Dyn. Syst. 21, No. 2, Paper No. 28, 24 p. (2022; Zbl 1500.37039) Full Text: DOI
Jäger, Gerhard; Rathjen, Michael Admissible extensions of subtheories of second order arithmetic. arXiv:2202.03476 Preprint, arXiv:2202.03476 [math.LO] (2022). MSC: 03F05 03F15 03F25 03E30 03B15 03C70 BibTeX Cite \textit{G. Jäger} and \textit{M. Rathjen}, ``Admissible extensions of subtheories of second order arithmetic'', Preprint, arXiv:2202.03476 [math.LO] (2022) Full Text: arXiv OA License
Iemhoff, Rosalie Proof Theory for Lax Logic. arXiv:2209.08976 Preprint, arXiv:2209.08976 [math.LO] (2022). MSC: 03F05 03B20 03B45 03B55 03B70 BibTeX Cite \textit{R. Iemhoff}, ``Proof Theory for Lax Logic'', Preprint, arXiv:2209.08976 [math.LO] (2022) Full Text: arXiv OA License
Freund, Anton Impredicativity and Trees with Gap Condition: A Second Course on Ordinal Analysis. arXiv:2204.09321 Preprint, arXiv:2204.09321 [math.LO] (2022). MSC: 03-01 03B30 03F05 03F15 03F35 03F40 BibTeX Cite \textit{A. Freund}, ``Impredicativity and Trees with Gap Condition: A Second Course on Ordinal Analysis'', Preprint, arXiv:2204.09321 [math.LO] (2022) Full Text: arXiv OA License
Indrzejczak, Andrzej A novel approach to equality. (English) Zbl 07795345 Synthese 199, No. 1-2, 4749-4774 (2021). MSC: 03F03 03F05 PDFBibTeX XMLCite \textit{A. Indrzejczak}, Synthese 199, No. 1--2, 4749--4774 (2021; Zbl 07795345) Full Text: DOI
Kürbis, Nils Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules. (English) Zbl 1528.03090 Synthese 199, No. 5-6, 14223-14248 (2021). MSC: 03B20 03F05 PDFBibTeX XMLCite \textit{N. Kürbis}, Synthese 199, No. 5--6, 14223--14248 (2021; Zbl 1528.03090) Full Text: DOI arXiv
Pimentel, Elaine; Pereira, Luiz Carlos; de Paiva, Valeria An ecumenical notion of entailment. (English) Zbl 1525.03080 Synthese 198, Suppl. 22, S5391-S5413 (2021). MSC: 03B47 03B20 03F03 03F05 PDFBibTeX XMLCite \textit{E. Pimentel} et al., Synthese 198, S5391--S5413 (2021; Zbl 1525.03080) Full Text: DOI
Avron, Arnon Quasi-canonical systems and their semantics. (English) Zbl 1525.03110 Synthese 198, Suppl. 22, S5353-S5371 (2021). MSC: 03F03 03B50 03F05 PDFBibTeX XMLCite \textit{A. Avron}, Synthese 198, S5353--S5371 (2021; Zbl 1525.03110) Full Text: DOI
Ilić, Mirjana A note on an alternative Gentzenization of \(\operatorname{RW}_+^\circ \). (English) Zbl 1521.03042 Math. Log. Q. 67, No. 2, 186-192 (2021). MSC: 03B47 03F05 03F52 PDFBibTeX XMLCite \textit{M. Ilić}, Math. Log. Q. 67, No. 2, 186--192 (2021; Zbl 1521.03042) Full Text: DOI
Kürbis, Nils Addenda: Note on “Normalisation for bilateral classical logic with some philosophical remarks”. (English) Zbl 1515.03209 J. Appl. Log. - IfCoLog J. Log. Appl. 8, No. 7, 2257-2259 (2021). MSC: 03F03 03F05 03A05 PDFBibTeX XMLCite \textit{N. Kürbis}, J. Appl. Log. - IfCoLog J. Log. Appl. 8, No. 7, 2257--2259 (2021; Zbl 1515.03209)
Correia, Fabrice The logic of relative fundamentality. (English) Zbl 1507.03078 Synthese 198, Suppl. 6, S1279-S1301 (2021). MSC: 03B45 03F05 03A05 PDFBibTeX XMLCite \textit{F. Correia}, Synthese 198, S1279--S1301 (2021; Zbl 1507.03078) Full Text: DOI
Negri, Sara The intensional side of algebraic-topological representation theorems. (English) Zbl 1507.03030 Synthese 198, Suppl. 5, S1121-S1143 (2021). MSC: 03A05 03B20 03F05 18F70 54D20 PDFBibTeX XMLCite \textit{S. Negri}, Synthese 198, S1121--S1143 (2021; Zbl 1507.03030) Full Text: DOI
Kamide, Norihiro Cut-elimination, completeness, and Craig interpolation theorems for Gurevich’s extended first-order intuitionistic logic with strong negation. (English) Zbl 1515.03053 J. Appl. Log. - IfCoLog J. Log. Appl. 8, No. 5, 1101-1121 (2021). MSC: 03B20 03B50 03F05 PDFBibTeX XMLCite \textit{N. Kamide}, J. Appl. Log. - IfCoLog J. Log. Appl. 8, No. 5, 1101--1121 (2021; Zbl 1515.03053)
Kürbis, Nils Normalisation for bilateral classical logic with some philosophical remarks. (English) Zbl 1515.03208 J. Appl. Log. - IfCoLog J. Log. Appl. 8, No. 2, 531-556 (2021); addenda ibid. 8, No. 7, 2257-2259 (2021). MSC: 03F03 03F05 03A05 PDFBibTeX XMLCite \textit{N. Kürbis}, J. Appl. Log. - IfCoLog J. Log. Appl. 8, No. 2, 531--556 (2021; Zbl 1515.03208) Full Text: arXiv
Ciabattoni, Agata; Lyon, Tim S.; Ramanayake, Revantha; Tiu, Alwen Display to labeled proofs and back again for tense logics. (English) Zbl 1505.03047 ACM Trans. Comput. Log. 22, No. 3, Article No. 20, 31 p. (2021). MSC: 03B44 03B45 03F05 PDFBibTeX XMLCite \textit{A. Ciabattoni} et al., ACM Trans. Comput. Log. 22, No. 3, Article No. 20, 31 p. (2021; Zbl 1505.03047) Full Text: DOI arXiv Link
Martini, Simone; Masini, Andrea; Zorzi, Margherita From 2-sequents and linear nested sequents to natural deduction for normal modal logics. (English) Zbl 1505.03054 ACM Trans. Comput. Log. 22, No. 3, Article No. 19, 29 p. (2021). MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{S. Martini} et al., ACM Trans. Comput. Log. 22, No. 3, Article No. 19, 29 p. (2021; Zbl 1505.03054) Full Text: DOI arXiv HAL
Dudenhefner, Andrej; Urzyczyn, Paweł Kripke semantics for intersection formulas. (English) Zbl 1505.03034 ACM Trans. Comput. Log. 22, No. 3, Article No. 15, 16 p. (2021). MSC: 03B40 03F03 03F05 PDFBibTeX XMLCite \textit{A. Dudenhefner} and \textit{P. Urzyczyn}, ACM Trans. Comput. Log. 22, No. 3, Article No. 15, 16 p. (2021; Zbl 1505.03034) Full Text: DOI
Nicolai, Carlo Cut elimination for systems of transparent truth with restricted initial sequents. (English) Zbl 07473062 Notre Dame J. Formal Logic 62, No. 4, 619-642 (2021). MSC: 03F05 03A05 PDFBibTeX XMLCite \textit{C. Nicolai}, Notre Dame J. Formal Logic 62, No. 4, 619--642 (2021; Zbl 07473062) Full Text: DOI arXiv
Lyon, Tim On the correspondence between nested calculi and semantic systems for intuitionistic logics. (English) Zbl 1509.03033 J. Log. Comput. 31, No. 1, 213-265 (2021). MSC: 03B20 03F03 03F05 PDFBibTeX XMLCite \textit{T. Lyon}, J. Log. Comput. 31, No. 1, 213--265 (2021; Zbl 1509.03033) Full Text: DOI arXiv
Baaz, Matthias; Lolic, Anela Towards a proof theory for Henkin quantifiers. (English) Zbl 1509.03117 J. Log. Comput. 31, No. 1, 40-66 (2021). MSC: 03C80 03F03 03F05 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{A. Lolic}, J. Log. Comput. 31, No. 1, 40--66 (2021; Zbl 1509.03117) Full Text: DOI
Burns, Samara; Zach, Richard Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D. (English) Zbl 1486.03040 Rev. Symb. Log. 14, No. 4, 910-929 (2021). Reviewer: Osamu Sonobe (Follonica) MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{S. Burns} and \textit{R. Zach}, Rev. Symb. Log. 14, No. 4, 910--929 (2021; Zbl 1486.03040) Full Text: DOI arXiv
Brauer, Ethan; Tennant, Neil Transmission of verification. (English) Zbl 1485.03229 Rev. Symb. Log. 14, No. 4, 866-881 (2021). Reviewer: Branislav Boričić (Beograd) MSC: 03F03 03F05 PDFBibTeX XMLCite \textit{E. Brauer} and \textit{N. Tennant}, Rev. Symb. Log. 14, No. 4, 866--881 (2021; Zbl 1485.03229) Full Text: DOI
Parlamento, Franco; Previale, Flavio The elimination of atomic cuts and the semishortening property for Gentzen’s sequent calculus with equality. (English) Zbl 1487.03064 Rev. Symb. Log. 14, No. 4, 813-837 (2021). Reviewer: Annika Kanckos (Helsinki) MSC: 03F05 PDFBibTeX XMLCite \textit{F. Parlamento} and \textit{F. Previale}, Rev. Symb. Log. 14, No. 4, 813--837 (2021; Zbl 1487.03064) Full Text: DOI
Zach, Richard Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi. (English) Zbl 1485.03233 Rev. Symb. Log. 14, No. 3, 645-686 (2021). Reviewer: Annika Kanckos (Helsinki) MSC: 03F05 03F07 03F03 PDFBibTeX XMLCite \textit{R. Zach}, Rev. Symb. Log. 14, No. 3, 645--686 (2021; Zbl 1485.03233) Full Text: DOI arXiv
Felty, Amy; Olarte, Carlos; Xavier, Bruno A focused linear logical framework and its application to metatheory of object logics. (English) Zbl 07460120 Math. Struct. Comput. Sci. 31, No. 3, 312-340 (2021). MSC: 03F52 03F05 PDFBibTeX XMLCite \textit{A. Felty} et al., Math. Struct. Comput. Sci. 31, No. 3, 312--340 (2021; Zbl 07460120) Full Text: DOI
Dudakov, S. M.; Karlov, B. N.; Kuznetsov, S. L.; Fofanova, E. M. Complexity of Lambek calculi with modalities and of total derivability in grammars. (English. Russian original) Zbl 1515.03218 Algebra Logic 60, No. 5, 308-326 (2021); translation from Algebra Logika 60, No. 4, 471-496 (2021). MSC: 03F52 03F05 68Q17 68Q42 PDFBibTeX XMLCite \textit{S. M. Dudakov} et al., Algebra Logic 60, No. 5, 308--326 (2021; Zbl 1515.03218); translation from Algebra Logika 60, No. 4, 471--496 (2021) Full Text: DOI
Ilić, Mirjana; Boričić, Branislav A note on the system \(GRW\) with the intensional contraction rule. (English) Zbl 1498.03053 Log. J. IGPL 29, No. 3, 333-339 (2021). Reviewer: Gemma Robles (León) MSC: 03B47 03F05 PDFBibTeX XMLCite \textit{M. Ilić} and \textit{B. Boričić}, Log. J. IGPL 29, No. 3, 333--339 (2021; Zbl 1498.03053) Full Text: DOI
Huang, Chunyan A note on the scattering for 3D quantum Zakharov system with non-radial data in \(L^2\). (English) Zbl 1503.81058 Wood, David R. (ed.) et al., 2019–20 MATRIX annals. Cham: Springer. MATRIX Book Ser. 4, 551-564 (2021). MSC: 81U05 03F05 46C05 PDFBibTeX XMLCite \textit{C. Huang}, MATRIX Book Ser. 4, 551--564 (2021; Zbl 1503.81058) Full Text: DOI
Uustalu, Tarmo; Veltri, Niccolò; Zeilberger, Noam The sequent calculus of skew monoidal categories. (English) Zbl 1495.03073 Casadio, Claudia (ed.) et al., Joachim Lambek: the interplay of mathematics, logic, and linguistics. Cham: Springer. Outst. Contrib. Log. 20, 377-406 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03F05 18M05 03F52 PDFBibTeX XMLCite \textit{T. Uustalu} et al., Outst. Contrib. Log. 20, 377--406 (2021; Zbl 1495.03073) Full Text: DOI arXiv Link
Borisavljević, Mirjana The subformula property of natural deduction derivations and analytic cuts. (English) Zbl 1494.03090 Log. J. IGPL 29, No. 5, 739-768 (2021). MSC: 03F05 PDFBibTeX XMLCite \textit{M. Borisavljević}, Log. J. IGPL 29, No. 5, 739--768 (2021; Zbl 1494.03090) Full Text: DOI
Kürbis, Nils; Petrukhin, Yaroslav Normalisation for some quite interesting many-valued logics. (English) Zbl 1517.03023 Log. Log. Philos. 30, No. 3, 493-534 (2021). MSC: 03B50 03F05 PDFBibTeX XMLCite \textit{N. Kürbis} and \textit{Y. Petrukhin}, Log. Log. Philos. 30, No. 3, 493--534 (2021; Zbl 1517.03023) Full Text: DOI
Orlandelli, Eugenio Sequent calculi and interpolation for non-normal modal and deontic logics. (English) Zbl 1517.03018 Log. Log. Philos. 30, No. 1, 139-183 (2021). MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{E. Orlandelli}, Log. Log. Philos. 30, No. 1, 139--183 (2021; Zbl 1517.03018) Full Text: DOI arXiv
Takemura, Ryo Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization. (English) Zbl 1487.03063 Arch. Math. Logic 60, No. 7-8, 783-813 (2021). Reviewer: Reinhard Kahle (Tübingen) MSC: 03F03 03F05 PDFBibTeX XMLCite \textit{R. Takemura}, Arch. Math. Logic 60, No. 7--8, 783--813 (2021; Zbl 1487.03063) Full Text: DOI
Zimmermann, Ernst Natural deduction bottom up. (English) Zbl 1515.03118 J. Logic Lang. Inf. 30, No. 3, 601-631 (2021). MSC: 03B47 03F05 03F07 03F52 PDFBibTeX XMLCite \textit{E. Zimmermann}, J. Logic Lang. Inf. 30, No. 3, 601--631 (2021; Zbl 1515.03118) Full Text: DOI
Kamide, Norihiro Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation. (English) Zbl 1515.03097 J. Logic Lang. Inf. 30, No. 3, 491-531 (2021). MSC: 03B45 03B20 03B50 03F05 PDFBibTeX XMLCite \textit{N. Kamide}, J. Logic Lang. Inf. 30, No. 3, 491--531 (2021; Zbl 1515.03097) Full Text: DOI
Da Ré, Bruno Structural weakening and paradoxes. (English) Zbl 07391981 Notre Dame J. Formal Logic 62, No. 2, 369-398 (2021). MSC: 03B47 03F05 03A05 PDFBibTeX XMLCite \textit{B. Da Ré}, Notre Dame J. Formal Logic 62, No. 2, 369--398 (2021; Zbl 07391981) Full Text: DOI
Guerrini, Stefano; Masini, Andrea Proof nets for classical logic. (English) Zbl 07391978 Notre Dame J. Formal Logic 62, No. 2, 303-343 (2021). MSC: 03F03 03F05 03F07 PDFBibTeX XMLCite \textit{S. Guerrini} and \textit{A. Masini}, Notre Dame J. Formal Logic 62, No. 2, 303--343 (2021; Zbl 07391978) Full Text: DOI
van der Giessen, Iris; Iemhoff, Rosalie Sequent calculi for intuitionistic Gödel-Löb logic. (English) Zbl 1490.03013 Notre Dame J. Formal Logic 62, No. 2, 221-246 (2021). Reviewer: Emil Jeřábek (Praha) MSC: 03B45 03F05 03B20 03F45 PDFBibTeX XMLCite \textit{I. van der Giessen} and \textit{R. Iemhoff}, Notre Dame J. Formal Logic 62, No. 2, 221--246 (2021; Zbl 1490.03013) Full Text: DOI
Kaminski, Michael; Francez, Nissim Calculi for many-valued logics. (English) Zbl 07380929 Log. Univers. 15, No. 2, 193-226 (2021). MSC: 03B50 03F05 PDFBibTeX XMLCite \textit{M. Kaminski} and \textit{N. Francez}, Log. Univers. 15, No. 2, 193--226 (2021; Zbl 07380929) Full Text: DOI
Savateev, Yury; Shamkanov, Daniyar Non-well-founded proofs for the Grzegorczyk modal logic. (English) Zbl 1496.03086 Rev. Symb. Log. 14, No. 1, 22-50 (2021). Reviewer: Emil Jeřábek (Praha) MSC: 03B45 03F05 03F07 PDFBibTeX XMLCite \textit{Y. Savateev} and \textit{D. Shamkanov}, Rev. Symb. Log. 14, No. 1, 22--50 (2021; Zbl 1496.03086) Full Text: DOI arXiv
Cieśliński, Cezary Interpreting the compositional truth predicate in models of arithmetic. (English) Zbl 07373428 Arch. Math. Logic 60, No. 6, 749-770 (2021). MSC: 03C50 03F05 PDFBibTeX XMLCite \textit{C. Cieśliński}, Arch. Math. Logic 60, No. 6, 749--770 (2021; Zbl 07373428) Full Text: DOI
Płaczek, Paweł One-sided sequent systems for nonassociative bilinear logic: cut elimination and complexity. (English) Zbl 07368982 Bull. Sect. Log., Univ. Łódź, Dep. Log. 50, No. 1, 55-80 (2021). MSC: 03B47 03F05 PDFBibTeX XMLCite \textit{P. Płaczek}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 50, No. 1, 55--80 (2021; Zbl 07368982) Full Text: DOI
Gherardi, Guido; Orlandelli, Eugenio Super-strict implications. (English) Zbl 1500.03006 Bull. Sect. Log., Univ. Łódź, Dep. Log. 50, No. 1, 1-34 (2021). Reviewer: Emil Jeřábek (Praha) MSC: 03B45 03A05 03F05 PDFBibTeX XMLCite \textit{G. Gherardi} and \textit{E. Orlandelli}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 50, No. 1, 1--34 (2021; Zbl 1500.03006) Full Text: DOI
Wurm, Christian Reasoning with ambiguity. (English) Zbl 1496.03122 J. Logic Lang. Inf. 30, No. 1, 139-206 (2021). MSC: 03B65 03F05 PDFBibTeX XMLCite \textit{C. Wurm}, J. Logic Lang. Inf. 30, No. 1, 139--206 (2021; Zbl 1496.03122) Full Text: DOI