McDonald, Joseph; Bimbó, Katalin Topological duality for orthomodular lattices. (English) Zbl 07737999 Math. Log. Q. 69, No. 2, 174-191 (2023). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Bimbó, Katalin; Dunn, J. Michael St. Alasdair on lattices everywhere. (English) Zbl 1542.03070 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 06A15 × Cite Format Result Cite Review PDF 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 × Cite Format Result Cite Review PDF Full Text: DOI
Bimbó, Katalin Default rules in the logic of first-degree entailments. (English) Zbl 1469.03053 Omori, Hitoshi (ed.) et al., New essays on Belnap-Dunn logic. Cham: Springer. Synth. Libr. 418, 127-146 (2019). MSC: 03B47 03A05 × Cite Format Result Cite Review PDF 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 × Cite Format Result Cite Review PDF Full Text: DOI
Bimbó, Katalin; Dunn, J. Michael Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment. (English) Zbl 1344.03028 Log. Univers. 8, No. 2, 141-164 (2014). MSC: 03B47 03B40 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Bimbó, Katalin; Dunn, J. Michael Symmetric generalized Galois logics. (English) Zbl 1255.03033 Log. Univers. 3, No. 1, 125-152 (2009). MSC: 03B47 03C30 × Cite Format Result Cite Review PDF Full Text: DOI
Bimbó, Katalin; Dunn, J. Michael Relational semantics for Kleene logic and action logic. (English) Zbl 1099.03014 Notre Dame J. Formal Logic 46, No. 4, 461-490 (2005). Reviewer: Albert A. Mullin (Madison) MSC: 03B47 68Q70 03B60 03B45 03D05 03C13 × Cite Format Result Cite Review PDF 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 × Cite Format Result Cite Review PDF 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 × Cite Format Result Cite Review PDF Full Text: DOI