Lazi
Accueil
Contact
Lexique
argument minimal ou maximal d'une formule
arguments d'une formule
Calcul ▶
chemin mathématique (absolu ou relatif)
chemin mathématique de calcul
conditionnel
ctruth, vérité condionnelle, $CT[ (...) ⊢ x ]
décomposition d'une formule
extensible
fonction constante par calcul
fonction minimale ou maximale d'une formule
fonction non constante par calcul
fonctions d'une formule
Lazi ▶
lazi.0
lazi.0.0
lazi.0.1
lazi.0.2
lazi.1
lazi.1.0
lazi.1.1
lazi.1.2
lazi.1.3
lazi.1.4
Lazi ▶lazi.0.1
logique de niveau 0
logique de niveau 1
mathématique (lazi,pré-,minimale)
mathématique extension de M
n-formules
notation étoile égalité
preuve normalisée
profondeur d'une formule
SFP ▶
sous-formule (stricte)
type étendu par union
utilisé dans le calcul
Organisation
Présentation
Recherche
Réalisations
Suivi des tâches
lazi.1.1
lazi.1.0 plus la règle du tiers exclu