• Aucun résultat trouvé

[PDF] Top 20 Cones as a model of intuitionistic linear logic

Has 10000 "Cones as a model of intuitionistic linear logic" found on our website. Below are the top 20 most common "Cones as a model of intuitionistic linear logic".

Cones as a model of intuitionistic linear logic

Cones as a model of intuitionistic linear logic

... limitations of probabilistic coherence spaces which do not seem to provide natural interpretations of continuous data types such as the real line, we introduced with Pagani and Tasson a model ... Voir le document complet

20

Mackey-complete spaces and power series – A topological model of Differential Linear Logic

Mackey-complete spaces and power series – A topological model of Differential Linear Logic

... Introduction Logic is by nature discrete, and linear logic is not ...interpretation of linearity in terms of resource consumption still manipulates discrete notions, ...multisets ... Voir le document complet

37

About intuitionistic public announcement logic

About intuitionistic public announcement logic

... is a uniform approach for designing calculi in various logics like modal or intuitionistic logics [13,17] from Kripke-style se- ...propose a new labelled calculus for P AL that corrected the ... Voir le document complet

21

About intuitionistic public announcement logic

About intuitionistic public announcement logic

... is a uniform approach for designing calculi in various logics like modal or intuitionistic logics [13,17] from Kripke-style se- ...propose a new labelled calculus for P AL that corrected the ... Voir le document complet

22

Intuitionistic linear temporal logics

Intuitionistic linear temporal logics

... plays a crucial role in the definition of Equilibrium Logic [39, 40], a well-known characterisation of Stable Model [21] and Answer Set [37, 34] semantics for logic ... Voir le document complet

44

Polynomial time in untyped elementary linear logic

Polynomial time in untyped elementary linear logic

... simpler model of proof-nets. Indeed we prove a similar result as [9] in untyped classical elementary linear ...control of complexity in elementary linear logic (in ... Voir le document complet

41

The Scott model of Linear Logic is the extensional collapse of its relational model

The Scott model of Linear Logic is the extensional collapse of its relational model

... ategory of sets and relations This ategory underlies the ollapse ategory we want to ...hment of the ategory of sets and relations where ea h obje t is endowed with a partial equivalen e ... Voir le document complet

40

Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines

Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines

... undecidability of problems is ...in a proof assistant without referring to an explicit model of computation in [ 11 ...from a problem (X,p) to (Y , q) as a (computable) function ... Voir le document complet

14

Vectorial Languages and Linear Temporal Logic

Vectorial Languages and Linear Temporal Logic

... nition of a run, Æ(q; a) is in disjun tive normal form for any state q and any letter ...a. Of ourse, Æ ould be de ned as a fun tion taking its values in negation-free boolean ... Voir le document complet

47

Quantitative Game Semantics for Linear Logic

Quantitative Game Semantics for Linear Logic

... defect of our approach is the strong use of sequentiality information from sequent calculus proofs in the game ...rid of this sequentiality are the use of non-deterministic strategies or ... Voir le document complet

22

Note on models of polarised intuitionistic logic

Note on models of polarised intuitionistic logic

... point of view that control categories are “the same” as response ...from a control category is not necessarily isomorphic to the one that gave rise to the control category ( Selinger , 2001 ...subcategory ... Voir le document complet

10

A Logic of Sights

A Logic of Sights

... and a over A. The semantics of the Boolean and of the basic modal operators is the usual ...semantics of [!N]ϕ is defined as follows: M,w |= [!N]ϕ iff M| N(w) , w |= ϕ Informally ... Voir le document complet

82

Simple On-the-fly Automatic Verification of Linear Temporal Logic

Simple On-the-fly Automatic Verification of Linear Temporal Logic

... to a B¨uchi automaton was by Wolper, Vardi and Sistla [16, ...intersection of two automata. The first automaton takes care of the state-to-state consistency of the runs, and is called the ... Voir le document complet

16

Definition of a linear equivalent model for a non-linear system with impacts

Definition of a linear equivalent model for a non-linear system with impacts

... is of the same order than the ovalization stiffness of a pipe or than the stiffness used in ...fraction of time spent with high secant stiffness. The key argument of this paper is thus ... Voir le document complet

15

Definition of a linear equivalent model for a non-linear system with impacts

Definition of a linear equivalent model for a non-linear system with impacts

... validation of its properties with an experimental modal ...contact model based on an unilateral stiffness distributed over the obstacle height is then ...proposed model correlates quite well with ... Voir le document complet

14

Categorical models of Linear Logic with fixed points of formulas

Categorical models of Linear Logic with fixed points of formulas

... also a natural way of preventing the introduction of fixed points ...usual A ⊸ B as A ⊥ ` B then we can define E = µζ (1 & (!ζ ⊸ ζ)) which looks like the definition of ... Voir le document complet

18

From Linear Temporal Logic Properties to Rewrite Propositions

From Linear Temporal Logic Properties to Rewrite Propositions

... University of Franche-Comté & INRIA/CASSIS, France ...regular model-checking framework, reachability analysis can be guided by temporal logic properties, for instance to achieve the counter ... Voir le document complet

35

Vectorial Languages and Linear Temporal Logic

Vectorial Languages and Linear Temporal Logic

... exists a formula ϕ ∈ TL[Λ] such that L = L ϕ . The set of Λ-definable languages will be denoted by ...Temporal Logic We will show that there exists a tight link between languages defined by ... Voir le document complet

13

Effects in Call-By-Push-Value, from a Linear Logic point of view

Effects in Call-By-Push-Value, from a Linear Logic point of view

... with a construction choose(M, N ) which reduces to M or N , non determinis- ...multisets of terms (corresponding to the various non-deterministic ...provide a denotational semantics for this calculus ... Voir le document complet

18

Reasoning on Assembly Code using Linear Logic

Reasoning on Assembly Code using Linear Logic

... semantics of the typing judgment for machine states Γ |= {P } s is just a soundness statement: ∃d, ∀n ∈ N, (((µ, ρ, κ, ς), d), n) ...the logic. Regarding instruction sequence judge- ments, there is ... Voir le document complet

12

Show all 10000 documents...