Concept
Logique linéaire
Publications associées (32)
Interpolation and Quantifiers in Ortholattices
Viktor Kuncak, Simon Guilloud, Sankalp Gambhir
We study quantifiers and interpolation properties in orthologic, a non-distributive weakening of classical logic that is sound for formula validity with respect to classical logic, yet has a quadratic-time decision procedure. We present a sequent-based pro ...
Cham2024Interpolation and Quantifiers in Ortholattices
Viktor Kuncak, Simon Guilloud, Sankalp Gambhir
We study quantifiers and interpolation properties in ortho- logic, a non-distributive weakening of classical logic that is sound for formula validity with respect to classical logic, yet has a quadratic-time decision procedure. We present a sequent-based p ...
2024We Need Subject Matter Expertise to Choose and Identify Causal Estimands: Comment on "Estimands for Recurrent Event Endpoints in the Presence of a Terminal Event"
Mats Julius Stensrud, Matias Janvin
We summarize what we consider to be the two main limitations of the "Estimands for Recurrent Event Endpoints in the Presence of a Terminal Event" (Schmidli et al. 2022). First, the authors did not give detailed guidance on how to choose an appropriate esti ...
TAYLOR & FRANCIS INC2023International PhD Seminar Post-extraction territories in transition: Designing the socio-ecological transition in post carbon marginal spaces
Paola Viganò, Elena Cogato Lanza, Anna Karla De Almeida Milani
The Seminar proposes a European and transatlantic dialogue around the questions of the social and ecological transition (post-carbon) of marginal spaces, and territories of exploitation as the ancient coal territories on the two sides of the Atlantic. Th ...
2022Working on mobility from people
Describing, understanding, explaining and regulating mobility requires transversal approaches. Traditionally, mobility analysis proceeds by partitioning into four differentiated forms according to two dimensions: the temporality of which it is based and th ...
Routledge2021On the preconditioning of the INTERNODES matrix for applications in contact mechanics
In this paper, we extend the work of Günther-Hanssen (2020) in applying the INTERNODES method to problems in contact mechanics. In an initial work on this topic, Günther-Hanssen showed that the INTERNODES method could be successfully applied but also revea ...
2021State Machine Replication is More Expensive than Consensus
Rachid Guerraoui, Dragos-Adrian Seredinschi, Karolos Antoniadis
Consensus and State Machine Replication (SMR) are generally considered to be equivalent problems. In certain system models, indeed, the two problems are computationally equivalent: any solution to the former problem leads to a solution to the latter, and v ...
2018Configuration logics: Modeling architecture styles
Joseph Sifakis, Simon Bliudze, Anastasia Mavridou, Eduard Baranov
We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1) interaction logics for the specification of arch ...
Elsevier Science Inc2017Coordination of Dynamic Software Components with JavaBIP
Simon Bliudze, Anastasia Mavridou
JavaBIP allows the coordination of software components by clearly separating the functional and coordination aspects of the system behavior. JavaBIP implements the principles of the BIP component framework rooted in rigorous operational semantics. Recent w ...
Springer International Publishing2017