Concepedia

Katalin Bimbó

KB

Statistics

Publications

12

Citations

163

H-Index

10

Active since

1998

Affiliations

Indiana University Bloomington(Current)

University of Alberta

University of Notre Dame

Katalin Bimbó is an author at Indiana University Bloomington specializing in logic, computer science, and mathematics.

ORCID

Publications per year

1998–2015

12

Publications

12

Four-valued Logic

Katalin Bimbó, J. Michael Dunn · Notre Dame Journal of Formal Logic · 2001 · 20 citations · Full text

, , +6

On the decidability of implicational ticket entailment

Katalin Bimbó, J. Michael Dunn · Journal of Symbolic Logic · 2013 · 19 citations

, , +12

Functorial Duality for Ortholattices and De Morgan Lattices

Katalin Bimbó · Logica Universalis · 2007 · 16 citations

, , +4

New Consecution Calculi for R→t

Katalin Bimbó, J. Michael Dunn · Notre Dame Journal of Formal Logic · 2012 · 15 citations · Full text

, , +8

The decidability of the intensional fragment of classical linear logic

Katalin Bimbó · Theoretical Computer Science · 2015 · 14 citations

, , +9

1–5 of 12