Logic and Logical Philosophy, No. 8. Parainconsistency. Part II
Jerzy Perzanowski, Andrzej Pietruszczak
(red.)Dane szczegółowe: | |
Wydawca: | Uniwersytet Mikołaja Kopernika |
Rok wyd.: | 2001 |
Oprawa: | miękka |
Ilość stron: | 205 s. |
Wymiar: | 170x240 mm |
EAN: | 9788323113942 |
ISBN: | 83-231-1394-7 |
ISSN: | 1425-3305 |
Data: | 2001-01-27 |
Opis książki:
Flemish or Adaptive Approach to Paraconsistency Diderik Batens, Towards the Unification of Inconsistency Handling Mechanisms Joke Meheus, On the Acceptance of Problem Solutions Derived from Inconsistent Constraints Guido Vanackere, Preferences as Inconsistency-resolvers. The Inconsistency-Adaptive Logic PRL Kristof de Clercq, Two new Strategies for Inconsistency-Adaptive Logics Logic with Applications Grzegorz Malinowski, Inferential Paraconsistency Yu. V. Ivlev, Quasi-matrix logic as a paraconsistent logic for dubitable information Luis Farinas del Cerro and Olivier Gasquet, Minimal Structures for Modal Tableaux. Some Examples Walter A. Carnielli, Joao Marcos and Sandra de Amo, Formal Inconsistency and Evolutionary Databases Uwe Petermann, On the Practical Value of Herbrand Disjunctions Kazumi Nakamatsu, On the Relation Between Vector Annotated Logic Programs and Defeasible Theories
Książka "Logic and Logical Philosophy, No. 8. Parainconsistency. Part II" - Jerzy Perzanowski, Andrzej Pietruszczak (red.) - oprawa miękka - Wydawnictwo Uniwersytet Mikołaja Kopernika. Książka posiada 205 stron i została wydana w 2001 r.
Spis treści:
Diderik Batens, Towards the Unification of Inconsistency Handling Mechanisms
Joke Meheus, On the Acceptance of Problem Solutions Derived from Inconsistent Constraints
Guido Vanackere, Preferences as Inconsistency-resolvers. The Inconsistency-Adaptive Logic PRL
Kristof de Clercq, Two new Strategies for Inconsistency-Adaptive Logics
Logic with Applications
Grzegorz Malinowski, Inferential Paraconsistency
Yu. V. Ivlev, Quasi-matrix logic as a paraconsistent logic for dubitable information
Luis Farinas del Cerro and Olivier Gasquet, Minimal Structures for Modal Tableaux. Some Examples
Walter A. Carnielli, Joao Marcos and Sandra de Amo, Formal Inconsistency and Evolutionary Databases
Uwe Petermann, On the Practical Value of Herbrand Disjunctions
Kazumi Nakamatsu, On the Relation Between Vector Annotated Logic Programs and Defeasible Theories