%0 Unpublished work
%T Transcendental syntax 2: non deterministic case
%+ Institut de Mathématiques de Marseille (I2M)
%A Girard, Jean-Yves
%8 2015-11-24
%D 2015
%Z 03F52 (03B40)
%Z Mathematics [math]/Logic [math.LO]Preprints, Working Papers, ...
%X Using a non deterministic analytics, it is possible to expand the au- tonomous explanation of logic, a.k.a. transcendental syntax, to full logic, i.e., first order predicate calculus with equality. This paper concentrates on additives, intuitionistic negation and on a paradoxically unexplored territory: predicate calculus. First order terms are handled as proposi- tions and predicates as connectives, e.g., equality becomes logical equiv- alence. Transcendental syntax thus achieves a reduction of logic to its propositional fragment.
%G English
%L hal-01322329
%U https://hal.science/hal-01322329
%~ CNRS
%~ UNIV-AMU
%~ EC-MARSEILLE
%~ I2M
%~ I2M-2014-
%~ ANR