Sur les Algdères de Heyting
| dc.contributor.author | Chikh, Messaouda | |
| dc.contributor.author | Encadreur: Amroune, Abdelaziz | |
| dc.date.accessioned | 2023-05-11T08:53:27Z | |
| dc.date.available | 2023-05-11T08:53:27Z | |
| dc.date.issued | 2014-06-10 | |
| dc.description.abstract | L'algèbre de Heyting est le modèle algébrique de la logique intuitionniste. L'étude des algèbres s'accompagne et détermine notre compréhension de ce que c'est la logique. Certes, c'est une approche de nature sémantique à la logique, mais qui est capable d'intégrer et donner des réponses aux problèmes plus proprement syntaxiques. | en_US |
| dc.identifier.uri | https://depot.univ-msila.dz/handle/123456789/37907 | |
| dc.language.iso | fr | en_US |
| dc.publisher | University of M'sila | en_US |
| dc.subject | Relation d'ordre, ordre partiel, algèbre de Boole, treillis, treillis distributif, algèbre de Heyting | en_US |
| dc.title | Sur les Algdères de Heyting | en_US |
| dc.type | Thesis | en_US |