Concept

Validité (logique)

Publications associées (22)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

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

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

Orthologic with Axioms

Viktor Kuncak, Simon Guilloud

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having po ...

2024

On the Validity of Consensus

Rachid Guerraoui, Jovan Komatovic, Pierre Philippe Civit, Manuel José Ribeiro Vidigueira, Seth Gilbert

The Byzantine consensus problem involves.. processes, out of which t < n could be faulty and behave arbitrarily. Three properties characterize consensus: (1) termination, requiring correct (nonfaulty) processes to eventually reach a decision, (2) agreement ...

New York2023

Il demone dell'analogia: Ovvero affinità e divergenze fra il compagno aristotele e noi

Nicola Braghieri

This laconic discourse uses the Aristotelian authority to define the role of the analogical procedure in the government of the architectural composition. Respecting its ambiguous balance between mathematical method and attitude of the imagination, analogy ...

2021

Response to "Critical Assessment of the Evidence for Striped Nanoparticles"

Francesco Stellacci, Quy Ong Khac

Stirling et al., (10.1371/journal.pone.0108482) presented an analysis on some of our publications on the formation of stripe-like domains on mixed-ligand coated gold nanoparticles. The authors shed doubts on some of our results however no valid argument is ...

Public Library of Science2015

Model simulations of the modulating effect of the snow cover in a rain-on-snow event

Michael Lehning, Nander Wever, Charles Fierz, Tobias Jonas

In October 2011, the Swiss Alps underwent a marked rain-on-snow (ROS) event when a large snowfall on 8 and 9 October was followed by intense rain on 10 October. This resulted in severe flooding in some parts of Switzerland. Model simulations were carried o ...

European Geosciences Union2014

Watching object related movements modulates mirror-like activity in parietal brain regions

Robert Leeb

Objective: We studied the activation of cortical motor and parietal areas during the observation of object related grasping movements. By manipulating the type of an object (realistic versus abstract) and the type of grasping (correct versus incorrect), we ...

Elsevier Ireland Ltd2013

Ambipolar Gate-Controllable SiNW FETs for Configurable Logic Circuits With Improved Expressive Capability

Giovanni De Micheli, Davide Sacchetto, Yusuf Leblebici

In this letter, we report on the fabrication and characterization of ambipolar silicon-nanowire (SiNW) field-effect transistors (FETs) with a double-independent-gate (DIG) structure for polarity control. Several structures are fabricated, showing the effec ...

Institute of Electrical and Electronics Engineers2012

Asymptotic Inference For Partially Observed Branching Processes

Victor Panaretos

We consider the problem of estimation in a partially observed discrete-time Galton-Watson branching process, focusing on the first two moments of the offspring distribution. Our study is motivated by modelling the counts of new cases at the onset of a stoc ...

Applied Probability Trust2011