LiU Electronic Press
Full-text not available in DiVA
Author:
Bolc, Leonard (Institute of Computer Science, Polish Academy of Sciences)
Dziewicki, Krzysztof
Rychlik, Piotr
Szalas, Andrzej (University of Warsaw)
Title:
Wnioskowanie w logikach nieklasycznych: Podstawy teoretyczne
Alternative title (en) :
Reasoning in nonclassical logics: Theoretical Foundations
Publication type:
Book (Other academic)
Language:
Polish
Place of publ.: Warsaw Publisher: Academic Pub. PLJ (Akademicka Oficyna Wydawnicza PLJ)
Pages:
247
Year of publ.:
1995
URI:
urn:nbn:se:liu:diva-74982
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-74982
ISBN:
9788371012884
Subject category:
Engineering and Technology
Abstract(pl) :

Prezentowana książka stanowi drugi tom dwutomowej monografii poświeconej wnioskowaniu w logikach nieklasycznych. Opracowanie to obejmuje takie formalizmy jak logiki modalne, logiki wielowartościowe i mechanizmy wnioskowania niemonotonicznego. W pierwszym tomie przedstawione zostały podstawy teoretyczne wnioskowania w wybranych logikach nieklasycznych. Tom drugi poświęcony jest zagadnieniom automatyzacji procesu wnioskowania.

Available from:
2012-02-13
Created:
2012-02-13
Last updated:
2012-02-21
Statistics:
51 hits