#intuitionistic-logic
Toutes les langues
Plus lus
Documents
A formal framework for specifying sequent calculus proof systems
Documents
Etudes supérieures
A formal framework for specifying sequent calculus proof systems
35 pages
English
Lire
Infos
Documents
Focusing and Polarization in Linear Intuitionistic and Classical Logics
Documents
Rapports de stage
Focusing and Polarization in Linear Intuitionistic and Classical Logics
29 pages
English
Lire
Infos
Documents
Incorporating tables into proofs
Documents
Kripke Semantics and Proof Systems for Combining Intuitionistic Logic and Classical Logic
Documents
Rapports de stage
Kripke Semantics and Proof Systems for Combining Intuitionistic Logic and Classical Logic
32 pages
English
Lire
Infos
Documents
On focusing and polarities in linear logic and intuitionistic logic Chuck Liang
Documents
Rapports de stage
On focusing and polarities in linear logic and intuitionistic logic Chuck Liang
68 pages
English
Lire
Infos
Documents
Cut Elimination for a Logic with Definitions and Induction Raymond McDowell
Documents
Etudes supérieures
Cut Elimination for a Logic with Definitions and Induction Raymond McDowell
28 pages
English
Lire
Infos
Documents
Chuck Liang Hofstra University Hempstead NY
Documents
Etudes supérieures
Chuck Liang Hofstra University Hempstead NY
31 pages
English
Lire
Infos
Documents
An Intuitionistic Logic for Sequential Control
Documents
Etudes supérieures
An Intuitionistic Logic for Sequential Control
15 pages
English
Lire
Infos
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productPages}}
{{productLanguageIsoCode}}
