|
| volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 1 van 4 gevonden artikelen
| Titel: |
Nonmonotonic Proof Systems: Algebraic Foundations |
| Auteur: |
Sujata Ghosh Mihir Kr. Chakraborty |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 59 (2004) nr. 1 pagina's 39-65 |
| Jaar: |
2004-09-10 |
| Inhoud: |
A general framework for the algebraization of a category of nonmonotonic logics has been suggested. This method has been applied to the systems of Gabbay, and to Cumulative, Preferential and Ranked systems. The minimal logics required to serve as the base logics for the above systems are investigated. MAK triples and KLM triples are formed in ways similar to MAK models and KLM models but now on the algebraic structures for the nonmonotonic systems, thereby a new type of semantics is given to these systems. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 4 gevonden artikelen
| volgende >> |