Katalin Bimbó

27 papers B 1C 1Journal 25
YearRankTypeTitle / Venue / Authors
2023 J jnl
Topological duality for orthomodular lattices.
Math. Log. Q.
Joseph McDonald, Katalin Bimbó
2021 J jnl
IN MEMORIAM: J. MICHAEL DUNN, 1941-2021.
Bull. Symb. Log.
Katalin Bimbó
2018 C conf
Inhabitants of Intuitionistic Implicational Theorems.
WoLLIC
Katalin Bimbó
2018 J jnl
Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics.
Australas. J. Log.
Katalin Bimbó, J. Michael Dunn, Nicholas Ferenz
2017 J jnl
Introduction.
FLAP
Katalin Bimbó, J. Michael Dunn
2017 B conf
On the Decidability of Certain Semi-Lattice Based Modal Logics.
TABLEAUX
Katalin Bimbó
2017 J jnl
The Emergence of Set-theoretical Semantics for Relevance Logics around 1970.
FLAP
Katalin Bimbó, J. Michael Dunn
2016 J jnl
Some relevance logics from the point of view of relational semantics.
Log. J. IGPL
Katalin Bimbó
2015 J jnl
Current Trends in Substructural Logics.
J. Philos. Log.
Katalin Bimbó
2015 J jnl
The decidability of the intensional fragment of classical linear logic.
Theor. Comput. Sci.
Katalin Bimbó
2014 J jnl
Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus ${LT_\to^{t}}$ for Implicational Ticket Entailment.
Logica Universalis
Katalin Bimbó, J. Michael Dunn
2013 J jnl
On the decidability of implicational ticket entailment.
J. Symb. Log.
Katalin Bimbó, J. Michael Dunn
2012 J jnl
New Consecution Calculi for R
Notre Dame J. Formal Log.
Katalin Bimbó, J. Michael Dunn
2010 J jnl
Schönfinkel-type Operators for Classical Logic.
Stud Logica
Katalin Bimbó
2009 J jnl
Dual Gaggle Semantics for Entailment.
Notre Dame J. Formal Log.
Katalin Bimbó
2009 J jnl
Relevance Logics and Relation Algebras.
Rev. Symb. Log.
Katalin Bimbó, J. Michael Dunn, Roger D. Maddux
2009 J jnl
Symmetric Generalized Galois Logics.
Logica Universalis
Katalin Bimbó, J. Michael Dunn
2007 J jnl
Functorial Duality for Ortholattices and De Morgan Lattices.
Logica Universalis
Katalin Bimbó
2005 J jnl
Admissibility of Cut in
Stud Logica
Katalin Bimbó
2005 J jnl
Relational Semantics for Kleene Logic and Action Logic.
Notre Dame J. Formal Log.
Katalin Bimbó, J. Michael Dunn
2005 J jnl
The Church-Rosser property in symmetric combinatory logic.
J. Symb. Log.
Katalin Bimbó
2005 J jnl
Types of
J. Philos. Log.
Katalin Bimbó
2004 J jnl
Semantics for Dual and Symmetric Combinatory Calculi.
J. Philos. Log.
Katalin Bimbó
2003 J jnl
The Church-Rosser property in dual combinatory logic.
J. Symb. Log.
Katalin Bimbó
2001 J jnl
Semantics for Structurally Free Logics LC+.
Log. J. IGPL
Katalin Bimbó
2000 J jnl
Investigation into Combinatory Systems with Dual Combinators.
Stud Logica
Katalin Bimbó
1998 J jnl
Two Extensions of the Structurally Free Logic LC*.
Log. J. IGPL
Katalin Bimbó, J. Michael Dunn