Logique algébrique

En logique mathématique, la logique algébrique est le raisonnement obtenu en manipulant des équations avec des variables libres. Ce qui est maintenant généralement appelé la logique algébrique classique se concentre sur l'identification et la description algébrique des modèles adaptés à l'étude de différentes logiques (sous la forme de classes d'algèbres qui constituent la sémantique algébrique de ces systèmes déductifs) et aux problèmes connexes, comme la représentation et la dualité. La logique algébrique traite les structures algébriques, et les treillis comme modèles (interprétations) de certaines logiques. En logique algébrique: Les variables sont tacitement universellement quantifiées sur un univers du discours. Il n'y a pas de variables existentiellement quantifiés ou de formules ouvertes; Les termes sont construits à partir de variables à l'aide des opérations primitives et définies. Il n'y a pas de connecteurs; Les formules, construites à partir de termes, peuvent être assimilés si elles sont logiquement équivalentes; Le Modus ponens est valable, mais est rarement employé. Dans le tableau ci-dessous, la colonne de gauche contient un ou plusieurs systèmes logiques ou mathématiques, et la structure algébrique est présenté sur la droite du tableaux. Les formalismes algébriques allant au-delà la logique du premier ordre incluent notamment: La logique combinatoire, ayant la puissance expressive de la théorie des ensembles; L'algèbre relationnelle, sans doute la logique algébrique paradigmatique qui peut exprimer l'arithmétique de Peano et les théories des ensembles axiomatiques, y compris la ZFC canonique. La logique algébrique est, peut-être, l'approche la plus ancienne à la logique formelle, et a sans doute émergée dans certaines des notes que Leibniz a écrit dans les années 1680, dont certaines ont été publiées au et traduit en anglais par Clarence Lewis en 1918. Mais la quasi-totalité du travail connu sur la logique algébrique de Leibniz a seulement été publié en 1903 après que Louis Couturat découvre le Nachlass de Leibniz.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Catégories associées (16)

Concepts associés (5)

Cours associés (31)

Séances de cours associées (121)

Publications associées (98)

Unités associées (1)

CS-101: Advanced information, computation, communication I

Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a

PHYS-100: Advanced physics I (mechanics)

La Physique Générale I (avancée) couvre la mécanique du point et du solide indéformable. Apprendre la mécanique, c'est apprendre à mettre sous forme mathématique un phénomène physique, en modélisant l

MATH-681: Reading group in applied topology II

In this reading group, we will work together through recent important papers in applied topology. Participants will take turns presenting articles, then leading a discussion of the contents.

Homogeneous relation

In mathematics, a homogeneous relation (also called endorelation) on a set X is a binary relation between X and itself, i.e. it is a subset of the Cartesian product X × X. This is commonly phrased as "a relation on X" or "a (binary) relation over X". An example of a homogeneous relation is the relation of kinship, where the relation is between people. Common types of endorelations include orders, graphs, and equivalences. Specialized studies of order theory and graph theory have developed understanding of endorelations.

Allegory (mathematics)

In the mathematical field of , an allegory is a that has some of the structure of the category Rel of sets and binary relations between them. Allegories can be used as an abstraction of categories of relations, and in this sense the theory of allegories is a generalization of relation algebra to relations between different sorts. Allegories are also useful in defining and investigating certain constructions in category theory, such as completions. In this article we adopt the convention that morphisms compose from right to left, so RS means "first do S, then do R".

Élément absorbant

En mathématiques (algèbre), un élément absorbant (ou élément permis) d'un ensemble pour une loi de composition interne est un élément de cet ensemble qui transforme tous les autres éléments en l'élément absorbant lorsqu'il est combiné avec eux par cette loi. Soit un magma. Un élément de est dit : absorbant à gauche si ; absorbant à droite si ; absorbant s'il est absorbant à droite et à gauche. Dans un magma , l'élément absorbant, s'il existe : est unique : si et sont deux éléments absorbants, ; est idempotent : si est absorbant, .

Experimental and ab initio derivation of interface stress in nanomultilayered coatings: Application to immiscible Cu/W system with variable in-plane stress

Pandula Manura Liyanage, Claudia Cancellieri, Giacomo Lorenzin

Interface stress is a fundamental descriptor for interphase boundaries and is defined in strict relation to the interface energy. In nanomultilayers with their intrinsically high interface density, the functional properties are dictated by the interface st ...

Elsevier2024

Harmonic decomposition of the trace of 1D transfer matrices in layered media

Antonio Joaquin Garcia Suarez

The Transfer Matrix formalism is ubiquitous when it comes to study wave propagation in various stratified media, applications ranging from Seismology to Quantum Mechanics. A relation between variables at two points in two different layers can be establishe ...

2022

Virtual reality to assess visual attraction and perceived interest to daylit scene variations

Marilyne Andersen, Caroline Karmann, Bahar Aydemir, Kynthia Chamilothori

Façades and light pattern composition have been shown to influence the spatial experience and physiological responses of humans [1,2]. The present study examines the effect of sunlight penetration and window size on fixations to the floor of the scene, and ...

2021

Relations en informatique CS-101: Advanced information, computation, communication I

Explore les propriétés des relations en informatique, y compris les relations d'équivalence et la partition d'un ensemble.

Propagation de la croyance : méthodes clés et analyse PHYS-512: Statistical physics of computation

Couvre la propagation de la croyance, une méthode clé pour l'analyse et l'algorithme.

Comprendre le chaos dans les théories quantiques de champ

Explore le chaos dans les théories quantiques des champs, en se concentrant sur la symétrie conforme, les coefficients OPE et l'universalité de la matrice aléatoire.

Théorie des ensembles

La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du . La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes... C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens.

Algèbre générale

L'algèbre générale, ou algèbre abstraite, est la branche des mathématiques qui porte principalement sur l'étude des structures algébriques et de leurs relations. L'appellation algèbre générale s'oppose à celle d'algèbre élémentaire ; cette dernière enseigne le calcul algébrique, c'est-à-dire les règles de manipulation des formules et des expressions algébriques. Historiquement, les structures algébriques sont apparues dans différents domaines des mathématiques, et n'y ont pas été étudiées séparément.

Théorie des graphes

vignette|Un tracé de graphe. La théorie des graphes est la discipline mathématique et informatique qui étudie les graphes, lesquels sont des modèles abstraits de dessins de réseaux reliant des objets. Ces modèles sont constitués par la donnée de sommets (aussi appelés nœuds ou points, en référence aux polyèdres), et d'arêtes (aussi appelées liens ou lignes) entre ces sommets ; ces arêtes sont parfois non symétriques (les graphes sont alors dits orientés) et sont alors appelées des flèches ou des arcs.