Two Extensions of the Structurally Free Logic LC*. - Katalin Bimbó; J. Michael Dunn (Log. J. IGPL, 1998)

Investigation into Combinatory Systems with Dual Combinators. - Katalin Bimbó (Stud Logica, 2000)

Semantics for Structurally Free Logics LC+. - Katalin Bimbó (Log. J. IGPL, 2001)

The Church-Rosser property in dual combinatory logic. - Katalin Bimbó (J. Symb. Log., 2003)

Semantics for Dual and Symmetric Combinatory Calculi. - Katalin Bimbó (J. Philos. Log., 2004)

Types of I -Free Hereditary Right Maximal Terms. - Katalin Bimbó (J. Philos. Log., 2005)

The Church-Rosser property in symmetric combinatory logic. - Katalin Bimbó (J. Symb. Log., 2005)

Relational Semantics for Kleene Logic and Action Logic. - Katalin Bimbó; J. Michael Dunn (Notre Dame J. Formal Log., 2005)

Admissibility of Cut in LC with Fixed Point Combinator. - Katalin Bimbó (Stud Logica, 2005)

LEt ® , LR °[^( )], LK and Cutfree Proofs. - Katalin Bimbó (J. Philos. Log., 2007)

Functorial Duality for Ortholattices and De Morgan Lattices. - Katalin Bimbó (Logica Universalis, 2007)

Symmetric Generalized Galois Logics. - Katalin Bimbó; J. Michael Dunn (Logica Universalis, 2009)

Dual Gaggle Semantics for Entailment. - Katalin Bimbó (Notre Dame J. Formal Log., 2009)

Relevance Logics and Relation Algebras. - Katalin Bimbó; J. Michael Dunn; Roger D. Maddux (Rev. Symb. Log., 2009)

Schönfinkel-type Operators for Classical Logic. - Katalin Bimbó (Stud Logica, 2010)

New Consecution Calculi for Rt->. - Katalin Bimbó; J. Michael Dunn (Notre Dame J. Formal Log., 2012)

On the decidability of implicational ticket entailment. - Katalin Bimbó; J. Michael Dunn (J. Symb. Log., 2013)

Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus ${LT_ to^{t}}$ for Implicational Ticket Entailment. - Katalin Bimbó; J. Michael Dunn (Logica Universalis, 2014)

Current Trends in Substructural Logics. - Katalin Bimbó (J. Philos. Log., 2015)

The decidability of the intensional fragment of classical linear logic. - Katalin Bimbó (Theor. Comput. Sci., 2015)

Some relevance logics from the point of view of relational semantics. - Katalin Bimbó (Log. J. IGPL, 2016)

On the Decidability of Certain Semi-Lattice Based Modal Logics. - Katalin Bimbó (TABLEAUX, 2017)

Introduction. - Katalin Bimbó; J. Michael Dunn (FLAP, 2017)

The Emergence of Set-theoretical Semantics for Relevance Logics around 1970. - Katalin Bimbó; J. Michael Dunn (FLAP, 2017)

Inhabitants of Intuitionistic Implicational Theorems. - Katalin Bimbó (WoLLIC, 2018)

IN MEMORIAM: J. MICHAEL DUNN, 1941-2021. - Katalin Bimbó (Bull. Symb. Log., 2021)

Topological duality for orthomodular lattices. - Joseph McDonald; Katalin Bimbó (Math. Log. Q., 2023)