Author name cluster
Katalin Bimbó
Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.
Possible papers
4FLAP Journal 2017 Journal Article
The Emergence of Set-theoretical Semantics for Relevance Logics around 1970.
- Katalin Bimbó
- J. Michael Dunn
The early history of the relational (“possible world”) semantics for modal logics is well investigated. Successful applications of a relational semantics for relevance logics started to appear about a decade after the first set-theoretical semantics for normal modal logics were designed. This paper gives a brief out- line of the results from the late 1960s and the first years of the 1970s. We provide an exposition of three types of attempts (by five people) to provide set-theoretical semantics for relevance logics or some related logics—together with some historical details. The crucial technical features of the semantics can be characterized along the lines of the modeling of the implication connective, in particular, whether the modeling derives from a binary operation or from a ternary relation (which is not assumed to be an operation).
TCS Journal 2015 Journal Article
The decidability of the intensional fragment of classical linear logic
- Katalin Bimbó
The intensional fragment of classical propositional linear logic combines modalities with contraction-free relevance logic — adding modalized versions of the thinning and contraction rules. This paper provides a proof of the decidability of this logic based on a sequent calculus formulation. Some related logics and some other fragments of linear logic are also shown decidable.