Combining Conjunction with Disjunction (2005)
| Venue: | Proceedings of the 2nd Indian International Conference on Artificial Intelligence (IICAI 2005 |
| Citations: | 2 - 2 self |
BibTeX
@INPROCEEDINGS{Béziau05combiningconjunction,
author = {Jean-yves Béziau and Marcelo E. Coniglio},
title = {Combining Conjunction with Disjunction},
booktitle = {Proceedings of the 2nd Indian International Conference on Artificial Intelligence (IICAI 2005},
year = {2005},
pages = {1648--1658},
publisher = {IICAI}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. In this paper we address some central problems of combination of logics through the study of a very simple but highly informative case, the combination of the logics of disjunction and conjunction. At first it seems that it would be very easy to combine such logics, but the following problem arises: if we combine these logics in a straightforward way, distributivity holds. On the other hand, distributivity does not arise if we use the usual notion of extension between consequence relations. A detailed discussion about this phenomenon, as well as some possible solutions for it, are given. 1
Citations
| 458 | Lattice Theory - Birkhoff - 1967 |
| 162 | Fibring logics - Gabbay - 1999 |
| 46 | Foundations of mathematical logic - Curry - 1963 |
| 21 | Combining Logics - Caleiro - 2000 |
| 6 | The meta-fibring environment: preservation of meta-properties by fibring - Coniglio - 2005 |
| 5 | Recherches sur la logique universelle - Béziau - 1995 |
| 4 | derived rules, permissible rules and the various types of systems of deduction. PRATICA - Rules - 1999 |
| 4 | Sequents and bivaluations”, Logique et Analyse - BÉZIAU |
| 4 | Fibring of logics as a categorical construction - Sernadas, Sernadas, et al. - 1999 |
| 3 | Logic may be simple - Béziau - 1997 |
| 2 | A paradox in the combination of logics - Béziau - 2004 |
| 2 | Theory of Logical Calculi. Synthese - Wojcicki - 1988 |
| 1 | Sur la vérité logique - Béziau - 1996 |
