Franco Parlamento

Publication Activity (10 Years)

Years Active: 1990-2022
Publications (10 Years): 4

Top Topics

Sequent Calculus

Classical Logic

Cut Elimination

Top Venues

Rev. Symb. Log.

Arch. Math. Log.

Publications

Franco Parlamento, Flavio Previale
A note on the Sequent Calculi. Rev. Symb. Log. 15 (2) (2022)
Franco Parlamento, Flavio Previale
The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality. Rev. Symb. Log. 14 (4) (2021)
Franco Parlamento, Flavio Previale
Absorbing the structural rules in the sequent calculus with additional atomic rules. Arch. Math. Log. 59 (3-4) (2020)
Franco Parlamento, Flavio Previale
The Cut Elimination and the Nonlengthening Property for the Sequent Calculus with Equality. CoRR (2017)
Franco Parlamento
Truth-Value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality. Notre Dame J. Formal Log. 55 (3) (2014)
Franco Parlamento, Flavio Previale
Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms. ICLA (2013)
Dorella Bellè, Franco Parlamento
∀∀-sentences in HF. Notre Dame J. Formal Log. 49 (1) (2008)
Dorella Bellè, Franco Parlamento
∀∀-sentences is decidable. J. Symb. Log. 71 (4) (2006)
Dorella Bellè, Franco Parlamento
∃ Class and the Axiom of Foundation. Notre Dame J. Formal Log. 42 (1) (2001)
Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti
∀-Sentences in Membership Theories. Math. Log. Q. 42 (1996)
Dorella Bellè, Franco Parlamento
Decidability and Completeness for Open Formulas of Membership Theories. Notre Dame J. Formal Log. 36 (2) (1995)
Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti
A Derived Algorithm for Evaluating \varepsilon-Expressions over Abstract Sets. J. Symb. Comput. 15 (5/6) (1993)
Franco Parlamento, Alberto Policriti
The Decision Problem for Restricted Universal Quantification in Set Theory and the Axiom of Foundation. Math. Log. Q. 38 (1) (1992)
Franco Parlamento, Alberto Policriti
Decision Procedures for Elementary Sublanguages of Set Theory: XIII. Model Graphs, Reflection and Decidability. J. Autom. Reason. 7 (2) (1991)
Franco Parlamento, Alberto Policriti
Expressing Infinity Without Foundation. J. Symb. Log. 56 (4) (1991)
Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti
Truth Tables for a Combinatorial Kernel of Set Theories. ECAI (1990)