Constructive Negations and Paraconsistency: A Categorial Approach to L-fussy Relations - Couverture souple
Livre 7 sur 46: Trends in Logic
Synopsis
Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Constructive Negations and Paraconsistency: A Categorial...
Image d'archives
Constructive Negations and Paraconsistency (Trends in Logic, 26)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Apr0316110338875
Acheter neuf
EUR 102,70
Frais de port :
EUR 3,43
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Constructive Negations and Paraconsistency (Trends in Logic, 26)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9789048177448
Acheter neuf
EUR 127,42
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Constructive Negations and Paraconsistency
Edité par
Springer Netherlands, Springer Netherlands Nov 2010, 2010
ISBN 10 : 9048177448
ISBN 13 : 9789048177448
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the author's recent investigations ofthe two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity (L.E.J. Brouwer) and the strong negation (D. Nelson) are studied in the setting of paraconsistent logic.The paraconsistent logics are those, which admit inconsistent but non-trivial theories, i.e., the logics which allow making inferences in non-trivial fashion from an inconsistent set of hypotheses. Logics in which all inconsistent theories are trivial are called explosive. In the intuitionistic logic Li, the negation is defined as reduction to absurdity. The concept of strong negation is realized in the Nelson logic N3. Both logics are explosive and have paraconsistent analogs: Johansson's logic Lj and paraconsistent Nelson's logic N4. It will be shown that refusing the explosion axiom 'contradiction implies everything' does not lead to decrease of the expressive power of a logic. To understand, which new expressive possibilities have the logics Lj and N4 as compared to the explosive logics Li and N3, we study the lattices of extensions of the logics Lj and N4. This is the first case when lattices of paraconsistent logics are systematically investigated. The study is based on algebraic methods, demonstrates the remarkable regularity and the similarity of structures of both lattices of logics, and gives essential information on the paraconsistent nature of logics Lj and N4.The methods developed in this book can be applied for investigation of other classes of paraconsistent logics. 248 pp. Englisch. N° de réf. du vendeur 9789048177448
Acheter neuf
EUR 106,99
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Constructive Negations and Paraconsistency
Edité par
Springer Netherlands, 2010
ISBN 10 : 9048177448
ISBN 13 : 9789048177448
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Is the first book in the field of paraconsistent logic devoted to the study of lattices of logics. Studying not particlar systems but classes of logics is one of the most important features of modern non-classical logicStudies two main concepts of. N° de réf. du vendeur 5821581
Acheter neuf
EUR 92,27
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Constructive Negations and Paraconsistency
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 250. N° de réf. du vendeur 2614418179
Acheter neuf
EUR 142,09
Frais de port :
EUR 3,43
Vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Constructive Negations and Paraconsistency
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. 250 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 11255516
Acheter neuf
EUR 151,30
Frais de port :
EUR 7,44
De Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Constructive Negations and Paraconsistency (Trends in Logic)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 248 pages. 8.90x5.98x0.63 inches. In Stock. N° de réf. du vendeur x-9048177448
Acheter neuf
EUR 150,72
Frais de port :
EUR 11,45
De Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Constructive Negations and Paraconsistency
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 250. N° de réf. du vendeur 1814418185
Acheter neuf
EUR 152,76
Frais de port :
EUR 9,95
De Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Constructive Negations and Paraconsistency
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Constructive Negations and Paraconsistency | Sergei Odintsov | Taschenbuch | vi | Englisch | 2010 | Springer | EAN 9789048177448 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 107220321
Acheter neuf
EUR 95,80
Frais de port :
EUR 70
De Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
Constructive Negations and Paraconsistency
Edité par
Springer Netherlands, Springer Netherlands Nov 2010, 2010
ISBN 10 : 9048177448
ISBN 13 : 9789048177448
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Thetitleofthisbookmentionstheconceptsofparaconsistencyandconstr- tive logic. However, the presented material belongs to the eld of parac- sistency, not to constructive logic. At the level of metatheory, the classical methods are used. We will consider two concepts of negation: the ne- tion as reduction to absurdity and the strong negation. Both concepts were developed in the setting of constrictive logic, which explains our choice of the title of the book. The paraconsistent logics are those, which admit - consistent but non-trivial theories, i. e. , the logics which allow one to make inferences in a non-trivial fashion from an inconsistent set of hypotheses. Logics in which all inconsistent theories are trivial are called explosive. The indicated property of paraconsistent logics yields the possibility to apply them in di erent situations, where we encounter phenomena relevant (to some extent) to the logical notion of inconsistency. Examples of these si- ations are (see [86]): information in a computer data base; various scienti c theories; constitutions and other legal documents; descriptions of ctional (and other non-existent) objects; descriptions of counterfactual situations; etc. The mentioned survey by G. Priest [86] may also be recommended for a rst acquaintance with paraconsistent logic. The study of the paracons- tency phenomenon may be based on di erent philosophical presuppositions (see, e. g. , [87]). At this point, we emphasize only one fundamental aspect of investigations in the eld of paraconsistency. It was noted by D. Nelson in [65, p.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch. N° de réf. du vendeur 9789048177448
Acheter neuf
EUR 106,99
Frais de port :
EUR 60
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)