Bimbó, Katalin; Dunn, J. Michael St. Alasdair on lattices everywhere. (English) Zbl 07469215 Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 323-346 (2022). MSC: 03G10 03B47 PDFBibTeX XMLCite \textit{K. Bimbó} and \textit{J. M. Dunn}, Outst. Contrib. Log. 22, 323--346 (2022; Zbl 07469215) Full Text: DOI
Bimbó, Katalin In memoriam: J. Michael Dunn, 1941–2021. (English) Zbl 1480.01027 Bull. Symb. Log. 27, No. 4, 519-525 (2021). MSC: 01A70 PDFBibTeX XMLCite \textit{K. Bimbó}, Bull. Symb. Log. 27, No. 4, 519--525 (2021; Zbl 1480.01027) Full Text: DOI
Bimbó, Katalin Interpretations of weak positive modal logics. (English) Zbl 1486.03042 Arieli, Ofer (ed.) et al., Arnon Avron on semantics and proof theory of non-classical logics. Cham: Springer. Outst. Contrib. Log. 21, 13-38 (2021). Reviewer: Éric Martin (Sydney) MSC: 03B47 03B45 PDFBibTeX XMLCite \textit{K. Bimbó}, Outst. Contrib. Log. 21, 13--38 (2021; Zbl 1486.03042) Full Text: DOI
Bimbó, Katalin; Dunn, J. Michael Larisa Maksimova’s early contributions to relevance logic. (English) Zbl 1429.03001 Odintsov, Sergei (ed.), Larisa Maksimova on implication, interpolation, and definability. Cham: Springer. Outst. Contrib. Log. 15, 33-60 (2018). MSC: 03-03 01A70 03B47 PDFBibTeX XMLCite \textit{K. Bimbó} and \textit{J. M. Dunn}, Outst. Contrib. Log. 15, 33--60 (2018; Zbl 1429.03001) Full Text: DOI
Bimbó, Katalin Current trends in substructural logics. (English) Zbl 1334.03017 J. Philos. Log. 44, No. 6, 609-624 (2015). MSC: 03B47 PDFBibTeX XMLCite \textit{K. Bimbó}, J. Philos. Log. 44, No. 6, 609--624 (2015; Zbl 1334.03017) Full Text: DOI
Bimbó, Katalin The decidability of the intensional fragment of classical linear logic. (English) Zbl 1331.03014 Theor. Comput. Sci. 597, 1-17 (2015). Reviewer: Andrzej Indrzejczak (Łódź) MSC: 03B25 03B47 03F52 PDFBibTeX XMLCite \textit{K. Bimbó}, Theor. Comput. Sci. 597, 1--17 (2015; Zbl 1331.03014) Full Text: DOI
Bimbó, Katalin; Dunn, J. Michael On the decidability of implicational ticket entailment. (English) Zbl 1275.03159 J. Symb. Log. 78, No. 1, 214-236 (2013). Reviewer: Luca Tranchini (Tübingen) MSC: 03F52 03B25 03B47 03F05 PDFBibTeX XMLCite \textit{K. Bimbó} and \textit{J. M. Dunn}, J. Symb. Log. 78, No. 1, 214--236 (2013; Zbl 1275.03159) Full Text: DOI Euclid
Bimbó, Katalin; Dunn, J. Michael New consecution calculi for \(R^{t}_{\to}\). (English) Zbl 1345.03046 Notre Dame J. Formal Logic 53, No. 4, 491-509 (2012). MSC: 03B47 03F05 03B25 03F52 PDFBibTeX XMLCite \textit{K. Bimbó} and \textit{J. M. Dunn}, Notre Dame J. Formal Logic 53, No. 4, 491--509 (2012; Zbl 1345.03046) Full Text: DOI Euclid
Bimbó, Katalin; Dunn, J. Michael; Maddux, Roger D. Relevance logics and relation algebras. (English) Zbl 1174.03005 Rev. Symb. Log. 2, No. 1, 102-131 (2009). Reviewer: Osamu Sonobe (Follonica) MSC: 03B47 03G15 PDFBibTeX XMLCite \textit{K. Bimbó} et al., Rev. Symb. Log. 2, No. 1, 102--131 (2009; Zbl 1174.03005) Full Text: DOI
Bimbó, Katalin \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs. (English) Zbl 1129.03033 J. Philos. Log. 36, No. 5, 557-570 (2007). Reviewer: Reinhard Kahle (Coimbra) MSC: 03F05 03B47 PDFBibTeX XMLCite \textit{K. Bimbó}, J. Philos. Log. 36, No. 5, 557--570 (2007; Zbl 1129.03033) Full Text: DOI
Bimbó, Katalin Admissibility of cut in LC with fixed point combinator. (English) Zbl 1089.03012 Stud. Log. 81, No. 3, 399-423 (2005). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B40 03B47 PDFBibTeX XMLCite \textit{K. Bimbó}, Stud. Log. 81, No. 3, 399--423 (2005; Zbl 1089.03012) Full Text: DOI
Bimbó, Katalin The Church-Rosser property in symmetric combinatory logic. (English) Zbl 1090.03003 J. Symb. Log. 70, No. 2, 536-556 (2005). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B40 03B47 PDFBibTeX XMLCite \textit{K. Bimbó}, J. Symb. Log. 70, No. 2, 536--556 (2005; Zbl 1090.03003) Full Text: DOI
Bimbó, Katalin Semantics for dual and symmetric combinatory calculi. (English) Zbl 1054.03012 J. Philos. Log. 33, No. 2, 125-153 (2004). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B40 PDFBibTeX XMLCite \textit{K. Bimbó}, J. Philos. Log. 33, No. 2, 125--153 (2004; Zbl 1054.03012) Full Text: DOI
Bimbó, Katalin The Church-Rosser property in dual combinatory logic. (English) Zbl 1045.03017 J. Symb. Log. 68, No. 1, 132-152 (2003). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B40 PDFBibTeX XMLCite \textit{K. Bimbó}, J. Symb. Log. 68, No. 1, 132--152 (2003; Zbl 1045.03017) Full Text: DOI
Bimbó, Katalin; Dunn, J. Michael Four-valued logic. (English) Zbl 1034.03021 Notre Dame J. Formal Logic 42, No. 3, 171-192 (2001). MSC: 03B47 03B50 PDFBibTeX XMLCite \textit{K. Bimbó} and \textit{J. M. Dunn}, Notre Dame J. Formal Logic 42, No. 3, 171--192 (2001; Zbl 1034.03021) Full Text: DOI