Concept

Linear logic

Related publications (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 ...

Cham2024

Interpolation 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 ...

2024

We 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 INC2023

International 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 ...

2022

Working on mobility from people

Vincent Kaufmann

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 ...

Routledge2021

On 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 ...

2021

State 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 ...

2018

Configuration 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 Inc2017

A Semantic Framework for Architecture Modelling

Eduard Baranov

Architectures are common means for organising coordination between components in order to build complex systems and to make them manageable. They allow thinking on a higher plane and avoiding low-level mistakes. Architectures provide means for ensuring cor ...

EPFL2017

Coordination 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

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.