Author

Simone Cuconato

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Jul 2026

Sequent-style tableaux for first-order logic: structural analysis, cut admissibility, and the correspondence with LK

We give a self-contained development of the first-order block calculus in unsigned sequent-style notation: each node of the refutation tree carries a finite block $\Pi = \Gamma \cup \neg[\Delta]$, negation is governed by explicit rules, and a branch closes on a complementary pair of literals. The calculus is Smullyan's...

Simone Cuconato · 2 citations

Preprint Aug 2026

Sequent-style tableaux for intuitionistic propositional logic

It is proved that $\mathbf{B}_{ti}$ is the multiple-succedent sequent calculus read upside down, that $\mathbf{G}_{ti}$ admits the structural rules, and that $\mathbf{B}_{ti}$ is sound and complete for Kripke semantics, with the finite model property and a block-theoretic proof of the disjunction property.

Simone Cuconato · 0 citations