On cze 5, 2007, at 00:18, Lukasz Stafiniak wrote:
Speaking of logical approaches to AGI... :-)
http://www.thinkartlab.com/pkl/
Luk … I didn’t find any interesting in PCL
It’s well know that logician research the common features of a wide
variety of logics for many years: from classical Lindenbaum's extension
lemma and Tarski's approaches (logic as a consequence operator or model
theory which was developed via the kind of universal algebra to
Suszko’s abstract logic and now >>> Beziau’s logica universalis
http://springerlink.com/content/t22665107512/?
p=220ac5182a5840c696be8bc68369d81d&pi=0
We are focus on the general logic in the sense of the study of common
structures of logics.
You can find very interesting techniques in this field: translations,
embeddings, fibring, combining logics.
Robert B. Lisek
-----
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change your options, please go to:
http://v2.listbox.com/member/?&
-----
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change your options, please go to:
http://v2.listbox.com/member/?member_id=231415&user_secret=e9e40a7e