| Přispěvatelé: |
Institut de Mathématiques de Marseille (I2M), Aix Marseille Université (AMU)-École Centrale de Marseille (ECM)-Centre National de la Recherche Scientifique (CNRS), ANR-10-BLAN-0213,LOGOI,Logique et géometrie de l'interaction(2010), I2m, Aigle, BLANC - Logique et géometrie de l'interaction - - LOGOI2010 - ANR-10-BLAN-0213 - BLANC - VALID |
| Popis: |
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. |
