Katalin Bimbó

发表

The Church-Rosser property in dual combinatory logic

Katalin Bimbó, K. Bimbó, 2003, Journal of Symbolic Logic.

Classical first-order logic

Katalin Bimbó, 2014 .

Types of $\mathsf{I}$ -Free Hereditary Right Maximal Terms

Katalin Bimbó, K. Bimbó, 2005, J. Philos. Log..

Relational Semantics for Kleene Logic and Action Logic

Katalin Bimbó, J. Michael Dunn, J. Dunn, 2005, Notre Dame J. Formal Log..

The decidability of the intensional fragment of classical linear logic

Katalin Bimbó, K. Bimbó, 2015, Theor. Comput. Sci..

Applied combinatory logic

Katalin Bimbó, 2011 .

Investigation into Combinatory Systems with Dual Combinators

Katalin Bimbó, 2000, Stud Logica.

Admissibility of Cut in LC with Fixed Point Combinator

Katalin Bimbó, K. Bimbó, 2005, Stud Logica.

Some relevance logics from the point of view of relational semantics

Katalin Bimbó, 2016, Log. J. IGPL.

Current Trends in Substructural Logics

Katalin Bimbó, K. Bimbó, 2015, J. Philos. Log..

In)equational combinatory logic

Katalin Bimbó, 2011 .

The Emergence of Set-theoretical Semantics for Relevance Logics around 1970

Katalin Bimbó, J. Michael Dunn, 2017, FLAP.

On the Decidability of Certain Semi-Lattice Based Modal Logics

Katalin Bimbó, K. Bimbó, 2017, TABLEAUX.

Symmetric Generalized Galois Logics

Katalin Bimbó, J. Michael Dunn, J. Dunn, 2009, Logica Universalis.

Introduction: From Information at Large to Semantics of Logics

Katalin Bimbó, 2016 .

The Church-Rosser property in symmetric combinatory logic

Katalin Bimbó, K. Bimbó, 2005, Journal of Symbolic Logic.

Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus $${LT_\to^{t}}$$LT→t for Implicational Ticket Entailment

Katalin Bimbó, J. Michael Dunn, 2014, Logica Universalis.

List of Symbols

Katalin Bimbó, 2011 .

Dual Gaggle Semantics for Entailment

Katalin Bimbó, K. Bimbó, 2009, Notre Dame J. Formal Log..

Semantics for the Structurally Free Logic LC

Katalin Bimbó, 2001 .

Typed combinatory logic

Katalin Bimbó, 2011 .

Inhabitants of Intuitionistic Implicational Theorems

Katalin Bimbó, K. Bimbó, 2018, WoLLIC.

Semantics for Structurally Free Logics LC+

Katalin Bimbó, 2001, Log. J. IGPL.

Functorial Duality for Ortholattices and De Morgan Lattices

Katalin Bimbó, K. Bimbó, 2007, Logica Universalis.

RELEVANCE LOGICS AND RELATION ALGEBRAS

Katalin Bimbó, Roger D. Maddux, J. Michael Dunn, 2009, The Review of Symbolic Logic.

Two Extensions of the Structurally Free Logic LC*

Katalin Bimbó, J. Michael Dunn, 1998, Log. J. IGPL.

Some other proof systems

Katalin Bimbó, 2014 .

On the decidability of implicational ticket entailment

Katalin Bimbó, J. Michael Dunn, K. Bimbó, 2013, The Journal of Symbolic Logic.

Display calculi and hypersequents

Katalin Bimbó, 2014 .

Relational semantics of nonclassical logical calculi. CSLI Lecture Notes, no. 188

Katalin Bimbó, J. Michael Dunn, 2010 .

Default Rules in the Logic of First-Degree Entailments

Katalin Bimbó, K. Bimbó, 2019, New Essays on Belnap-Dunn Logic.

New Consecution Calculi for Rt->

Katalin Bimbó, J. Michael Dunn, 2012, Notre Dame J. Formal Log..

Larisa Maksimova’s Early Contributions to Relevance Logic

Katalin Bimbó, J. Michael Dunn, K. Bimbó, 2018 .

Dual Identity Combinators

Katalin Bimbó, 1998 .

LEt ® , LR °[^( ~ )], LK and Cutfree Proofs

Katalin Bimbó, 2007, J. Philos. Log..

Elements of combinatory logic

Katalin Bimbó, 2011 .

Semantics for Dual and Symmetric Combinatory Calculi

Katalin Bimbó, K. Bimbó, 2004, J. Philos. Log..

Schönfinkel-type Operators for Classical Logic

Katalin Bimbó, K. Bimbó, 2010, Stud Logica.

Interpretations of Weak Positive Modal Logics

Katalin Bimbó, 2021, Outstanding Contributions to Logic.

Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi

Katalin Bimbó, J. Dunn, K. Bimbó, 2008 .

Proof Theory: Sequent Calculi and Related Formalisms

Katalin Bimbó, K. Bimbó, 2014 .

Combinatory Logic : Pure, Applied and Typed

Katalin Bimbó, 2011 .