Publications related to Intuitionistic logic

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

From concrete waste to walls An investigation of reclamation and digital technologies for new load-bearing structures

Corentin Jean Dominique Fivet, Stefana Parascho, Maxence Grangeot

Our research explores opportunities in using unaltered concrete rubbles from demolition for the digital construction of structural walls. Through research by iterative making, we identify relevant upcycling processes and design strategies and explore new t ...

2023

On Polynomial Algorithms for Normalizing Formulas

Viktor Kuncak, Simon Guilloud, Mario Bucev

We propose a new approach for normalization and simplification of logical formulas. Our approach is based on algorithms for lattice-like structures. Specifically, we present two efficient algorithms for computing a normal form and deciding the word problem ...

2022

chi-Shell, a new spatial deployable lattice compared to traditional reticulated shells

Mark Pauly, Florin Isvoranu, Etienne Bouleau

The chi-Shells is a new kind of deployable reticulated shells that has features comparable to other traditional shells. Its deployment uses the mechanical properties of a beam grid to generate a three-dimensional shape. This new generation of reticulated s ...

INT CENTER NUMERICAL METHODS ENGINEERING2019

X-Shell, a new spatial deployable lattice compared to traditional reticulated shells

Mark Pauly, Florin Isvoranu, Francis Julian Panetta, Etienne Bouleau

The χ-Shells is a new kind of deployable reticulated shells that has features comparable to other traditional shells. Its deployment uses the mechanical properties of a beam grid to generate a three-dimensional shape. This new generation of reticulated she ...

International Association for Shell and Spatial Structures (IASS)2019

Scaling-up ESOP Synthesis for Quantum Compilation

Giovanni De Micheli, Mathias Soeken, Bruno Schmitt Antunes

Today's rapid advances in quantum computing hardware call for scalable synthesis methods to map combinational logic represented as multi-level Boolean networks (e.g., an and inverter graph, AIG) to quantum circuits. Such synthesis process must yield revers ...

IEEE2019

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.

Intuitionistic logic

Interpolation and Quantifiers in Ortholattices

Interpolation and Quantifiers in Ortholattices

Orthologic with Axioms

From concrete waste to walls An investigation of reclamation and digital technologies for new load-bearing structures

Decision Procedures for Power Structures

On Polynomial Algorithms for Normalizing Formulas

Working on mobility from people

chi-Shell, a new spatial deployable lattice compared to traditional reticulated shells

X-Shell, a new spatial deployable lattice compared to traditional reticulated shells

Scaling-up ESOP Synthesis for Quantum Compilation

Graph Chatbot

Chat with Graph Search

Interpolation and Quantifiers in Ortholattices

Orthologic with Axioms

Interpolation and Quantifiers in Ortholattices

Decision Procedures for Power Structures

Working on mobility from people

From concrete waste to walls An investigation of reclamation and digital technologies for new load-bearing structures

On Polynomial Algorithms for Normalizing Formulas

chi-Shell, a new spatial deployable lattice compared to traditional reticulated shells

Scaling-up ESOP Synthesis for Quantum Compilation

X-Shell, a new spatial deployable lattice compared to traditional reticulated shells