9 citations · 48 across the 16 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2018★ 4 cited
Hypersequents and Systems of Rules: Embeddings and Applications
Agata Ciabattoni, Francesco A. Genco
We define a bi-directional embedding between hypersequent calculi and a subclass of systems of rules (2-systems). In addition to showing that the two proof frameworks have the same…
math.LO2018
Disjunctive Axioms and Concurrent -Calculi: a Curry-Howard Approach
F. Aschieri, A. Ciabattoni, F. A. Genco
We add to intuitionistic logic infinitely many classical disjunctive tautologies and use the Curry--Howard correspondence to obtain typed concurrent -calculi; each of them featu…
math.LO2000★ 2 cited
Quantified propositional Goedel logics
Matthias Baaz, Agata Ciabattoni, Richard Zach
It is shown that G-up, the quantified propositional Goedel-Dummett logic based on the truth-values set V-up = {1 - 1/n : n >= 1} u {1}, is decidable. This result is obtained by red…