Silvio Valentini and Giovanni Sambin - Free people check

(1 - 10 from 12

)

Giovanni Sambin & Silvio Valentini, The modal logic of provability....

philpapers.org

Review of Symbolic Logic 5 (2): Silvio Valentini (1983). The Modal Logic of Provability: Cut-Elimination. [REVIEW] Journal of Philosophical Logic

The Life and Work of Leon Henkin: Essays on His Contributions

books.google.ee

... ́nski [41] proved explicit definability via Beth's Theorem.12 There is an improved version of Sambin's approach by Giovanni Sambin and Silvio Valentini [46] in ...

Twenty Five Years of Constructive Type Theory - Giovanni Sambin, Jan...

books.google.ee

Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics....

The Modal Logic of Provability. The Sequential Approach - jstor

www.jstor.org

312 GIOVANNI SAMBIN AND SILVIO VALENTINI. 1. INTRODUCTION. A canonical provability predicate for a theory T is a unary predicate Pr( ) satisfying: P1.

dblp: Giovanni Sambin

dblp.uni-trier.de

List of computer science publications by Giovanni Sambin

SAMBIN AND VALENTINIwww.coli.uni-saarland.de › conf › esslli-98 › Seiten

www.coli.uni-saarland.de

GIOVANNI SAMBIN and SILVIO VALENTINI. Department of Mathematics, Universitá di Padova. Both weeks. .it and .it.

The modal logic of provability. The sequential approach | SpringerLink

link.springer.com

Professore Straordinario Giovanni Sambin (1) (2); Ricercatore Universitario Silvio Valentini (1) (3). Author Affiliations. 1. Università di Siena ...

All web results to the name "Silvio Valentini"

CICM Schedule

cicm11.cs.unibo.it

... of Formal Topology by means of the interactive theorem prover Matita Andrea Asperti, Maria Emilia Maietti, Claudio Sacerdoti Coen, Giovanni Sambin and Silvio Valentini

Formal Topology

www.cse.chalmers.se

With Giovanni Sambin, Jan Smith and Silvio Valentini. We analyse some connections between formal topology and the intuitionistic theory of inductive definitions.

Lecture Notes in Computer Science

ftp.math.utah.edu

63 Giovanni Sambin and Silvio Valentini Building up a Tool-Box for Martin-Löf's Type Theory (Abstract)

Related search requests for Silvio Valentini

Milena Stefanova
Thierry Coquand
Estera Goćwińska

Iqbal Aziz

Person "Valentini" (4)
Forename "Silvio" (4598)
Name "Valentini" (957)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Silvio Valentini and Giovanni Sambin Free People Check