289 citations
- Centre National de la Recherche ScientifiqueFR48 papers
- Institut de Mathématiques de MarseilleFR43 papers
- Institut de Recherche en Informatique de ToulouseFR41 papers
- Université Toulouse-I-CapitoleFR41 papers
- Université Toulouse III - Paul SabatierFR41 papers
- Université Toulouse - Jean JaurèsFR41 papers
- Université de BordeauxFR36 papers
- Château GombertFR30 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR30 papers
- Aix-Marseille UniversitéFR18 papers
- Institut national de recherche en sciences et technologies du numériqueFR14 papers
- Centrale MéditerranéeFR13 papers
4 papers · 1 filter
Ludics without Designs I: Triads
Michele Basaldella
In this paper, we introduce the concept of triad. Using this notion, we study, revisit, discover and rediscover some basic properties of ludics from a very general point of view.
Infinitary Classical Logic: Recursive Equations and Interactive Semantics
Michele Basaldella
In this paper, we present an interactive semantics for derivations in an infinitary extension of classical logic. The formulas of our language are possibly infinitary trees labeled…
Automated Synthesis of a Finite Complexity Ordering for Saturation
Yannick Chevalier, Mounira Kourjieh
We present in this paper a new procedure to saturate a set of clauses with respect to a well-founded ordering on ground atoms such that A < B implies Var(A) {\subseteq} Var(B) for…
A Modal Logic for Termgraph Rewriting
Ph. Balbiani, R. Echahed, A. Herzig
We propose a modal logic tailored to describe graph transformations and discuss some of its properties. We focus on a particular class of graphs called termgraphs. They are first-o…