Fussner, Wesley; Galatos, Nikolaos Semiconic idempotent logic. II: Beth definability and deductive interpolation. (English) Zbl 07962816 Ann. Pure Appl. Logic 176, No. 3, Article ID 103528, 40 p. (2025). MSC: 03G25 03B47 03C40 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Øgaard, Tore Fjetland [Mares, Edwin] Book review of: E. Mares, The Logic of entailment and its history. (English) Zbl 07974422 Bull. Symb. Log. 30, No. 3, 422-424 (2024). MSC: 00A17 03-01 03-03 03B47 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Japaridze, Giorgi A propositional cirquent calculus for computability logic. (English) Zbl 07965525 J. Logic Lang. Inf. 33, No. 4-5, 363-389 (2024). MSC: 03-XX 68-XX 03B47 03B70 03F03 03F20 68T15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Yang, Eunsuk Powers and limitations of Urquhart-style semantics I: basic substructural logics. (English) Zbl 07962008 Rep. Math. Logic 59, 49-78 (2024). MSC: 03A99 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Robles, Gemma; Méndez, José M. Correction to: “A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4”. (English) Zbl 1548.03032 Log. J. IGPL 32, No. 3, 572 (2024). MSC: 03B47 03B50 × Cite Format Result Cite Review PDF Full Text: DOI
Fazio, Davide; St. John, Gavin Connexive implications in substructural logics. (English) Zbl 07944276 Rev. Symb. Log. 17, No. 3, 878-909 (2024). MSC: 03A10 03B47 03B55 03B60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ferenz, Nicholas First-order relevant reasoners in classical worlds. (English) Zbl 07944273 Rev. Symb. Log. 17, No. 3, 793-818 (2024). MSC: 03B10 03B42 03B45 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Badia, Guillermo; Běhounek, Libor; Cintula, Petr; Tedder, Andrew Relevant consequence relations: an invitation. (English) Zbl 07944272 Rev. Symb. Log. 17, No. 3, 762-792 (2024). MSC: 03B22 03A05 03B47 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Da Ré, Bruno; Szmuc, Damian; Chemla, Emmanuel; Égré, Paul On three-valued presentations of classical logic. (English) Zbl 07944269 Rev. Symb. Log. 17, No. 3, 682-704 (2024). MSC: 03B05 03B47 03B50 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Cintula, Petr; Metcalfe, George; Tokuda, Naomi One-variable fragments of first-order logics. (English) Zbl 07942600 Bull. Symb. Log. 30, No. 2, 253-278 (2024). MSC: 03B45 03B47 03C05 03C80 03F52 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Roy, Sayantan Rule-elimination theorems. (English) Zbl 07938978 Log. Univers. 18, No. 3, 355-393 (2024). MSC: 03B22 03B47 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Lapenta, Serafina; Metere, Giuseppe; Spada, Luca Relative ideals in homological categories with an application to MV-algebras. (English) Zbl 1544.18005 Theory Appl. Categ. 41, 878-893 (2024). Reviewer: George Janelidze (Cape Town) MSC: 18C05 18E13 06D35 03B47 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Zaĭtsev, Dmitriĭ Vladimirovich Modulo reasoning. I: Logic of undeducibility. (Russian. English summary) Zbl 1547.03187 Log. Issled. 30, No. 1, 11-26 (2024). MSC: 03B47 03B60 × Cite Format Result Cite Review PDF Full Text: DOI
Galatos, Nikolaos; Zhuang, Xiao Unilinear residuated lattices: axiomatization, varieties and FEP. (English) Zbl 07877922 Algebra Univers. 85, No. 3, Paper No. 30, 33 p. (2024). MSC: 06F05 08B15 03G10 03B47 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Fazio, Davide; Mascella, Raffaele Some remarks on the logic of probabilistic relevance. (English) Zbl 07868850 Log. Log. Philos. 33, No. 1, 101-144 (2024). MSC: 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Fussner, Wesley; Galatos, Nikolaos Semiconic idempotent logic. I: Structure and local deduction theorems. (English) Zbl 07848927 Ann. Pure Appl. Logic 175, No. 7, Article ID 103443, 31 p. (2024). MSC: 03G10 03B47 03C40 03C05 06F05 08B25 × Cite Format Result Cite Review PDF Full Text: DOI
Kuznetsov, Stepan L. Algorithmic complexity for theories of commutative Kleene algebras. (English. Russian original) Zbl 07838022 Izv. Math. 88, No. 2, 236-269 (2024); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 88, No. 2, 44-79 (2024). MSC: 03B25 03C75 03B47 03D35 03F05 03G25 × Cite Format Result Cite Review PDF Full Text: DOI MNR
Logan, Shay Allen Relevance logic. (English) Zbl 07826891 Elements in Philosophy and Logic. Cambridge: Cambridge University Press (ISBN 978-1-00-953617-2/hbk; 978-1-00-922775-9/pbk; 978-1-00-922777-3/ebook). 77 p. (2024). MSC: 03-01 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Wannenburg, J. J.; Raftery, J. G. Semilinear De Morgan monoids and epimorphisms. (English) Zbl 07793254 Algebra Univers. 85, No. 1, Paper No. 10, 34 p. (2024). MSC: 03B47 03G25 06F05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Aglianò, Paolo; Ugolini, Sara Structural and universal completeness in algebra and logic. (English) Zbl 07785164 Ann. Pure Appl. Logic 175, No. 3, Article ID 103391, 49 p. (2024). MSC: 03G27 03G10 08C15 03B47 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Hartonas, Chrysafis Choice-free topological duality for implicative lattices and Heyting algebras. (English) Zbl 07783200 Algebra Univers. 85, No. 1, Paper No. 3, 29 p. (2024). MSC: 06D50 06B15 06B23 03B47 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Mares, Edwin The logic of entailment and its history. (English) Zbl 1548.03006 Cambridge: Cambridge University Press (ISBN 978-1-00-937531-3/hbk; 978-1-00-937528-3/ebook). xvi, 264 p. (2024). Reviewer: Branislav Boričić (Beograd) MSC: 03-01 03-03 03B47 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Égré, Paul; Ripley, David Probabilistic consequence relations. arXiv:2411.18849 Preprint, arXiv:2411.18849 [math.LO] (2024). MSC: 03B48 03B47 × Cite Format Result Cite Full Text: arXiv OA License
Kuznetsov, Stepan L.; Pshenitsyn, Tikhon; Speranski, Stanislav O. Reasoning from hypotheses in *-continuous action lattices. arXiv:2408.02118 Preprint, arXiv:2408.02118 [math.LO] (2024). MSC: 03B47 × Cite Format Result Cite Full Text: arXiv OA License
Greati, Vitor; Ramanayake, Revantha Deducibility in the full Lambek calculus with weakening is HAck-complete. arXiv:2406.15626 Preprint, arXiv:2406.15626 [cs.LO] (2024). MSC: 03B47 × Cite Format Result Cite Full Text: arXiv
Moncayo, Jose; Zambrano, Pedro H. Kripke-like models of Set Theory in Modal Residuated Logic. arXiv:2405.04641 Preprint, arXiv:2405.04641 [math.LO] (2024). MSC: 03E70 03B47 03B60 03B45 06F07 × Cite Format Result Cite Full Text: arXiv OA License
Fussner, Wesley; Santschi, Simon Interpolation in Hájek’s Basic Logic. arXiv:2403.13617 Preprint, arXiv:2403.13617 [math.LO] (2024). MSC: 03G25 03B47 03C40 06F05 × Cite Format Result Cite Full Text: arXiv OA License
Petric, Zoran; Zekic, Mladen Coherence for logicians. arXiv:2402.01285 Preprint, arXiv:2402.01285 [math.LO] (2024). MSC: 03B47 03F05 03F07 03G30 18M05 18M30 × Cite Format Result Cite Full Text: arXiv OA License
Namdar, Ameneh; Saeid, Arsham Borumand Study hoop algebras by fuzzy (\(n\)-fold) obstinate filters. (English) Zbl 07920312 Topol. Algebra Appl. 11, Article ID 20230107, 16 p. (2023). MSC: 03B47 03G25 06D99 × Cite Format Result Cite Review PDF Full Text: DOI
Ferguson, Thomas Macaulay Topic-theoretic extensions of analytic implication. (English) Zbl 07828370 Notre Dame J. Formal Logic 64, No. 4, 471-493 (2023). MSC: 03B47 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Lin, Zhe; Wang, Xinshu Modal Lambek calculus with primary assumptions: decidability and context-freeness. (English) Zbl 07823019 Bentzen, Bruno (ed.) et al., Logics for AI and law. Joint proceedings of the third international workshop on logics for new-generation artificial intelligence and the international workshop on logic, AI and law, September 8–9 and 11–12, 2023, Hangzhou, China. London: College Publications. 149-155 (2023). MSC: 03B47 03B25 03B45 03B65 × Cite Format Result Cite Review PDF Full Text: Link
Rogozin, Daniel Semantic analysis of subexponential modalities in distributive non-commutative linear logic. (English) Zbl 1541.03083 Moortgat, Michael (ed.) et al., 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). Electron. Proc. Theor. Comput. Sci. (EPTCS) 381, 60-70 (2023). MSC: 03B45 03B47 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Pshenitsyn, Tikhon Multimodality in the hypergraph Lambek calculus. (English) Zbl 1541.03089 Moortgat, Michael (ed.) et al., 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). Electron. Proc. Theor. Comput. Sci. (EPTCS) 381, 46-59 (2023). MSC: 03B47 03B65 03B45 03F52 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Blaisdell, Eben; Kanovich, Max; Kuznetsov, Stepan L.; Pimentel, Elaine; Scedrov, Andre Explorations in subexponential non-associative non-commutative linear logic. (English) Zbl 1541.03088 Moortgat, Michael (ed.) et al., 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). Electron. Proc. Theor. Comput. Sci. (EPTCS) 381, 4-19 (2023). MSC: 03B47 03F52 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
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 × Cite Format Result Cite Review PDF Full Text: DOI
Standefer, Shawn Weak relevant justification logics. (English) Zbl 1546.03006 J. Log. Comput. 33, No. 7, 1665-1683 (2023). Reviewer: Meghdad Ghari (Isfahan) MSC: 03B47 03B42 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Fazio, Davide; Ledda, Antonio; Paoli, Francesco; St. John, Gavin A substructural Gentzen calculus for orthomodular quantum logic. (English) Zbl 07786932 Rev. Symb. Log. 16, No. 4, 1177-1198 (2023). MSC: 03G12 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Restall, Greg; Standefer, Shawn Collection frames for distributive substructural logics. (English) Zbl 1546.03005 Rev. Symb. Log. 16, No. 4, 1120-1157 (2023). Reviewer: Gemma Robles (León) MSC: 03B47 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Pailos, Federico; Da Ré, Bruno Metainferential logics. (English) Zbl 07785220 Trends in Logic – Studia Logica Library 61. Cham: Springer (ISBN 978-3-031-44380-0/hbk; 978-3-031-44383-1/pbk; 978-3-031-44381-7/ebook). x, 134 p. (2023). MSC: 03-03 03B47 × Cite Format Result Cite Review PDF 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). Reviewer: Wiesław A. Dudek (Wrocław) MSC: 03B47 03C05 03G10 06D35 × Cite Format Result Cite Review PDF Full Text: DOI
Jenei, Sándor Correction to: “Group representation for even and odd involutive commutative residuated chains”. (English) Zbl 1522.06027 Stud. Log. 111, No. 5, 897-898 (2023). MSC: 06F05 06F20 03B47 × Cite Format Result Cite Review PDF 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 1522.03012 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 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Roberts, David Michael Substructural fixed-point theorems and the diagonal argument: theme and variations. (English) Zbl 1532.18005 Compositionality 5, No. 8, 16 p. (2023). Reviewer: Joaquín Luna-Torres (Cartagena) MSC: 18D15 03B47 03F52 18C99 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Robles, Gemma; Méndez, José M. A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4. (English) Zbl 1515.03116 Log. J. IGPL 31, No. 3, 475-482 (2023); correction ibid. 32, No. 3, 572 (2024). MSC: 03B47 03B50 × Cite Format Result Cite Review PDF Full Text: DOI
Standefer, Shawn Varieties of relevant S5. (English) Zbl 1530.03094 Log. Log. Philos. 32, No. 1, 53-80 (2023). MSC: 03B47 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Standefer, Shawn A substructural approach to explicit modal logic. (English) Zbl 1515.03109 J. Logic Lang. Inf. 32, No. 2, 333-362 (2023). MSC: 03B45 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Tennant, Neil Core Gödel. (English) Zbl 1541.03163 Notre Dame J. Formal Logic 64, No. 1, 15-59 (2023). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03F30 03F52 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Fang, Wenjie Bijections between planar maps and planar linear normal \(\lambda\)-terms with connectivity condition. (English) Zbl 07686838 Adv. Appl. Math. 148, Article ID 102532, 22 p. (2023). MSC: 68R05 05A19 05A15 03B47 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Roy, Sayantan; Basu, Sankha S.; Chakraborty, Mihir K. Lindenbaum-type logical structures. (English) Zbl 07682169 Log. Univers. 17, No. 1, 69-102 (2023). MSC: 03B22 03B47 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Jenei, Sándor Involutive uninorm logic with fixed point enjoys finite strong standard completeness. (English) Zbl 07680016 Arch. Math. Logic 62, No. 1-2, 67-86 (2023). MSC: 03B47 03B52 03G25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ferenz, Nicholas Quantified modal relevant logics. (English) Zbl 07658886 Rev. Symb. Log. 16, No. 1, 210-240 (2023). MSC: 03B45 03B47 03Cxx × Cite Format Result Cite Review PDF Full Text: DOI
Metcalfe, George; Reggio, Luca Model completions for universal classes of algebras: necessary and sufficient conditions. (English) Zbl 1516.03011 J. Symb. Log. 88, No. 1, 381-417 (2023). Reviewer: Rosario Mennuni (Pisa) MSC: 03C10 03C05 03C40 03C64 03B47 06D35 06F20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Hlobil, Ulf The laws of thought and the laws of truth as two sides of one coin. (English) Zbl 1539.03023 J. Philos. Log. 52, No. 1, 313-343 (2023). MSC: 03A05 03B47 × Cite Format Result Cite Review PDF Full Text: DOI Link
Ferenz, Nicholas; Tedder, Andrew Neighbourhood semantics for modal relevant logics. (English) Zbl 1539.03087 J. Philos. Log. 52, No. 1, 145-181 (2023). MSC: 03B47 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Blanco, José Miguel; López, Sandra M.; Recio, Marcos M. On how the 2 set-up Routley-Meyer semantics are a specific case of the reduced general Routley-Meyer semantics in the context of some 4-valued logics. (English) Zbl 1515.03120 J. Appl. Log. - IfCoLog J. Log. Appl. 10, No. 1, 2-18 (2023). MSC: 03B50 03B47 × Cite Format Result Cite Review PDF Full Text: Link
Weiss, Yale The relevance logic of Boolean groups. (English) Zbl 1515.03117 Log. J. IGPL 31, No. 1, 96-114 (2023). MSC: 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Hartonas, Chrysafis Duality for normal lattice expansions and sorted residuated frames with relations. (English) Zbl 07648354 Algebra Univers. 84, No. 1, Paper No. 5, 32 p. (2023). MSC: 06D50 06B15 06A15 06B23 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Aglianò, Paolo; Ugolini, Sara Projectivity and unification in substructural logics of generalized rotations. (English) Zbl 1537.03018 Int. J. Approx. Reasoning 153, 172-192 (2023). MSC: 03B52 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Rump, Wolfgang Corrigendum and addendum to: “\(L\)-algebras and three main non-classical logics”. (English) Zbl 1514.03052 Ann. Pure Appl. Logic 174, No. 3, Article ID 103209, 3 p. (2023). MSC: 03G12 06D20 03G20 03B47 03G10 × Cite Format Result Cite Review PDF Full Text: DOI
Fussner, Wesley; Metcalfe, George; Santschi, Simon Interpolation and the Exchange Rule. arXiv:2310.14953 Preprint, arXiv:2310.14953 [math.LO] (2023). MSC: 03B47 03G25 03C40 03C10 × Cite Format Result Cite Full Text: arXiv OA License
Craig, Andrew; Robinson, Claudette Representable distributive quasi relation algebras. arXiv:2310.11719 Preprint, arXiv:2310.11719 [math.LO] (2023). MSC: 06F05 03B47 03G10 × Cite Format Result Cite Full Text: arXiv OA License
Basu, Sankha S.; Roy, Sayantan Generalized explosion principles. arXiv:2307.15358 Preprint, arXiv:2307.15358 [math.LO] (2023). MSC: 03B53 03B22 03B47 × Cite Format Result Cite Full Text: arXiv OA License
Moncayo, Jose; Zambrano, Pedro H. Constructible sets in lattice-valued models: A negative result. arXiv:2306.01734 Preprint, arXiv:2306.01734 [math.LO] (2023). MSC: 03E70 03E45 03B47 03B60 06F07 × Cite Format Result Cite Full Text: arXiv OA License
Chajda, Ivan; Fazio, Davide; Länger, Helmut; Ledda, Antonio; Paseka, Jan Implication in sharply paraorthomodular and relatively paraorthomodular posets. arXiv:2301.09529 Preprint, arXiv:2301.09529 [math.LO] (2023). MSC: 03G12 03G25 03G10 03B47 03B60 06A11 06C15 × Cite Format Result Cite Full Text: arXiv
Zimmermann, Alexander; Kleinknecht, Reinhard; Dorn, Georg J. W. Grounding from a syntactic point of view: a sentential-logical approach. (English) Zbl 07958325 Erkenntnis 87, No. 2, 717-746 (2022). MSC: 03A05 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Øgaard, Tore Fjetland Confused entailment. (English) Zbl 07957972 Topoi 41, No. 1, 207-219 (2022). MSC: 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Logan, Shay Allen Deep fried logic. (English) Zbl 07956390 Erkenntnis 87, No. 1, 257-286 (2022). MSC: 03A05 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Amidei, Jacopo; Ertola-Biraben, Rodolfo C.; Montagna, Franco Conservative expansions of substructural logics. (English) Zbl 1536.03012 Galatos, Nikolaos (ed.) et al., Hiroakira Ono on substructural logics. Cham: Springer. Outst. Contrib. Log. 23, 339-368 (2022). MSC: 03B47 03B52 × Cite Format Result Cite Review PDF Full Text: DOI
Makinson, David The relevance logic programme: failed or just stalled? (English) Zbl 1543.03059 Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 709-719 (2022). MSC: 03B47 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Freund, Michael What does a concept entail? (English) Zbl 1543.03067 Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 337-351 (2022). MSC: 03B80 03B47 03B70 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Lávička, Tomáš; Moraschini, Tommaso; Raftery, James G. The algebraic significance of weak excluded middle laws. (English) Zbl 1521.03255 Math. Log. Q. 68, No. 1, 79-94 (2022). MSC: 03G27 03B20 03B45 03B47 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
López, Sandra M. Ternary relational semantics for the variants of BN4 and E4 which contain Routley and Meyer’s Logic B. (English) Zbl 1536.03013 Bull. Sect. Log., Univ. Łódź, Dep. Log. 51, No. 1, 27-56 (2022). MSC: 03B47 03B50 × Cite Format Result Cite Review PDF Full Text: DOI
Sedlár, Igor; Wannenburg, Johann J. Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests. (English) Zbl 1541.68227 Ciabattoni, Agata (ed.) et al., Logic, language, information, and computation. 28th international workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13468, 221-236 (2022). MSC: 68Q60 03B47 03B70 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
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 × Cite Format Result Cite Review PDF Full Text: DOI
Mantovani, Marco; Momigliano, Alberto Towards substructural property-based testing. (English) Zbl 1521.68035 De Angelis, Emanuele (ed.) et al., Logic-based program synthesis and transformation. 31st international symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13290, 92-112 (2022). MSC: 68N30 03B47 68N15 68Q55 68W20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Sedlár, Igor; Vigiani, Pietro Relevant reasoners in a classical world. (English) Zbl 1531.03022 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. 697-717 (2022). MSC: 03B42 03B47 × Cite Format Result Cite Review PDF Full Text: arXiv
Cintula, Petr; Metcalfe, George; Tokuda, Naomi Algebraic semantics for one-variable lattice-valued logics. (English) Zbl 1531.03064 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. 237-257 (2022). MSC: 03B50 03B45 03B47 × Cite Format Result Cite Review PDF Full Text: arXiv
Japaridze, Giorgi; Lamichhane, Bikal Cirquent calculus in a nutshell. (English) Zbl 1542.03049 Log. Issled. 28, No. 1, 125-141 (2022). Reviewer: Wenyan Xu (Xi’an) MSC: 03B70 03F07 03B47 03F52 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Chajda, Ivan; Länger, Helmut Join-semilattices whose principal filters are pseudocomplemented lattices. (English) Zbl 1513.06004 Miskolc Math. Notes 23, No. 2, 559-577 (2022). MSC: 06A12 06D15 03G25 03B47 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Moraschini, Tommaso On equational completeness theorems. (English) Zbl 1542.03083 J. Symb. Log. 87, No. 4, 1522-1575 (2022). MSC: 03G27 03B55 03B45 03B47 08B05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bodini, Oliver; Singh, Alexandros; Zeilberger, Noam Sampling \(\beta\)-normal linear \(\lambda\)-terms. (English) Zbl 1513.03033 PU.M.A., Pure Math. Appl. 30, No. 1, 45-55 (2022). Reviewer: Ioan Tomescu (Bucureşti) MSC: 03B40 03B47 05C30 × Cite Format Result Cite Review PDF Full Text: DOI
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 × Cite Format Result Cite Review PDF Full Text: DOI
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 × Cite Format Result Cite Review PDF Full Text: DOI
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 × Cite Format Result Cite Review PDF Full Text: DOI
Pshenitsyn, Tikhon Hypergraph Lambek grammars. (English) Zbl 1548.68104 J. Log. Algebr. Methods Program. 129, Article ID 100798, 25 p. (2022). MSC: 68Q42 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Galatos, Nikolaos; St. John, Gavin Most simple extensions of \(\mathbf{FL_e}\) are undecidable. (English) Zbl 1531.03057 J. Symb. Log. 87, No. 3, 1156-1200 (2022). MSC: 03B47 06B20 03G10 06F05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Weiss, Yale Revisiting constructive mingle: algebraic and operational semantics. (English) Zbl 1531.03062 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 × Cite Format Result Cite Review PDF
Urquhart, Alasdair Who was Schiller Joe Scroggs? (English) Zbl 1531.03005 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 427-434 (2022). MSC: 03-03 03B45 03B47 01A70 01A60 × Cite Format Result Cite Review PDF
Tedder, Andrew Situations, propositions, and information states. (English) Zbl 1511.03006 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 410-426 (2022). Reviewer: Thomas Ferguson (Amsterdam/St. Andrews) MSC: 03B47 03B80 × Cite Format Result Cite Review PDF
Standefer, Shawn Completeness via metacompleteness. (English) Zbl 1531.03061 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 394-409 (2022). MSC: 03B47 03B45 × Cite Format Result Cite Review PDF
Shramko, Yaroslav The diamond of mingle logics: a four-fold infinite way to be safe from paradox. (English) Zbl 1531.03060 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 365-393 (2022). MSC: 03B47 03B50 × Cite Format Result Cite Review PDF
Robles, Gemma; Méndez, José M. A class of 4-valued implicative expansions of first-degree entailment logic (FDE) with the variable-sharing property. (English) Zbl 1531.03059 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 338-364 (2022). MSC: 03B47 03B50 03B53 × Cite Format Result Cite Review PDF
Omori, Hitoshi; Wansing, Heinrich Varieties of negation and contra-classicality in view of Dunn semantics. (English) Zbl 1531.03004 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 309-337 (2022). MSC: 03-03 03B47 03B50 × Cite Format Result Cite Review PDF
Kripke, Saul A. A proof of gamma. (English) Zbl 1531.03058 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 × Cite Format Result Cite Review PDF
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 × Cite Format Result Cite Review PDF
Hartonas, Chrysafis (Takis) Reconciliation of approaches to the semantics of logics without distribution. (English) Zbl 1531.03099 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 215-236 (2022). MSC: 03G10 03B45 03B47 06B15 × Cite Format Result Cite Review PDF
Ferenz, Nicholas Conditional FDE logics. (English) Zbl 1531.03056 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 182-214 (2022). MSC: 03B47 03B45 × Cite Format Result Cite Review PDF
Dunn, J. Michael Kripke’s argument for \(\gamma\). (English) Zbl 1531.03055 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 178-181 (2022). MSC: 03B47 × Cite Format Result Cite Review PDF
Brady, Ross T. Intension, extension, distribution and decidability. (English) Zbl 1531.03054 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 128-149 (2022). MSC: 03B47 03B25 × Cite Format Result Cite Review PDF
Bimbó, Katalin; Dunn, J. Michael Modalities in lattice-R. (English) Zbl 1531.03053 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 89-127 (2022). MSC: 03B47 03F52 03B45 × Cite Format Result Cite Review PDF