IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 42 di 42
Titolo Data di pubblicazione Autore(i) File
Sui Sistemi Metaformali e le Progressioni Ricorsive di teorie 1-gen-1978 Parlamento, Franco
Sulla Completezza della omega-regola 1-gen-1979 Parlamento, Franco
Binumerability in a Sequence of Theories 1-gen-1981 Parlamento, Franco
PRA Provability of Schmerl's Fine Structure Theorem 1-gen-1984 Parlamento, Franco
Iterated Reflection Principles and Induction Principles over Primitive recursive Arithmetic 1-gen-1984 Parlamento, Franco
Regole e Principi di di Induzioner Ristretti Relativi s PRA 1-gen-1985 Parlamento, Franco
REFLECTION AND INDUCTION PRINCIPLES RELATIVE TO PRIMITIVE RECURSIVE ARITHMETIC 1-gen-1986 Parlamento, Franco
The Logically Simplest Form of the Infinity Axiom 1-gen-1988 Parlamento, Franco; Policriti, Alberto
Secision Procedures for Elementary Sublanguages of Set Theory XI. Unsolvability of the Decision Problem for a Restricted Subclass of the Delta_0-Formulas in Set Theory 1-gen-1988 Parlamento, Franco; Policriti, Alberto
Note on: The Logically Simplest Form of the Infinity Axiom 1-gen-1990 Parlamento, Franco; Policriti, Alberto
Truth Table for a Combinatorial Kernel of Set Theories 1-gen-1990 Omodeo, E; Parlamento, Franco; Policriti, Alberto
A contribution to the Automated Treatment of Membership Theories 1-gen-1990 Omodeo, E; Parlamento, Franco; Policriti, Alberto
Decision Procedures for Elementary Sublanguages of Set Theory XIII. Model Graphs, Reflection and Decidability. 1-gen-1991 Parlamento, Franco; Policriti, Alberto
Expressing Infinity without Foundation 1-gen-1991 Parlamento, Franco; Policriti, Alberto
logic and Logic Programming 1-gen-1991 Parlamento, Franco
A derived algorithm for evaluating epsilon-expressions over abstract sets 1-gen-1993 Omodeo, E; Parlamento, Franco; Policriti, Alberto
Undecidability Results for Restricted Universally Quantified Formulae of Set Theory 1-gen-1993 Parlamento, Franco; Policriti, Alberto
Decidability and Completeness for Open Formulas of Membership Theories 1-gen-1995 Belle', D; Parlamento, Franco
Undecidability of weak membership theories 1-gen-1996 Belle', D.; Parlamento, Franco
Decidability of E*A-sentences in Membership Theories 1-gen-1996 Omodeo, E.; Parlamento, Franco; Policriti, Alberto
Decidability of the A*E* class in the theory NWL Notes in Logic n.6 183-194 1-gen-1996 Belle', D.; Parlamento, Franco
Witnessing differences without redundancies 1-gen-1997 Parlamento, Franco; Policriti, Alberto; Rao, Kpsb
Elaborazione dell'Informazione Non Numerica 1-gen-1997 Parlamento, Franco
Finite families with few symmetric differences 1-gen-1999 Marcone, Alberto Giulio; Parlamento, Franco; Policriti, Alberto
The decidability of the A*E-class and the Axiom of Foundation 1-gen-2003 Parlamento, Franco; Belle', D.
Formazione iniziale degli insegnanti di scuola secondaria a Udine 1-gen-2004 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 1-gen-2006 Belle', D; Parlamento, Franco
Decidability of E*AA-sentences in HF 1-gen-2008 Belle', Dorella; Parlamento, Franco
Truth-value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality 1-gen-2011 Parlamento, Franco
The Subterm Property for the Sequent Calculus with Equality 1-gen-2012 Parlamento, Franco; Previale, F.
Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms 1-gen-2013 Parlamento, Franco; Previale, F.
Models, Equality, Undefiniteness 1-gen-2013 Parlamento, Franco
Truth-value semantics and functional extensions for classical logic of partial terms based on equality 1-gen-2014 Parlamento, Franco
Henkin's Completeness Proof and Glivenko's Theorem 1-gen-2014 Parlamento, Franco
Admissibility of the structural rules in Kanger’s sequent calculus for first order logic with equality 1-gen-2016 Parlamento, Franco; Munini, Federico
The Cut-Elimination and Nonlegthening Property for Gentzen's Sequent Calculus for First Order Logic with Equality 1-gen-2017 Parlamento, F.; Previale, F.
On the admissibiity of the structural rules in Kanger's sequent calculus with restricted equality Rules 1-gen-2018 Parlamento, Franco; Previale, Flavio
Absorbing the structural rules in the sequent calculus with additional atomic rules 1-gen-2019 Parlamento, F.; Previale, F.
Absorbing the structural rules in the sequent calculus with additional atomic rules 1-gen-2019 Parlamento, F.; Previale, F.
The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality 1-gen-2019 Parlamento, F.; Previale, F.
The subterm property for some equality sequent calculi 1-gen-2019 Parlamento, Franco; Previale, Flavio; Munini, Federico
A Note on the Sequent Calculi G3[mic]= 1-gen-2020 Parlamento, F.; Previale, F.
Mostrati risultati da 1 a 42 di 42
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