We stand with Ukraine  

Katalin Bimbó

Orcid: 0000-0002-6769-9704

According to our database1, Katalin Bimbó authored at least 28 papers between 1998 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2023
Topological duality for orthomodular lattices.
[BibTeX]
[DOI]
Joseph McDonald
,
Katalin Bimbó
Math. Log. Q., May, 2023

2021
IN MEMORIAM: J. MICHAEL DUNN, 1941-2021.
[BibTeX]
[DOI]
Katalin Bimbó
Bull. Symb. Log., 2021

2018
Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics.
[BibTeX]
[DOI]
Katalin Bimbó
,
J. Michael Dunn
,
Nicholas Ferenz
Australas. J. Log., 2018

Inhabitants of Intuitionistic Implicational Theorems.
[BibTeX]
[DOI]
Katalin Bimbó
Proceedings of the Logic, Language, Information, and Computation, 2018

2017
The Emergence of Set-theoretical Semantics for Relevance Logics around 1970.
[BibTeX]
[DOI]
Katalin Bimbó
,
J. Michael Dunn
FLAP, 2017

Introduction.
[BibTeX]
[DOI]
Katalin Bimbó
,
J. Michael Dunn
FLAP, 2017

On the Decidability of Certain Semi-Lattice Based Modal Logics.
[BibTeX]
[DOI]
Katalin Bimbó
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

2016
Some relevance logics from the point of view of relational semantics.
[BibTeX]
[DOI]
Katalin Bimbó
Log. J. IGPL, 2016

2015
The decidability of the intensional fragment of classical linear logic.
[BibTeX]
[DOI]
Katalin Bimbó
Theor. Comput. Sci., 2015

Current Trends in Substructural Logics.
[BibTeX]
[DOI]
Katalin Bimbó
J. Philos. Log., 2015

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

2013
On the decidability of implicational ticket entailment.
[BibTeX]
[DOI]
Katalin Bimbó
,
J. Michael Dunn
J. Symb. Log., 2013

2012
New Consecution Calculi for R<sup>t</sup><sub>-></sub>.
[BibTeX]
[DOI]
Katalin Bimbó
,
J. Michael Dunn
Notre Dame J. Formal Log., 2012

2010
Schönfinkel-type Operators for Classical Logic.
[BibTeX]
[DOI]
Katalin Bimbó
Stud Logica, 2010

2009
Relevance Logics and Relation Algebras.
[BibTeX]
[DOI]
Katalin Bimbó
,
J. Michael Dunn
,
Roger D. Maddux
Rev. Symb. Log., 2009

Dual Gaggle Semantics for Entailment.
[BibTeX]
[DOI]
Katalin Bimbó
Notre Dame J. Formal Log., 2009

Symmetric Generalized Galois Logics.
[BibTeX]
[DOI]
Katalin Bimbó
,
J. Michael Dunn
Logica Universalis, 2009

2007
Functorial Duality for Ortholattices and De Morgan Lattices.
[BibTeX]
[DOI]
Katalin Bimbó
Logica Universalis, 2007

<i>LE</i><sup><i>t</i></sup><sub> ® </sub>, <i>LR</i><sup> °</sup><sub>[^( ~ )]</sub>, <i>LK</i> and Cutfree Proofs.
[BibTeX]
[DOI]
Katalin Bimbó
J. Philos. Log., 2007

2005
Admissibility of Cut in <i>LC</i> with Fixed Point Combinator.
[BibTeX]
[DOI]
Katalin Bimbó
Stud Logica, 2005

Relational Semantics for Kleene Logic and Action Logic.
[BibTeX]
[DOI]
Katalin Bimbó
,
J. Michael Dunn
Notre Dame J. Formal Log., 2005

The Church-Rosser property in symmetric combinatory logic.
[BibTeX]
[DOI]
Katalin Bimbó
J. Symb. Log., 2005

Types of <i>I</i> -Free Hereditary Right Maximal Terms.
[BibTeX]
[DOI]
Katalin Bimbó
J. Philos. Log., 2005

2004
Semantics for Dual and Symmetric Combinatory Calculi.
[BibTeX]
[DOI]
Katalin Bimbó
J. Philos. Log., 2004

2003
The Church-Rosser property in dual combinatory logic.
[BibTeX]
[DOI]
Katalin Bimbó
J. Symb. Log., 2003

2001
Semantics for Structurally Free Logics LC+.
[BibTeX]
[DOI]
Katalin Bimbó
Log. J. IGPL, 2001

2000
Investigation into Combinatory Systems with Dual Combinators.
[BibTeX]
[DOI]
Katalin Bimbó
Stud Logica, 2000

1998
Two Extensions of the Structurally Free Logic LC*.
[BibTeX]
[DOI]
Katalin Bimbó
,
J. Michael Dunn
Log. J. IGPL, 1998


  Loading...