Structure de valeurs de vérité

En se plaçant dans divers triplets (E,->, phi) on "lit" les énoncés de mathématiques comme des noms d'objets et on peut chercher même la logique (complètement exotique à priori) de la structure.

Data and Resources

Additional Info

Field Value
Source https://hal.science/hal-00946656
Author Chalons, Christophe
Maintainer CCSD
Last Updated May 6, 2026, 07:25 (UTC)
Created May 6, 2026, 07:25 (UTC)
Identifier hal-00946656
Language fr
Rights https://about.hal.science/hal-authorisation-v1/
contributor Equipe de Logique Mathématique (ELM) ; Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)) ; Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)
creator Chalons, Christophe
date 2014-02-01T00:00:00
harvest_object_id 05d7ed85-9446-41d7-920a-34fc9edf3cff
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-08-12T00:00:00
set_spec type:UNDEFINED