Katalin Bimbó

Q: What Schools Are Affiliated With Katalin Bimbó

Katalin Bimbó is affiliated with the following schools: Indiana University, University of Alberta, Eötvös Loránd University

Katalin Bimbó's AcademicInfluence.com Rankings

Katalin Bimbó

Philosophy

#3458

World Rank

#5591

Historical Rank

Logic

#1628

World Rank

#2429

Historical Rank

philosophy Degrees

Download Badge

Philosophy

Katalin Bimbó's Degrees

PhD Logic Eötvös Loránd University
Masters Mathematics Eötvös Loránd University

Why Is Katalin Bimbó Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Katalin Bimbó is a logician and philosopher known for her books on mathematical logic and proof theory. She earned a Ph.D. in 1999 at Indiana University, under the supervision of Jon Michael Dunn, and is a professor of philosophy at the University of Alberta after having earned tenure there in 2013.

(See a Problem?)

Katalin Bimbó's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi (2008) (69)
Proof Theory: Sequent Calculi and Related Formalisms (2014) (39)
Combinatory Logic : Pure, Applied and Typed (2011) (24)
On the decidability of implicational ticket entailment (2013) (23)
The decidability of the intensional fragment of classical linear logic (2015) (20)
New Consecution Calculi for Rt-> (2012) (18)
RELEVANCE LOGICS AND RELATION ALGEBRAS (2009) (15)
Two Extensions of the Structurally Free Logic LC* (1998) (14)
Relational semantics of nonclassical logical calculi. CSLI Lecture Notes, no. 188 (2010) (14)
Relational Semantics for Kleene Logic and Action Logic (2005) (14)
Functorial Duality for Ortholattices and De Morgan Lattices (2007) (12)
Dual Gaggle Semantics for Entailment (2009) (11)
Semantics for Structurally Free Logics LC+ (2001) (10)
Four-valued Logic (2001) (9)
The Emergence of Set-theoretical Semantics for Relevance Logics around 1970 (2017) (7)
$$ LE^{t}_{ \to } $$, $$LR^{ \circ }_{{\widehat{ \sim }}}$$, LK and Cutfree Proofs (2007) (7)
Admissibility of Cut in LC with Fixed Point Combinator (2005) (7)
Semantics for Dual and Symmetric Combinatory Calculi (2004) (6)
Symmetric Generalized Galois Logics (2009) (6)
LEt ® , LR °[^( ~ )], LK and Cutfree Proofs (2007) (4)
Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus $${LT_\to^{t}}$$LT→t for Implicational Ticket Entailment (2014) (4)
Larisa Maksimova’s Early Contributions to Relevance Logic (2018) (4)
Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics (2018) (3)
Investigation into Combinatory Systems with Dual Combinators (2000) (3)
The Church-Rosser property in dual combinatory logic (2003) (3)
Types of $\mathsf{I}$ -Free Hereditary Right Maximal Terms (2005) (3)
Substructural logics, combinatory logic, and lambda-calculus (1999) (3)
J. Michael Dunn on Information Based Logics (2016) (3)
Calculi for symmetric generalized galois logics (2010) (3)
Dual combinators bite the dust (1998) (2)
Current Trends in Substructural Logics (2015) (2)
Schönfinkel-type Operators for Classical Logic (2010) (1)
Curry-type paradoxes (2006) (1)
Semantics for the Structurally Free Logic LC (2001) (1)
Some relevance logics from the point of view of relational semantics (2016) (1)
Introduction (2017) (1)
On the Decidability of Certain Semi-Lattice Based Modal Logics (2017) (1)
Extracting BBIW Inhabitants of Simple Types From Proofs in the Sequent Calculus (2014) (0)
Some supplementary concepts (2014) (0)
Proofs and proof theory (2014) (0)
2020 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC (2021) (0)
Display calculi and hypersequents (2014) (0)
Applied combinatory logic (2011) (0)
Some other proof systems (2014) (0)
Tim Button and Sean Walsh, "Philosophy and Model Theory." Reviewed by (2019) (0)
Elements of combinatory logic (2011) (0)
Typed combinatory logic (2011) (0)
Sequent calculi for non-classical logics (2014) (0)
BSL volume 28 issue 4 Cover and Front matter (2022) (0)
ASSOCIATION FOR SYMBOLIC LOGIC 2019 WINTER MEETING The Westin Denver Downtown Denver, Colorado, USA February 21–22, 2019 (2019) (0)
Default Rules in the Logic of First-Degree Entailments (2019) (0)
Cut rules and cut theorems (2014) (0)
Applications and applied calculi (2014) (0)
Current Trends in Substructural Logics (2015) (0)
Introduction: From Information at Large to Semantics of Logics (2016) (0)
Dual Identity Combinators (1998) (0)
Giuseppe Primiero, "On the Foundations of Computing." (2021) (0)
Recursive functions and arithmetic (2011) (0)
Interpretations of Weak Positive Modal Logics (2021) (0)
Classical first-order logic (2014) (0)
Consecution calculi for non-classical logics (2014) (0)
The Church-Rosser property in symmetric combinatory logic (2005) (0)
BSL volume 29 issue 1 Cover and Front matter (2023) (0)
Are the 'and' and ‘.’ the same sentence connectives? (1993) (0)
John T. Baldwin, "Model Theory and the Philosophy of Mathematical Practice: Formalization without Foundationalism." (2020) (0)
List of Symbols (2011) (0)
Variants of the first sequent calculi (2014) (0)
St. Alasdair on Lattices Everywhere (2021) (0)
Inhabitants of Intuitionistic Implicational Theorems (2018) (0)
In)equational combinatory logic (2011) (0)
Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus LT→t\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \be (2014) (0)
John MacFarlane, "Philosophical Logic. A Contemporary Introduction" (2022) (0)
Connections to l-calculi (2011) (0)
IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 (2021) (0)
Topological duality for orthomodular lattices (2022) (0)
Dual and symmetric combinatory logics (2011) (0)
Max Cresswell, Edwin Mares, and Adriane Rini, eds., "Logical Modalities from Aristotle to Carnap: The Story of Necessity." Reviewed by (2017) (0)
UvA-DARE ( Digital Academic Repository ) Interrogatives and adverbs of quantification (1999) (0)

This paper list is powered by the following services:

Other Resources About Katalin Bimbó

en.wikipedia.org

What Schools Are Affiliated With Katalin Bimbó?

Katalin Bimbó is affiliated with the following schools:

Katalin Bimbó's Academic­Influence.com Rankings