#sequent-calculus
Toutes les langues
Plus lus
Documents
LIX janvier
Documents
Forum: A Multiple Conclusion Specification Logic
Documents
Etudes supérieures
Forum: A Multiple Conclusion Specification Logic
37 pages
English
Lire
Infos
Documents
Introduction to Proof Theory
Documents
A Local System for Linear Logic
Documents
Sequent calculi with an efficient loop-check for BDI logics ; Sekvenciniai skaičiavimai BDI logikoms su efektyvia ciklų paieška
Documents
Savoirs
Sequent calculi with an efficient loop-check for BDI logics ; Sekvenciniai skaičiavimai BDI logikoms su efektyvia ciklų paieška
120 pages
English
Lire
Infos
Documents
A Focused Approach to Combining Logics
Documents
The pi calculus as a theory in linear logic: Preliminary results
Documents
Rapports de stage
The pi calculus as a theory in linear logic: Preliminary results
18 pages
English
Lire
Infos
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
Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic
Documents
Etudes supérieures
Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic
15 pages
English
Lire
Infos
Documents
January Submitted pages paper pages appendix
Documents
Etudes supérieures
January Submitted pages paper pages appendix
39 pages
English
Lire
Infos
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productPages}}
{{productLanguageIsoCode}}
