Katalin Bimbó

Available identifiers

zbMath Open bimbo.katalinMaRDI QIDQ266640

List of research outcomes

Publication	Date of Publication	Type
Topological duality for orthomodular lattices	2023-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q5099997	2022-08-26	Paper
IN MEMORIAM: J. MICHAEL DUNN, 1941–2021	2022-03-01	Paper
St. Alasdair on Lattices Everywhere	2022-02-04	Paper
Interpretations of Weak Positive Modal Logics	2022-01-04	Paper
Default Rules in the Logic of First-Degree Entailments	2020-08-10	Paper
Introduction: From Information at Large to Semantics of Logics	2020-08-07	Paper
Larisa Maksimova’s Early Contributions to Relevance Logic	2020-02-05	Paper
Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics	2019-03-19	Paper
Some relevance logics from the point of view of relational semantics	2019-01-08	Paper
Inhabitants of intuitionistic implicational theorems	2018-10-18	Paper
On the decidability of certain semi-lattice based modal logics	2018-02-02	Paper
Current trends in substructural logics	2016-04-13	Paper
The decidability of the intensional fragment of classical linear logic	2015-08-17	Paper
Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment	2015-02-05	Paper
Proof Theory	2014-06-04	Paper
On the decidability of implicational ticket entailment	2013-04-23	Paper
Symmetric generalized Galois logics	2013-01-25	Paper
New consecution calculi for \(R^{t}_{\to}\)	2012-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q3019505	2011-07-28	Paper
Schönfinkel-type operators for classical logic	2010-09-20	Paper
Dual gaggle semantics for entailment	2009-11-18	Paper
RELEVANCE LOGICS AND RELATION ALGEBRAS	2009-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q3599059	2009-02-03	Paper
Functorial duality for ortholattices and De Morgan lattices	2008-02-15	Paper
\(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs	2007-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q3413071	2007-01-03	Paper
Relational semantics for Kleene logic and action logic	2006-03-23	Paper
Admissibility of cut in LC with fixed point combinator	2006-03-17	Paper
Types of I-free hereditary right maximal terms	2006-01-23	Paper
The Church-Rosser property in symmetric combinatory logic	2006-01-16	Paper
Semantics for dual and symmetric combinatory calculi	2004-08-06	Paper
The Church-Rosser property in dual combinatory logic	2004-03-25	Paper
Four-valued logic	2004-02-04	Paper
Semantics for structurally free logics LC+	2002-06-06	Paper
Investigation into combinatory systems with dual combinators	2001-02-18	Paper
Two extensions of the structurally free logic LC	1998-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Katalin Bimbó