Titre original :
A View of Connexive Logics
Contenu du livre :
Ce livre est la première monographie sur le thème des logiques connexives, une famille de logiques non-classiques, basée sur l'intuition qu'une proposition ne peut pas impliquer valablement, ni être impliquée, par sa propre négation.
Comme les logiques de pertinence, les logiques connexives exigent une connexion de sens entre l'antécédent et le conséquent d'une implication valide. L'interaction entre la négation et les conditionnels, ainsi qu'avec d'autres connecteurs, est plus proche de certaines utilisations de ces derniers dans les langues naturelles.
Ce livre n'est pas une étude complète des logiques connexives ; il présente plutôt le point de vue de l'auteur sur ces logiques, en mettant l'accent sur les aspects de ces logiques qui l'intéressent. Cependant, il contient suffisamment de matériel pour familiariser le lecteur avec ces logiques, comprendre leur origine et leur motivation, ainsi que les principes de la théorie des preuves et de la théorie des modèles qui les sous-tendent.
Nous espérons que ce livre contribuera à la popularisation des logiques connexives et à la croissance de la communauté, actuellement restreinte, qui s'y intéresse.
Nissim Francez est professeur émérite d'informatique au Technion, Israel Institute.
d'Israël. À un certain moment de sa carrière, il est passé de la recherche liée aux systèmes concurrents et.
La programmation distribuée et la vérification de programmes à la recherche en linguistique informatique, principalement la sémantique formelle du langage naturel. Ces dernières années, il a travaillé sur la sémantique de la théorie des preuves, en particulier pour le langage naturel. Plus récemment, il a également travaillé sur les logiques non-classiques, y compris les logiques connexives.
Autres informations sur le livre :
| ISBN : | 9781848903708 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
