Massas, Guillaume B-frame duality. (English) Zbl 07662884 Ann. Pure Appl. Logic 174, No. 5, Article ID 103245, 42 p. (2023). MSC: 03B20 06B15 06B23 06D20 18F70 PDF BibTeX XML Cite \textit{G. Massas}, Ann. Pure Appl. Logic 174, No. 5, Article ID 103245, 42 p. (2023; Zbl 07662884) Full Text: DOI OpenURL
Bezhanishvili, Guram; Carai, Luca Temporal interpretation of monadic intuitionistic quantifiers. (English) Zbl 07658884 Rev. Symb. Log. 16, No. 1, 164-187 (2023). MSC: 03B44 03B45 03B55 PDF BibTeX XML Cite \textit{G. Bezhanishvili} and \textit{L. Carai}, Rev. Symb. Log. 16, No. 1, 164--187 (2023; Zbl 07658884) Full Text: DOI arXiv OpenURL
Linnebo, Øystein; Shapiro, Stewart Predicativism as a form of potentialism. (English) Zbl 07658878 Rev. Symb. Log. 16, No. 1, 1-32 (2023). MSC: 03A05 03B20 03F35 PDF BibTeX XML Cite \textit{Ø. Linnebo} and \textit{S. Shapiro}, Rev. Symb. Log. 16, No. 1, 1--32 (2023; Zbl 07658878) Full Text: DOI OpenURL
Bezhanishvili, Guram; Brantley, Kristina; Ilin, Julia Monadic intuitionistic and modal logics admitting provability interpretations. (English) Zbl 07657288 J. Symb. Log. 88, No. 1, 427-467 (2023). MSC: 03B45 03F45 03B55 PDF BibTeX XML Cite \textit{G. Bezhanishvili} et al., J. Symb. Log. 88, No. 1, 427--467 (2023; Zbl 07657288) Full Text: DOI arXiv OpenURL
van der Giessen, Iris Admissible rules for six intuitionistic modal logics. (English) Zbl 07653729 Ann. Pure Appl. Logic 174, No. 4, Article ID 103233, 34 p. (2023). MSC: 03F03 03B20 03B45 03F45 PDF BibTeX XML Cite \textit{I. van der Giessen}, Ann. Pure Appl. Logic 174, No. 4, Article ID 103233, 34 p. (2023; Zbl 07653729) Full Text: DOI OpenURL
Witczak, Tomasz Intuitionistic logics of confirmation and discouragement. (English) Zbl 07662169 C. R. Acad. Bulg. Sci. 75, No. 7, 945-951 (2022). Reviewer: Angela Slavova (Sofia) MSC: 03B45 03B20 03A10 PDF BibTeX XML Cite \textit{T. Witczak}, C. R. Acad. Bulg. Sci. 75, No. 7, 945--951 (2022; Zbl 07662169) Full Text: DOI OpenURL
Król, Jerzy; Schumann, Andrew; Bielas, Krzysztof Brain and its universal logical model of multi-agent biological systems. (English) Zbl 07659710 Log. Univers. 16, No. 4, 671-687 (2022). MSC: 03B20 18C40 PDF BibTeX XML Cite \textit{J. Król} et al., Log. Univers. 16, No. 4, 671--687 (2022; Zbl 07659710) Full Text: DOI OpenURL
Lescanne, Pierre Almost all classical theorems are intuitionistic. (English) Zbl 07644261 RAIRO, Theor. Inform. Appl. 56, Paper No. 9, 12 p. (2022). MSC: 11B73 03F55 06E30 05-04 05-08 PDF BibTeX XML Cite \textit{P. Lescanne}, RAIRO, Theor. Inform. Appl. 56, Paper No. 9, 12 p. (2022; Zbl 07644261) Full Text: DOI arXiv OpenURL
Chajda, Ivan; Länger, Helmut Join-semilattices whose principal filters are pseudocomplemented lattices. (English) Zbl 07633762 Miskolc Math. Notes 23, No. 2, 559-577 (2022). MSC: 06A12 06D15 03G25 03B47 PDF BibTeX XML Cite \textit{I. Chajda} and \textit{H. Länger}, Miskolc Math. Notes 23, No. 2, 559--577 (2022; Zbl 07633762) Full Text: DOI arXiv OpenURL
Derseh, Beza Lamesgin; Alaba, Berhanu Assaye; Wondifraw, Yohannes Gedamu Intuitionistic Q-fuzzy PMS-ideals of a PMS-algebra. (English) Zbl 07633449 Korean J. Math. 30, No. 3, 443-458 (2022). MSC: 03B20 03B52 03G25 03F55 PDF BibTeX XML Cite \textit{B. L. Derseh} et al., Korean J. Math. 30, No. 3, 443--458 (2022; Zbl 07633449) Full Text: DOI OpenURL
Ognjanović, Zoran; Perović, Aleksandar; Ilić-Stepić, Angelina Tableau for the logic ILP. (English) Zbl 07629112 Publ. Inst. Math., Nouv. Sér. 112(126), 1-11 (2022). MSC: 03B20 03B48 68V15 PDF BibTeX XML Cite \textit{Z. Ognjanović} et al., Publ. Inst. Math., Nouv. Sér. 112(126), 1--11 (2022; Zbl 07629112) 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
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
Rivieccio, Umberto Fragments of quasi-Nelson: the algebraizable core. (English) Zbl 1499.03075 Log. J. IGPL 30, No. 5, 807-839 (2022). MSC: 03G25 03B20 03B47 PDF BibTeX XML Cite \textit{U. Rivieccio}, Log. J. IGPL 30, No. 5, 807--839 (2022; Zbl 1499.03075) 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
Kaewprasert, Phonthita; Inthiban, Phattharaphon; Ditepang, Wanvalee; Iampan, Aiyared A novel extension of cubic sets in UP-algebras: intuitionistic cubic sets. (English) Zbl 07611987 Southeast Asian Bull. Math. 46, No. 3, 327-364 (2022). MSC: 06F35 03G25 03E72 PDF BibTeX XML Cite \textit{P. Kaewprasert} et al., Southeast Asian Bull. Math. 46, No. 3, 327--364 (2022; Zbl 07611987) Full Text: Link OpenURL
Fujiwara, Makoto \(\Delta^0_1\) variants of the law of excluded middle and related principles. (English) Zbl 07603659 Arch. Math. Logic 61, No. 7-8, 1113-1127 (2022). MSC: 03B20 03B30 03F30 03F35 03F50 PDF BibTeX XML Cite \textit{M. Fujiwara}, Arch. Math. Logic 61, No. 7--8, 1113--1127 (2022; Zbl 07603659) Full Text: DOI OpenURL
Petersen, Uwe Enhancing induction in a contraction free logic with unrestricted abstraction: from \(\mathbf{Z}\) to \(\mathbf{Z}_2\). (English) Zbl 07603656 Arch. Math. Logic 61, No. 7-8, 1007-1051 (2022). MSC: 03B15 03B47 03F52 PDF BibTeX XML Cite \textit{U. Petersen}, Arch. Math. Logic 61, No. 7--8, 1007--1051 (2022; Zbl 07603656) Full Text: DOI OpenURL
Muralikrishna, Prakasam; Saeid, Arsham Borumand; Vinodkumar, R.; Palani, Govindasamy \( \beta\)-ideals of \(\beta\)-subalgebras via cubic intuitionistic set. (English) Zbl 07603540 Thai J. Math. 20, No. 3, 1337-1352 (2022). MSC: 06F35 03G25 08A72 03E72 PDF BibTeX XML Cite \textit{P. Muralikrishna} et al., Thai J. Math. 20, No. 3, 1337--1352 (2022; Zbl 07603540) Full Text: Link OpenURL
Bunder, Martin W. BCI-algebras and related logics. (English) Zbl 07596398 Australas. J. Log. 19, No. 2, 85-95 (2022). Reviewer: Gemma Robles (León) MSC: 03B20 03B35 03B40 03B47 PDF BibTeX XML Cite \textit{M. W. Bunder}, Australas. J. Log. 19, No. 2, 85--95 (2022; Zbl 07596398) Full Text: DOI OpenURL
Lin, Zhe; Ma, Minghui A proof-theoretic approach to negative translations in intuitionistic tense logics. (English) Zbl 07595959 Stud. Log. 110, No. 5, 1255-1289 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{Z. Lin} and \textit{M. Ma}, Stud. Log. 110, No. 5, 1255--1289 (2022; Zbl 07595959) Full Text: DOI OpenURL
Tarau, Paul Abductive reasoning in intuitionistic propositional logic via theorem synthesis. (English) Zbl 07595334 Theory Pract. Log. Program. 22, No. 5, 693-707 (2022). MSC: 68N17 PDF BibTeX XML Cite \textit{P. Tarau}, Theory Pract. Log. Program. 22, No. 5, 693--707 (2022; Zbl 07595334) Full Text: DOI arXiv OpenURL
Wang, Haoyu; Wang, Yanjing; Wang, Yunsong Inquisitive logic as an epistemic logic of knowing how. (English) Zbl 07587332 Ann. Pure Appl. Logic 173, No. 10, Article ID 103145, 29 p. (2022). MSC: 03B55 03B45 03B42 03B20 03B60 PDF BibTeX XML Cite \textit{H. Wang} et al., Ann. Pure Appl. Logic 173, No. 10, Article ID 103145, 29 p. (2022; Zbl 07587332) Full Text: DOI arXiv OpenURL
Quadrellaro, Davide Emilio On intermediate inquisitive and dependence logics: an algebraic study. (English) Zbl 07587331 Ann. Pure Appl. Logic 173, No. 10, Article ID 103143, 43 p. (2022). MSC: 03B60 03B55 03C05 03G10 06D20 08B05 PDF BibTeX XML Cite \textit{D. E. Quadrellaro}, Ann. Pure Appl. Logic 173, No. 10, Article ID 103143, 43 p. (2022; Zbl 07587331) Full Text: DOI arXiv OpenURL
Jarmużek, Tomasz; Klonowski, Mateusz Tableaux for logics of content relationship and set-assignment semantics. (English) Zbl 07580916 Log. Univers. 16, No. 1-2, 195-219 (2022). MSC: 03-02 03B20 03B60 03C50 03C90 03F03 PDF BibTeX XML Cite \textit{T. Jarmużek} and \textit{M. Klonowski}, Log. Univers. 16, No. 1--2, 195--219 (2022; Zbl 07580916) Full Text: DOI OpenURL
Ramirez, Rafael Félix Mora A pragmatic dissolution of Curry’s paradox. (English) Zbl 07580914 Log. Univers. 16, No. 1-2, 149-175 (2022). MSC: 03B65 03A05 03B20 03B50 03B52 03B53 03B60 91F20 PDF BibTeX XML Cite \textit{R. F. M. Ramirez}, Log. Univers. 16, No. 1--2, 149--175 (2022; Zbl 07580914) Full Text: DOI OpenURL
Protin, M. Clarence; Ferreira, Gilda Typability and type inference in atomic polymorphism. (English) Zbl 07577586 Log. Methods Comput. Sci. 18, No. 3, Paper No. 22, 22 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{M. C. Protin} and \textit{G. Ferreira}, Log. Methods Comput. Sci. 18, No. 3, Paper No. 22, 22 p. (2022; Zbl 07577586) Full Text: arXiv Link OpenURL
Boudou, Joseph; Diéguez, Martín; Fernández-Duque, David Complete intuitionistic temporal logics for topological dynamics. (English) Zbl 1499.03016 J. Symb. Log. 87, No. 3, 995-1022 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03B44 03B20 PDF BibTeX XML Cite \textit{J. Boudou} et al., J. Symb. Log. 87, No. 3, 995--1022 (2022; Zbl 1499.03016) Full Text: DOI arXiv OpenURL
Weiss, Yale Revisiting constructive mingle: algebraic and operational semantics. (English) Zbl 07576862 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 435-455 (2022). MSC: 03B47 03B20 03G10 PDF BibTeX XML Cite \textit{Y. Weiss}, Tributes 46, 435--455 (2022; Zbl 07576862) OpenURL
Kripke, Saul A. A proof of gamma. (English) Zbl 07576853 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 261-265 (2022). MSC: 03B47 03B20 PDF BibTeX XML Cite \textit{S. A. Kripke}, Tributes 46, 261--265 (2022; Zbl 07576853) OpenURL
Drobyshevich, Sergey; Odintsov, Sergei; Wansing, Heinrich Moisil’s modal logic and related systems. (English) Zbl 07576848 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 150-177 (2022). MSC: 03-03 03B20 03B45 PDF BibTeX XML Cite \textit{S. Drobyshevich} et al., Tributes 46, 150--177 (2022; Zbl 07576848) OpenURL
Słomczyńska, Katarzyna The structure of completely meet irreducible congruences in strongly Fregean algebras. (English) Zbl 07565554 Algebra Univers. 83, No. 3, Paper No. 31, 18 p. (2022). MSC: 08B10 08B26 03B20 03G25 PDF BibTeX XML Cite \textit{K. Słomczyńska}, Algebra Univers. 83, No. 3, Paper No. 31, 18 p. (2022; Zbl 07565554) Full Text: DOI arXiv OpenURL
Basu, Sankha S.; Chakraborty, Mihir K. Restricted rules of inference and paraconsistency. (English) Zbl 1494.03064 Log. J. IGPL 30, No. 3, 534-560 (2022). MSC: 03B53 03B20 03B52 PDF BibTeX XML Cite \textit{S. S. Basu} and \textit{M. K. Chakraborty}, Log. J. IGPL 30, No. 3, 534--560 (2022; Zbl 1494.03064) Full Text: DOI arXiv OpenURL
Brauer, Ethan; Linnebo, Øystein; Shapiro, Stewart Divergent potentialism: a modal analysis with an application to choice sequences. (English) Zbl 07561224 Philos. Math. (3) 30, No. 2, 143-172 (2022). MSC: 03B45 03B20 PDF BibTeX XML Cite \textit{E. Brauer} et al., Philos. Math. (3) 30, No. 2, 143--172 (2022; Zbl 07561224) Full Text: DOI OpenURL
Kawano, Tomoaki; Matsuda, Naosuke; Takagi, Kento Effect of the choice of connectives on the relation between classical logic and intuitionistic logic. (English) Zbl 07556133 Notre Dame J. Formal Logic 63, No. 2, 243-259 (2022). MSC: 03B20 03B05 PDF BibTeX XML Cite \textit{T. Kawano} et al., Notre Dame J. Formal Logic 63, No. 2, 243--259 (2022; Zbl 07556133) Full Text: DOI OpenURL
de Groot, Jim; Pattinson, Dirk Monotone subintuitionistic logic: duality and transfer results. (English) Zbl 07556132 Notre Dame J. Formal Logic 63, No. 2, 213-242 (2022). MSC: 03B20 03B45 PDF BibTeX XML Cite \textit{J. de Groot} and \textit{D. Pattinson}, Notre Dame J. Formal Logic 63, No. 2, 213--242 (2022; Zbl 07556132) Full Text: DOI OpenURL
DeBoer, Neil J. Justification logic and type theory as formalizations of intuitionistic propositional logic. (English) Zbl 07551710 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 37-51 (2022). MSC: 03B70 PDF BibTeX XML Cite \textit{N. J. DeBoer}, Lect. Notes Comput. Sci. 13137, 37--51 (2022; Zbl 07551710) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{M. Baaz} and \textit{R. Zach}, J. Symb. Log. 87, No. 2, 682--720 (2022; Zbl 07541918) Full Text: DOI arXiv Link OpenURL
de Groot, Jim; Pattinson, Dirk Hennessy-Milner properties via topological compactness. (English) Zbl 07540279 Inf. Comput. 287, Article ID 104757, 20 p. (2022). MSC: 03B20 03B45 PDF BibTeX XML Cite \textit{J. de Groot} and \textit{D. Pattinson}, Inf. Comput. 287, Article ID 104757, 20 p. (2022; Zbl 07540279) Full Text: DOI arXiv OpenURL
Yang, Fan Propositional union closed team logics. (English) Zbl 07514089 Ann. Pure Appl. Logic 173, No. 6, Article ID 103102, 35 p. (2022). MSC: 03B60 03B05 03B70 03B20 PDF BibTeX XML Cite \textit{F. Yang}, Ann. Pure Appl. Logic 173, No. 6, Article ID 103102, 35 p. (2022; Zbl 07514089) Full Text: DOI arXiv OpenURL
Cook, Roy T. Book review of: C. J. Posy, Mathematical intuitionism. (English) Zbl 1491.00010 Philos. Math. (3) 30, No. 1, 111-116 (2022). MSC: 00A17 03-02 03A05 03B20 03F55 00A30 PDF BibTeX XML Cite \textit{R. T. Cook}, Philos. Math. (3) 30, No. 1, 111--116 (2022; Zbl 1491.00010) Full Text: DOI OpenURL
Marin, Sonia; Miller, Dale; Pimentel, Elaine; Volpe, Marco From axioms to synthetic inference rules via focusing. (English) Zbl 07501985 Ann. Pure Appl. Logic 173, No. 5, Article ID 103091, 32 p. (2022). MSC: 03F03 03B10 03B20 03F07 PDF BibTeX XML Cite \textit{S. Marin} et al., Ann. Pure Appl. Logic 173, No. 5, Article ID 103091, 32 p. (2022; Zbl 07501985) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{N. Aboolian} and \textit{M. Alizadeh}, Log. J. IGPL 30, No. 1, 34--70 (2022; Zbl 1494.03029) Full Text: DOI OpenURL
Muralikrishna, P.; Borumand Saeid, A.; Vinodkumar, R.; Palani, G. An overview of cubic intuitionistic \(\beta\)-subalgebras. (English) Zbl 1491.06052 Proyecciones 41, No. 1, 23-44 (2022). Reviewer: Wiesław A. Dudek (Wrocław) MSC: 06F35 03G25 08A30 03E72 PDF BibTeX XML Cite \textit{P. Muralikrishna} et al., Proyecciones 41, No. 1, 23--44 (2022; Zbl 1491.06052) Full Text: DOI OpenURL
Castiglioni, J. L.; Celani, S. A.; San Martín, H. J. On Hilbert algebras generated by the order. (English) Zbl 07495458 Arch. Math. Logic 61, No. 1-2, 155-172 (2022). MSC: 03G10 06B23 06D20 06F05 08B15 PDF BibTeX XML Cite \textit{J. L. Castiglioni} et al., Arch. Math. Logic 61, No. 1--2, 155--172 (2022; Zbl 07495458) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{N. Kürbis}, Arch. Math. Logic 61, No. 1--2, 105--129 (2022; Zbl 07495456) Full Text: DOI OpenURL
Field, Hartry The power of naive truth. (English) Zbl 07493115 Rev. Symb. Log. 15, No. 1, 225-258 (2022). MSC: 03A05 03B20 03B50 PDF BibTeX XML Cite \textit{H. Field}, Rev. Symb. Log. 15, No. 1, 225--258 (2022; Zbl 07493115) Full Text: DOI OpenURL
Olkhovikov, Grigory; Badia, Guillermo Maximality of bi-intuitionistic propositional logic. (English) Zbl 07471448 J. Log. Comput. 32, No. 1, 1-31 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{G. Olkhovikov} and \textit{G. Badia}, J. Log. Comput. 32, No. 1, 1--31 (2022; Zbl 07471448) Full Text: DOI arXiv OpenURL
Hazen, Allen P.; Pelletier, Francis Jeffry Some lessons learned about adding conditionals to certain many-valued logics. (English) Zbl 07469224 Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 557-570 (2022). MSC: 03Bxx 03Gxx PDF BibTeX XML Cite \textit{A. P. Hazen} and \textit{F. J. Pelletier}, Outst. Contrib. Log. 22, 557--570 (2022; Zbl 07469224) Full Text: DOI OpenURL
Straßer, Christian; Pardo, Pere Prioritized defaults and formal argumentation. (English) Zbl 07655721 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 427-446 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{C. Straßer} and \textit{P. Pardo}, in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 427--446 (2021; Zbl 07655721) OpenURL
Steen, Alexander Goal-directed decision procedures for input/output logics. (English) Zbl 07655720 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 414-426 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{A. Steen}, in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 414--426 (2021; Zbl 07655720) OpenURL
Schuster, Daniela Forms and norms of indecision in argumentation theory. (English) Zbl 07655719 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 394-413 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{D. Schuster}, in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 394--413 (2021; Zbl 07655719) Full Text: arXiv OpenURL
Sawasaki, Takahiro; Sano, Katsuhiko Term-sequence-dyadic deontic logic. (English) Zbl 07655718 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 376-393 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{T. Sawasaki} and \textit{K. Sano}, in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 376--393 (2021; Zbl 07655718) OpenURL
Olszewski, Maya; Parent, Xavier; van der Torre, Leendert Input/output logic with a consistency check – the case of permission. (English) Zbl 07655717 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 358-375 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{M. Olszewski} et al., in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 358--375 (2021; Zbl 07655717) OpenURL
Nygren, Karl Deontic logic based on inquisitive semantics. (English) Zbl 07655716 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 339-357 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{K. Nygren}, in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 339--357 (2021; Zbl 07655716) OpenURL
Markovich, Réka; Roy, Olivier A logical analysis of freedom of thought. (English) Zbl 07655715 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 323-338 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{R. Markovich} and \textit{O. Roy}, in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 323--338 (2021; Zbl 07655715) OpenURL
Maranhão, Juliano; Sartor, Giovanni Interpretive normative systems. (English) Zbl 07655714 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 308-322 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{J. Maranhão} and \textit{G. Sartor}, in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 308--322 (2021; Zbl 07655714) OpenURL
Lang, Timo A reduction in violation logic. (English) Zbl 07655713 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 291-307 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{T. Lang}, in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 291--307 (2021; Zbl 07655713) OpenURL
Knoks, Aleks Moral principles: hedged, contributory, mixed. (English) Zbl 07655712 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 272-290 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{A. Knoks}, in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 272--290 (2021; Zbl 07655712) OpenURL
Governatori, Guido; Rotolo, Antonino Is free choice permission admissible in classical deontic logic? (English) Zbl 07655711 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 255-271 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{G. Governatori} and \textit{A. Rotolo}, in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 255--271 (2021; Zbl 07655711) Full Text: arXiv OpenURL
Governatori, Guido; Colombo Tosatto, Silvano; Rotolo, Antonino A defeasible deontic logic for pragmatic oddity. (English) Zbl 07655710 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 239-254 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{G. Governatori} et al., in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 239--254 (2021; Zbl 07655710) OpenURL
Goranko, Valentin How deontic logic ought to be: towards a many-sorted framework for normative reasoning. (English) Zbl 07655709 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 219-238 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{V. Goranko}, in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 219--238 (2021; Zbl 07655709) OpenURL
Glavaničová, Daniela; Pascucci, Matteo Axiomatizing norms across time and the ‘paradox of the court’. (English) Zbl 07655708 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 201-218 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{D. Glavaničová} and \textit{M. Pascucci}, in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 201--218 (2021; Zbl 07655708) OpenURL
Giordani, Alessandro Reason-based deontic logic. (English) Zbl 07655707 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 183-200 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{A. Giordani}, in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 183--200 (2021; Zbl 07655707) OpenURL
Frijters, Stef; De Coninck, Thijs The Manchester twins: conflicts between directed obligations. (English) Zbl 07655706 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 166-182 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{S. Frijters} and \textit{T. De Coninck}, in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 166--182 (2021; Zbl 07655706) OpenURL
Faroldi, Federico L. G.; Ghari, Meghdad; Lehmann, Eveline; Studer, Thomas Impossible and conflicting obligations in justification logic. (English) Zbl 07655705 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 151-165 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{F. L. G. Faroldi} et al., in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 151--165 (2021; Zbl 07655705) OpenURL
De Coninck, Thijs; Van De Putte, Frederik The original position: a logical analysis. (English) Zbl 07655704 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 133-150 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{T. De Coninck} and \textit{F. Van De Putte}, in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 133--150 (2021; Zbl 07655704) OpenURL
Dalmonte, Tiziano; Grellois, Charles; Olivetti, Nicola Proof systems for the logics of bringing-it-about. (English) Zbl 07655703 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 114-132 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{T. Dalmonte} et al., in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 114--132 (2021; Zbl 07655703) OpenURL
Ciabattoni, Agata; Lellmann, Björn Sequent rules for reasoning and conflict resolution in conditional norms. (English) Zbl 07655702 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 94-113 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{A. Ciabattoni} and \textit{B. Lellmann}, in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 94--113 (2021; Zbl 07655702) OpenURL
Castro, Pablo F.; Cassano, Valentin; Fervari, Raul; Areces, Carlos Deontic action logics via algebra. (English) Zbl 07655701 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 77-93 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{P. F. Castro} et al., in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 77--93 (2021; Zbl 07655701) OpenURL
van Berkel, Kees; Lyon, Tim The varieties of ought-implies-can and deontic STIT logic. (English) Zbl 07655700 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 57-76 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{K. van Berkel} and \textit{T. Lyon}, in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 57--76 (2021; Zbl 07655700) OpenURL
van Berkel, Kees; Gabbay, Dov; van der Torre, Leendert If you want to smoke, don’t buy cigarettes: near-anankastics, contexts, and hyper modality. (English) Zbl 07655699 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 36-56 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{K. van Berkel} et al., in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 36--56 (2021; Zbl 07655699) OpenURL
van Berkel, Kees; Ciabattoni, Agata; Freschi, Elisa; Gulisano, Francesca; Olszewski, Maya The gentle murder paradox in Sanskrit philosophy. (English) Zbl 07655698 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 17-35 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{K. van Berkel} et al., in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 17--35 (2021; Zbl 07655698) OpenURL
Avendaño-Mejía, Edgar; Torres-Falcón, Yolanda The roles of authority and norm-addressees in deontic puzzles. (English) Zbl 07655697 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 1-16 (2021). MSC: 03B45 03B60 03B20 03A05 PDF BibTeX XML Cite \textit{E. Avendaño-Mejía} and \textit{Y. Torres-Falcón}, in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 1--16 (2021; Zbl 07655697) OpenURL
Maffezioli, Paolo; Tranchini, Luca Equality and apartness in bi-intuitinistic logic. (English) Zbl 07642559 Log. Issled. 27, No. 1, 82-106 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{P. Maffezioli} and \textit{L. Tranchini}, Log. Issled. 27, No. 1, 82--106 (2021; Zbl 07642559) Full Text: DOI OpenURL
Konovalov, Aleksandr Yu. Generalized realizability and basic logic. (English) Zbl 07628967 ACM Trans. Comput. Log. 22, No. 4, Article No. 25, 23 p. (2021). MSC: 03F30 03F55 03B20 PDF BibTeX XML Cite \textit{A. Yu. Konovalov}, ACM Trans. Comput. Log. 22, No. 4, Article No. 25, 23 p. (2021; Zbl 07628967) Full Text: DOI arXiv OpenURL
Romano, Daniel A. Co-filters in \(\varGamma\)-semigroups ordered under co-order. (English) Zbl 07621971 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Mat. 67, No. 1, 11-18 (2021). MSC: 03F65 06F99 20M99 PDF BibTeX XML Cite \textit{D. A. Romano}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Mat. 67, No. 1, 11--18 (2021; Zbl 07621971) Full Text: DOI OpenURL
Singh, Surender; Sharma, Sonam On a generalized entropy and dissimilarity measure in intuitionistic fuzzy environment with applications. (English) Zbl 1498.94044 Soft Comput. 25, No. 11, 7493-7514 (2021). MSC: 94A17 94D05 PDF BibTeX XML Cite \textit{S. Singh} and \textit{S. Sharma}, Soft Comput. 25, No. 11, 7493--7514 (2021; Zbl 1498.94044) Full Text: DOI OpenURL
Bellucci, Francesco; Chiffi, Daniele; Pietarinen, Ahti-Veikko Beta assertive graphs: proofs of assertions with quantification. (English) Zbl 07599923 J. Appl. Log. - IfCoLog J. Log. Appl. 8, No. 2, 353-376 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{F. Bellucci} et al., J. Appl. Log. - IfCoLog J. Log. Appl. 8, No. 2, 353--376 (2021; Zbl 07599923) OpenURL
Atanassov, Krassimir Intuitionistic fuzzy temporal-modal operators. (English) Zbl 1496.03106 Atanassov, Krassimir T. (ed.) et al., Advances and new developments in fuzzy logic and technology. Selected papers from IWIFSGN’2019 – the eighteenth international workshop on intuitionistic fuzzy sets and generalized nets, October 24–25, 2019, Warsaw, Poland. Cham: Springer. Adv. Intell. Syst. Comput. 1308, 3-15 (2021). MSC: 03B52 03B44 03B45 PDF BibTeX XML Cite \textit{K. Atanassov}, Adv. Intell. Syst. Comput. 1308, 3--15 (2021; Zbl 1496.03106) Full Text: DOI OpenURL
Liu, Fenrong (ed.); Marra, Alessandra (ed.); Portner, Paul (ed.); Van De Putte, Frederik (ed.) Deontic logic and normative systems. 15th international conference, DEON 2020/2021. (English) Zbl 07572556 London: College Publications (ISBN 978-1-84890-352-4). vi, 446 p., open access (2021). MSC: 03-06 03B45 03B60 03B20 03A05 00B25 PDF BibTeX XML Cite \textit{F. Liu} (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications (2021; Zbl 07572556) Full Text: Link OpenURL
Keller, Olivier A missed opportunity. The intuition of the dialectic in Brouwer’s intuitionism. (Une occasion manquée. L’intuition de la dialectique dans l’intuitionnisme de Brouwer.) (French) Zbl 1491.03008 Quadrature 119, 27-39 (2021). MSC: 03A05 03F55 00A30 PDF BibTeX XML Cite \textit{O. Keller}, Quadrature 119, 27--39 (2021; Zbl 1491.03008) OpenURL
Su, Youan; Murai, Ryo; Sano, Katsuhiko On Artemov and Protopopescu’s intuitionistic epistemic logic expanded with distributed knowledge. (English) Zbl 07547772 Ghosh, Sujata (ed.) et al., Logic, rationality, and interaction. 8th international workshop, LORI 2021, Xi’ian, China, October 16–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13039, 216-231 (2021). MSC: 68T27 PDF BibTeX XML Cite \textit{Y. Su} et al., Lect. Notes Comput. Sci. 13039, 216--231 (2021; Zbl 07547772) Full Text: DOI OpenURL
Zhong, Shengyang A general relational semantics of propositional logic: axiomatization. (English) Zbl 07547735 Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 82-99 (2021). MSC: 03B70 PDF BibTeX XML Cite \textit{S. Zhong}, Lect. Notes Comput. Sci. 13038, 82--99 (2021; Zbl 07547735) Full Text: DOI OpenURL
Carnielli, Walter; Rodrigues, Abilio On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms. (English) Zbl 1494.03016 Log. J. IGPL 29, No. 4, 569-584 (2021). MSC: 03A05 03B53 03B20 PDF BibTeX XML Cite \textit{W. Carnielli} and \textit{A. Rodrigues}, Log. J. IGPL 29, No. 4, 569--584 (2021; Zbl 1494.03016) Full Text: DOI OpenURL
Linker, Sven Natural deduction for intuitionistic Euler-Venn diagrams. (English) Zbl 07537211 Basu, Amrita (ed.) et al., Diagrammatic representation and inference. 12th international conference, Diagrams 2021, virtual, September 28–30, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12909, 529-533 (2021). MSC: 03B20 PDF BibTeX XML Cite \textit{S. Linker}, Lect. Notes Comput. Sci. 12909, 529--533 (2021; Zbl 07537211) Full Text: DOI OpenURL
Oostra, Arnold Equivalence proof for intuitionistic existential alpha graphs. (English) Zbl 07537173 Basu, Amrita (ed.) et al., Diagrammatic representation and inference. 12th international conference, Diagrams 2021, virtual, September 28–30, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12909, 188-195 (2021). MSC: 03B20 PDF BibTeX XML Cite \textit{A. Oostra}, Lect. Notes Comput. Sci. 12909, 188--195 (2021; Zbl 07537173) Full Text: DOI OpenURL
Lyon, Tim S. Nested sequents for intuitionistic modal logics via structural refinement. (English) Zbl 07532529 Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 409-427 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{T. S. Lyon}, Lect. Notes Comput. Sci. 12842, 409--427 (2021; Zbl 07532529) Full Text: DOI arXiv OpenURL
Dalmonte, Tiziano; Grellois, Charles; Olivetti, Nicola Terminating calculi and countermodels for constructive modal logics. (English) Zbl 07532528 Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 391-408 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{T. Dalmonte} et al., Lect. Notes Comput. Sci. 12842, 391--408 (2021; Zbl 07532528) Full Text: DOI OpenURL
From, Asta Halkjær; Eschen, Agnes Moesgård; Villadsen, Jørgen Formalizing axiomatic systems for propositional logic in Isabelle/HOL. (English) Zbl 1485.68292 Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 32-46 (2021). MSC: 68V20 03B05 03B20 PDF BibTeX XML Cite \textit{A. H. From} et al., Lect. Notes Comput. Sci. 12833, 32--46 (2021; Zbl 1485.68292) Full Text: DOI Link OpenURL
Tarau, Paul Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic. (English) Zbl 07496655 Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 329-344 (2021). MSC: 68N30 PDF BibTeX XML Cite \textit{P. Tarau}, Lect. Notes Comput. Sci. 12561, 329--344 (2021; Zbl 07496655) Full Text: DOI OpenURL
Martini, Simone; Masini, Andrea; Zorzi, Margherita From 2-sequents and linear nested sequents to natural deduction for normal modal logics. (English) Zbl 07480993 ACM Trans. Comput. Log. 22, No. 3, Article No. 19, 29 p. (2021). MSC: 03B45 03F05 PDF BibTeX XML Cite \textit{S. Martini} et al., ACM Trans. Comput. Log. 22, No. 3, Article No. 19, 29 p. (2021; Zbl 07480993) Full Text: DOI arXiv Link OpenURL
Hameed, Areej Tawfeeq; Mahdi Zabiba, Mohammed Shakir; Malik, Nada Hadi Magnified translation of intuitionistic fuzzy at-ideals on AT-algebra. (English) Zbl 1482.06005 J. Discrete Math. Sci. Cryptography 24, No. 6, 1645-1650 (2021). MSC: 06F35 03G25 06B10 PDF BibTeX XML Cite \textit{A. T. Hameed} et al., J. Discrete Math. Sci. Cryptography 24, No. 6, 1645--1650 (2021; Zbl 1482.06005) Full Text: DOI OpenURL
Moschovakis, Joan Rand Solovay’s relative consistency proof for FIM and BI. (English) Zbl 07473064 Notre Dame J. Formal Logic 62, No. 4, 661-667 (2021). MSC: 03-03 01A61 03B30 03F25 03F50 03F55 PDF BibTeX XML Cite \textit{J. R. Moschovakis}, Notre Dame J. Formal Logic 62, No. 4, 661--667 (2021; Zbl 07473064) Full Text: DOI arXiv OpenURL
Rogozin, Daniel Categorical and algebraic aspects of the intuitionistic modal logic \(\mathrm{IEL}^{\text{--}}\) and its predicate extensions. (English) Zbl 07471471 J. Log. Comput. 31, No. 1, 347-374 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{D. Rogozin}, J. Log. Comput. 31, No. 1, 347--374 (2021; Zbl 07471471) Full Text: DOI arXiv OpenURL
Lyon, Tim On the correspondence between nested calculi and semantic systems for intuitionistic logics. (English) Zbl 07471467 J. Log. Comput. 31, No. 1, 213-265 (2021). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{T. Lyon}, J. Log. Comput. 31, No. 1, 213--265 (2021; Zbl 07471467) Full Text: DOI arXiv OpenURL
Niki, Satoru; Omori, Hitoshi A note on Humberstone’s constant \(\Omega\). (English) Zbl 07468690 Rep. Math. Logic 56, 75-99 (2021). MSC: 03B20 03B50 PDF BibTeX XML Cite \textit{S. Niki} and \textit{H. Omori}, Rep. Math. Logic 56, 75--99 (2021; Zbl 07468690) Full Text: DOI OpenURL
Fermüller, Christian G. Connecting sequent calculi with Lorenzen-style dialogue games. (English) Zbl 1490.03014 Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 115-141 (2021). Reviewer: Volker Peckhaus (Paderborn) MSC: 03B47 03B20 01A60 03A05 03-03 03F52 91A05 PDF BibTeX XML Cite \textit{C. G. Fermüller}, Log. Epistemol. Unity Sci. 51, 115--141 (2021; Zbl 1490.03014) Full Text: DOI OpenURL
Antos, Carolin Conceptions of infinity and set in Lorenzen’s operationist system. (English) Zbl 1494.03011 Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 23-46 (2021). Reviewer: Volker Peckhaus (Paderborn) MSC: 03A05 00A30 01A60 03-03 03B20 03B30 PDF BibTeX XML Cite \textit{C. Antos}, Log. Epistemol. Unity Sci. 51, 23--46 (2021; Zbl 1494.03011) Full Text: DOI OpenURL
Drago, Antonino An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov’s 1932 paper. (English) Zbl 1490.03002 Log. Univers. 15, No. 4, 537-552 (2021). Reviewer: Roman Murawski (Poznań) MSC: 03-03 03B20 03A05 01A60 PDF BibTeX XML Cite \textit{A. Drago}, Log. Univers. 15, No. 4, 537--552 (2021; Zbl 1490.03002) Full Text: DOI OpenURL