Sfoglia per Autore
Decidability of E*A-sentences in Membership Theories
1996-01-01 Omodeo, E.; Parlamento, Franco; Policriti, Alberto
Elaborazione dell'Informazione Non Numerica
1997-01-01 Parlamento, Franco
Witnessing differences without redundancies
1997-01-01 Parlamento, Franco; Policriti, Alberto; Rao, Kpsb
Finite families with few symmetric differences
1999-01-01 Marcone, Alberto Giulio; Parlamento, Franco; Policriti, Alberto
The decidability of the A*E-class and the Axiom of Foundation
2003-01-01 Parlamento, Franco; Belle', D.
Formazione iniziale degli insegnanti di scuola secondaria a Udine
2004-01-01 Albarea, R; Decio, L; DE LUCA, A. P.; Fava, G; Griggio, C; Michelini, Marisa; Misdaris, G; Parlamento, F; Rigo, P; Zerbi, G.
Truth in V for E*AA-sentences is decidable
2006-01-01 Belle', D; Parlamento, Franco
Decidability of E*AA-sentences in HF
2008-01-01 Belle', Dorella; Parlamento, Franco
Truth-value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality
2011-01-01 Parlamento, Franco
The Subterm Property for the Sequent Calculus with Equality
2012-01-01 Parlamento, Franco; Previale, F.
Models, Equality, Undefiniteness
2013-01-01 Parlamento, Franco
Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms
2013-01-01 Parlamento, Franco; Previale, F.
Henkin's Completeness Proof and Glivenko's Theorem
2014-01-01 Parlamento, Franco
Truth-value semantics and functional extensions for classical logic of partial terms based on equality
2014-01-01 Parlamento, Franco
Admissibility of the structural rules in Kanger’s sequent calculus for first order logic with equality
2016-01-01 Parlamento, Franco; Munini, Federico
The Cut-Elimination and Nonlegthening Property for Gentzen's Sequent Calculus for First Order Logic with Equality
2017-01-01 Parlamento, F.; Previale, F.
On the admissibiity of the structural rules in Kanger's sequent calculus with restricted equality Rules
2018-01-01 Parlamento, Franco; Previale, Flavio
The subterm property for some equality sequent calculi
2019-01-01 Parlamento, Franco; Previale, Flavio; Munini, Federico
Absorbing the structural rules in the sequent calculus with additional atomic rules
2019-01-01 Parlamento, F.; Previale, F.
Absorbing the structural rules in the sequent calculus with additional atomic rules
2019-01-01 Parlamento, F.; Previale, F.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile