Katalin Bimbó

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 7

Top Topics

Query Answering

Top Venues

Bull. Symb. Log.

Publications

Joseph McDonald, Katalin Bimbó
Topological duality for orthomodular lattices. Math. Log. Q. 69 (2) (2023)
Katalin Bimbó
IN MEMORIAM: J. MICHAEL DUNN, 1941-2021. Bull. Symb. Log. 27 (4) (2021)
Katalin Bimbó
Inhabitants of Intuitionistic Implicational Theorems. WoLLIC (2018)
Katalin Bimbó, J. Michael Dunn
Introduction. FLAP 4 (3) (2017)
Katalin Bimbó, J. Michael Dunn
The Emergence of Set-theoretical Semantics for Relevance Logics around 1970. FLAP 4 (3) (2017)
Katalin Bimbó
On the Decidability of Certain Semi-Lattice Based Modal Logics. TABLEAUX (2017)
Katalin Bimbó
Some relevance logics from the point of view of relational semantics. Log. J. IGPL 24 (3) (2016)
Katalin Bimbó
Current Trends in Substructural Logics. J. Philos. Log. 44 (6) (2015)
Katalin Bimbó
The decidability of the intensional fragment of classical linear logic. Theor. Comput. Sci. 597 (2015)
Katalin Bimbó, J. Michael Dunn
Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus ${LT_\to^{t}}$ for Implicational Ticket Entailment. Logica Universalis 8 (2) (2014)
Katalin Bimbó, J. Michael Dunn
On the decidability of implicational ticket entailment. J. Symb. Log. 78 (1) (2013)
Katalin Bimbó, J. Michael Dunn
. Notre Dame J. Formal Log. 53 (4) (2012)
Katalin Bimbó
Schönfinkel-type Operators for Classical Logic. Stud Logica 95 (3) (2010)
Katalin Bimbó, J. Michael Dunn, Roger D. Maddux
Relevance Logics and Relation Algebras. Rev. Symb. Log. 2 (1) (2009)
Katalin Bimbó, J. Michael Dunn
Symmetric Generalized Galois Logics. Logica Universalis 3 (1) (2009)
Katalin Bimbó
Dual Gaggle Semantics for Entailment. Notre Dame J. Formal Log. 50 (1) (2009)
Katalin Bimbó
Functorial Duality for Ortholattices and De Morgan Lattices. Logica Universalis 1 (2) (2007)
Katalin Bimbó
and Cutfree Proofs. J. Philos. Log. 36 (5) (2007)
Katalin Bimbó, J. Michael Dunn
Relational Semantics for Kleene Logic and Action Logic. Notre Dame J. Formal Log. 46 (4) (2005)
Katalin Bimbó
with Fixed Point Combinator. Stud Logica 81 (3) (2005)
Katalin Bimbó
-Free Hereditary Right Maximal Terms. J. Philos. Log. 34 (5-6) (2005)
Katalin Bimbó
The Church-Rosser property in symmetric combinatory logic. J. Symb. Log. 70 (2) (2005)
Katalin Bimbó
Semantics for Dual and Symmetric Combinatory Calculi. J. Philos. Log. 33 (2) (2004)
Katalin Bimbó
The Church-Rosser property in dual combinatory logic. J. Symb. Log. 68 (1) (2003)
Katalin Bimbó
Semantics for Structurally Free Logics LC+. Log. J. IGPL 9 (4) (2001)
Katalin Bimbó
Investigation into Combinatory Systems with Dual Combinators. Stud Logica 66 (2) (2000)
Katalin Bimbó, J. Michael Dunn
Two Extensions of the Structurally Free Logic LC*. Log. J. IGPL 6 (3) (1998)