ADVANCES IN LOGIC – serie
Visar alla böcker i serien ADVANCES IN LOGIC. Handla med fri frakt och snabb leverans.
5 produkter
ESSAYS ON NON-CLASSICAL LOGIC
Av WANSING HEINRICH, Heinrich Wansing
Inbunden, 2001
1320 kr
Lägg i varukorg
This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence. The problems addressed range from methodological issues in paraconsistent …
FORK ALGEBRAS IN ALGEBRA, LOGIC AND COMPUTER SCIENCE
Inbunden, 2002
1188 kr
Lägg i varukorg
Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This book gives a careful account of …
EXPLANATORY NONMONOTONIC REASONING
Inbunden, 2005
2536 kr
Lägg i varukorg
Many approaches in the field of nonmonotonic and “commonsense” reasoning are actually different representations of the same basic ideas and constructions. This book gives a logical formalization of the original, explanatory approach to nonmonotonic reasoning. It uses the basic formalism of …
FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE
Av Ruy J G B de Queiroz, Anjolina G de Oliveira m. fl.
Inbunden, 2011
1542 kr
Lägg i varukorg
This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an ‘enriched’ system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and …
REASONING ABOUT THEORETICAL ENTITIES
Inbunden, 2003
1121 kr
Tillfälligt slut
Reductionism is one of those philosophical myths that are either enthusiastically embraced or wholeheartedly rejected. And, like all other philosophical myths, it rarely gets serious consideration. Reasoning About Theoretical Entities strives to give reductionism its day in court, as it were, by …
