Mathématiques - Logique

LogiqueAperçus sur les cartes régulières et les souris

Un aperçu des cardinaux réguliers non hyperinaccessibles et de leurs propriétés.

Christopher Henney-Turner, Philip Welch

2025-06-27T17:13:55+00:00 ― 6 min lire

Logique en informatiqueComprendre les logiques modales intuitionnistes

Un aperçu de la structure et des relations des logiques modales intuitionnistes.

Jim de Groot, Ian Shillito, Ranald Clouston

2025-06-27T13:17:58+00:00 ― 8 min lire

Logique en informatiqueLogique paraconsistante : Une nouvelle perspective sur le raisonnement abductif

Cet article explore comment la logique paraconsistante améliore le raisonnement abductif dans des situations complexes.

Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko

2025-06-27T09:48:14+00:00 ― 8 min lire

Logique en informatiqueGérer des données incohérentes avec une logique à quatre valeurs

Une nouvelle méthode pour gérer les incohérences de données dans les bases de connaissances.

Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko

2025-06-27T09:22:01+00:00 ― 5 min lire

LogiqueComprendre les homomorphismes boréliens et les relations d'équivalence

Explore les liens entre les homomorphismes de Borel et les relations d'équivalence en maths.

Assaf Shani

2025-06-26T16:45:47+00:00 ― 6 min lire

Analyse fonctionnelleLa nature des sous-groupes discrets en théorie des groupes

Explorer les propriétés des sous-groupes discrets dans les espaces normés et leurs classifications.

Tomasz Kania, Ziemowit Kostana

2025-06-25T01:26:17+00:00 ― 6 min lire

LogiqueAdapter l'IA pour des voitures autonomes plus sûres

Des recherches montrent des méthodes pour gérer les conditions de route changeantes pour les voitures autonomes.

Md Shahi Amran Hossain, Abu Shad Ahammed, Divya Prakash Biswas

2025-06-24T21:30:20+00:00 ― 7 min lire

LogiqueCohomologie de Galois définissable : Une approche axiomatique

Explorer l'intersection entre la théorie des modèles et la cohomologie de Galois.

David Meretzky

2025-06-24T20:11:41+00:00 ― 6 min lire

LogiqueNouveau logiciel aide les équipes de secours dans les évaluations de santé

Ce logiciel aide les équipes de secours à évaluer la santé des patients pendant les urgences.

Abu Shad Ahammed, Roman Obermaisser

2025-06-24T12:19:47+00:00 ― 8 min lire

LogiqueAtteindre une forte complétude dans la logique T-norme continue

Cet article présente un nouveau système logique pour les t-normes continues garantissant une forte complétude.

Diego Castaño, José Patricio Díaz Varela, Gabriel Savoy

2025-06-24T04:54:06+00:00 ― 6 min lire

LogiqueExplorer des cliques infinies dans les graphes

Cet article examine les cliques infinies et leur relation avec les propriétés des graphes.

Yatir Halevi, Itay Kaplan, Saharon Shelah

2025-06-23T07:55:42+00:00 ― 4 min lire

LogiqueComprendre le Parfait Ensemble et les Propriétés de Baire

Un aperçu des propriétés importantes des ensembles en mathématiques.

Vincenzo Dimonte, Alejandro Poveda, Sebastiano Thei

2025-06-22T16:38:07+00:00 ― 12 min lire

LogiqueComprendre les Transséries et les Champs Différentiels

Un aperçu des transséries et de leur importance dans les structures mathématiques.

Nigel Pynn-Coates

2025-06-22T08:46:13+00:00 ― 7 min lire

Variables complexesComprendre les variétés Oeljeklaus-Toma en géométrie

Un aperçu des variétés complexes et de leurs propriétés significatives.

Rahim Moosa, Matei Toma

2025-06-21T07:25:39+00:00 ― 5 min lire

Analyse fonctionnelleComprendre les Nullnormes dans les Treillis Bornés

Un aperçu des nullnormes et de leur importance en mathématiques.

Zhenyu Xiu, Xu Zheng

2025-06-20T16:08:04+00:00 ― 6 min lire

LogiqueLa structure des preuves mathématiques

Un aperçu de la théorie des preuves et de son importance en mathématiques.

Amirhossein Akbar Tabatabai

2025-06-20T02:09:08+00:00 ― 7 min lire

LogiqueGéométries Quadratiques : Une Plongée Profonde

Un aperçu de la connexion entre les espaces vectoriels et les formes quadratiques.

Charlotte Kestner, Nicholas Ramsey

2025-06-19T22:13:11+00:00 ― 7 min lire

Logique en informatiqueComprendre les fonctions booléennes et la logique modale

Un aperçu des fonctions booléennes et de la logique modale dans les systèmes de raisonnement.

Christoph Berkholz, Dietrich Kuske, Christian Schwarz

2025-06-18T16:04:14+00:00 ― 7 min lire

LogiqueDécidabilité dans les champs de séries de Laurent

Explorer les complexités des corps de séries de Laurent et leur indécidabilité.

Leo Gitin

2025-06-17T04:14:28+00:00 ― 7 min lire

LogiqueLogique à plusieurs valeurs : au-delà du vrai et du faux

Un aperçu de la logique à plusieurs valeurs et son importance dans divers domaines.

Sayantan Roy, Sankha S. Basu, Mihir K. Chakraborty

2025-06-17T02:29:36+00:00 ― 7 min lire

LogiqueStratégies et résultats dans le jeu de Cantor

Explorer des stratégies gagnantes dans des jeux mathématiques impliquant des ordres linéaires et des ensembles.

Tonatiuh Matos-Wiederhold, Luciano Salvetti

2025-06-16T23:52:18+00:00 ― 6 min lire

LogiqueL'importance des théorèmes d'élimination des coupures en théorie des preuves

Les théorèmes d'élimination des coupes simplifient les preuves logiques en enlevant les étapes inutiles.

Sayantan Roy

2025-06-16T23:26:05+00:00 ― 6 min lire

Logique en informatiqueExaminer la réductibilité de Weihrauch à travers les jeux de Büchi

Analyser les liens entre les problèmes de Weihrauch et les jeux de Büchi en informatique.

Cécilia Pradic

2025-06-15T22:57:57+00:00 ― 6 min lire

LogiqueDévoiler des automorphismes non triviaux dans les groupes polonais

Cette étude révèle l'existence d'automorphismes non triviaux dans les groupes polonais.

Carlos Pérez Estrada, Ulises Ariet Ramos-García

2025-06-15T19:54:26+00:00 ― 5 min lire

LogiqueConnecter les logiques modales constructive et intuitionniste

Une étude révélant des similitudes entre deux types de logique modale.

Leonardo Pacheco

2025-06-14T23:22:15+00:00 ― 6 min lire

LogiqueComprendre la réductibilité en théorie des ensembles

Une exploration de la réductibilité et de son importance dans les structures mathématiques.

Noah Schweber

2025-06-14T19:26:18+00:00 ― 7 min lire

LogiquePrésentation du Topos Contextuel Quantique : Une Nouvelle Vision de la Logique Quantique

Un nouveau cadre vise à clarifier les complexités de la logique quantique.

Jesse Werbow

2025-06-14T03:28:33+00:00 ― 8 min lire

LogiqueComprendre les Deep Sets en computation

Explorer la signification et les implications des ensembles profonds en théorie de l'information.

Ang Li

2025-06-13T21:35:28+00:00 ― 7 min lire

LogiqueLes subtilités des extensions algébriques et de l'indécidabilité

Un aperçu des extensions algébriques et des défis indécidables en mathématiques.

Carlos Martinez-Ranero, Dubraska Salcedo, Javier Utreras

2025-06-13T19:24:23+00:00 ― 7 min lire

LogiqueDifférents systèmes de logique et leurs interconnexions

Un aperçu des logiques classique, intuitionniste et linéaire et leurs traductions.

Gilda Ferreira, Paulo Oliva, Clarence Lewis Protin

2025-06-13T01:03:17+00:00 ― 5 min lire

LogiqueChemins eulériens : Graphes infinis et leurs défis

Examiner les complexités des chemins eulériens dans des graphes infinis.

Nicanor Carrasco-Vargas, Valentino Delle Rose, Cristóbal Rojas

2025-06-12T09:19:29+00:00 ― 7 min lire

Systèmes dynamiquesActions de groupe et leur impact sur les espaces

Un aperçu de comment les groupes influencent les structures en maths.

Nachi Avraham-Re'em, George Peterzil

2025-06-12T06:42:11+00:00 ― 6 min lire

Logique en informatiqueExplorer le rôle des conteneurs en programmation

Les conteneurs structurent les données pour une meilleure gestion et organisation en programmation.

Stefania Damato, Thorsten Altenkirch, Axel Ljungström

2025-06-11T22:50:17+00:00 ― 9 min lire

LogiqueComprendre les petites extensions en théorie des ensembles

Cet article parle de comment les petites extensions sont liées aux degrés de calcul.

Desmond Lau

2025-06-11T13:13:31+00:00 ― 8 min lire

LogiqueConstruire des modèles en théorie des ensembles avec régularité

Une méthode pour construire des modèles qui satisfont la détermination et la régularité en théorie des ensembles.

Obrad Kasum, Grigor Sargsyan

2025-06-08T22:44:32+00:00 ― 6 min lire

Topologie algébriqueUne plongée profonde dans les espaces de couverture

Explore l'importance des espaces de couverture en topologie algébrique et leurs applications.

Jelle Wemmenhove, Cosmin Manea, Jim Portegies

2025-06-08T19:41:01+00:00 ― 7 min lire

LogiqueProblèmes de Satisfaction de Contraintes Temporelles : Un Aperçu

Explore les VCSP temporels et leur importance dans les problèmes d'optimisation.

Manuel Bodirsky, Édouard Bonnet, Žaneta Semanišinová

2025-06-08T17:56:09+00:00 ― 6 min lire

LogiqueComprendre les logiques pertinentes et leur impact

Un aperçu de l'importance du partage de variables dans les implications logiques.

Shawn Standefer, Shay Allen Logan, Thomas Macaulay Ferguson

2025-06-08T01:19:55+00:00 ― 8 min lire

LogiqueRelations d'équivalence graphables boréales : un aperçu

Explore le rôle des relations d'équivalence dans divers domaines mathématiques.

Tyler Arant, Alexander S. Kechris, Patrick Lutz

2025-06-07T19:39:06+00:00 ― 4 min lire

LogiqueAlgebras généralisées : Faire le lien entre logique et structure

Explorer l'importance des algèbres généralisées en maths et en logique.

Amirhossein Akbar Tabatabai, Majid Alizadeh, Masoud Memarzadeh

2025-06-06T18:44:45+00:00 ― 7 min lire