Výsledky vyhledávání - "Pradic, Pierre"

Cantor-Bernstein implies Excluded Middle

Autor: Pradic, Pierre, Brown, Chad

Update: fixed an error on the applicability of thm 1, added some acks and a ref; We prove in constructive logic that the statement of the Cantor-Bernstein theorem implies excluded middle. This establishes that the Cantor-Bernstein theorem can only be

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::734a77523e754e1cf1fd7056b918b51f
https://hal.archives-ouvertes.fr/hal-02103517/document

Zobrazit plný text záznamu

Comparison-free polyregular functions

Autor: Nguyễn, Lê Thành Dũng (Tito), Noûs, Camille, Pradic, Pierre

Publikováno v: International Colloquium on Automata, Languages and Programming 2021
International Colloquium on Automata, Languages and Programming 2021, Jul 2021, Glasgow, United Kingdom

This paper introduces a new automata-theoretic class of string-to-string functions with polynomial growth. Several equivalent definitions are provided: a machine model which is a restricted variant of pebble transducers, and a few inductive definitio

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::77b2a394754a149522e9c334d79ff602

Zobrazit plný text záznamu

Some proof-theoretical approaches to Monadic Second-Order logic

Autor: Pradic, Pierre

Publikováno v: Logic in Computer Science [cs.LO]. Université de Lyon; Uniwersytet Warszawski. Wydział Matematyki, Informatyki i Mechanik, 2020. English. ⟨NNT : 2020LYSEN028⟩

This thesis studies certain aspects of Monadic Second-Order logic over infinitewords (MSO) through the lens of proof-theory. It is split into two independentparts.The first parts studies intuitionistic variants of MSO with strong witnessing propertie

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0428ac9f75c3e87d21941d0ff233fdba
https://tel.archives-ouvertes.fr/tel-02954006/file/PRADIC_Pierre_2020LYSEN028_These.pdf

Zobrazit plný text záznamu

A Curry-Howard Approach to Church's Synthesis

Autor: Pradic, Pierre, Riba, Colin

Publikováno v: FSCD'17
FSCD'17, Sep 2017, Oxford, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2017.29⟩

Church's synthesis problem asks whether there exists a finite-state stream transducer satisfying a given input-output specification. For specifications written in Monadic Second-Order Logic (MSO) over infinite words, Church's synthesis can theoretica

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c6d6951487789681245518f0f8d6be8b
http://arxiv.org/abs/1803.08958

Zobrazit plný text záznamu