Franco Parlamento

16 papers A 1Journal 14Unranked 1
YearRankTypeTitle / Venue / Authors
2022 J jnl
A note on the Sequent Calculi.
Rev. Symb. Log.
Franco Parlamento, Flavio Previale
2021 J jnl
The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality.
Rev. Symb. Log.
Franco Parlamento, Flavio Previale
2020 J jnl
Absorbing the structural rules in the sequent calculus with additional atomic rules.
Arch. Math. Log.
Franco Parlamento, Flavio Previale
2017 J jnl
The Cut Elimination and the Nonlengthening Property for the Sequent Calculus with Equality.
CoRR
Franco Parlamento, Flavio Previale
2014 J jnl
Truth-Value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality.
Notre Dame J. Formal Log.
Franco Parlamento
2013 — conf
Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms.
ICLA
Franco Parlamento, Flavio Previale
2008 J jnl
Decidability of ∃
Notre Dame J. Formal Log.
Dorella Bellè, Franco Parlamento
2006 J jnl
Truth in V for ∃
J. Symb. Log.
Dorella Bellè, Franco Parlamento
2001 J jnl
The Decidability of the ∀
Notre Dame J. Formal Log.
Dorella Bellè, Franco Parlamento
1996 J jnl
Decidability of ∃
Math. Log. Q.
Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti
1995 J jnl
Decidability and Completeness for Open Formulas of Membership Theories.
Notre Dame J. Formal Log.
Dorella Bellè, Franco Parlamento
1993 J jnl
A Derived Algorithm for Evaluating \varepsilon-Expressions over Abstract Sets.
J. Symb. Comput.
Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti
1992 J jnl
The Decision Problem for Restricted Universal Quantification in Set Theory and the Axiom of Foundation.
Math. Log. Q.
Franco Parlamento, Alberto Policriti
1991 J jnl
Decision Procedures for Elementary Sublanguages of Set Theory: XIII. Model Graphs, Reflection and Decidability.
J. Autom. Reason.
Franco Parlamento, Alberto Policriti
1991 J jnl
Expressing Infinity Without Foundation.
J. Symb. Log.
Franco Parlamento, Alberto Policriti
1990 A conf
Truth Tables for a Combinatorial Kernel of Set Theories.
ECAI
Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti