Gør som tusindvis af andre bogelskere
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.Du kan altid afmelde dig igen.
- Provides a uniform generalized theory of explanatory nonmonotonic reasoning- Focuses on the logical, monotonic basis of nonmonotonic reasoning- Shifts attention to some relatively recent, non-epistemic approaches to explanatory nonmonotonic reasoning
By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, this book allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems.
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.