Logique galoisienne généralisée : sémantique relationnelle des calculs logiques non-classiques

Titre original :

Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi

Contenu du livre :

Les logiques non classiques ont joué un rôle croissant ces dernières années dans des disciplines allant des mathématiques et de l'informatique à la linguistique et à la philosophie.

La logique galoisienne généralisée développe un cadre uniforme de sémantique relationnelle pour servir de médiateur entre les calculs logiques et leur sémantique par le biais de l'algèbre. Ce volume traite des logiques modales normales telles que K et S5, et des logiques sous-structurelles, y compris les logiques de pertinence, la logique linéaire et les calculs de Lambek.

Les auteurs traitent également des systèmes logiques moins familiers et nouveaux avec la même habileté.

Autres informations sur le livre :

• ISBN : 9781575865744
• Auteur : Katalin Bimb
• Éditeur : Ctr For Study Of Lang & Info
• Langue : anglais
• Reliure : Broché
• Année de publication : 2008
• Nombre de pages : 394