I want to subscribe your discussion list. Thanks. Ulliana Stefano Via Latisana, 23 33033 Codroipo (Udine) - Italia. Tel. 39-432-900829 Cell. 39-333-3501509 ...
Ulliana Stefano
ulliana1@...
Jan 2, 2004 4:32 pm
52
Dear Ulliana: I am afraid the list is not very active any more- it was at its peak by the occasion of the II World Congress on Paraconsistency, Juquehy,...
Walter Carnielli
carniell@...
Jan 4, 2004 5:30 pm
53
Hi all, I am sorry to take up your time on something remote and that is possibly not 'doable', but I am a postgrad student at the University of Newcastle,...
rugbyfarmboy
rugbyfarmboy@...
Feb 18, 2004 2:17 pm
54
No messages for the year 2003 !!! Who could say the Area is one of the most promising of modern maths... Is anyone aware of links between P v NP &...
I dispute that Logic is a division of Mathematics. Rather, it is Mathematic= s that
seems the application of Logic.
Anyway, your message can be understood as...
SECOND CALL FOR PAPERS Second International Conference on Knowledge Economy and Development of Science and Technology ¡°Knowledge Economy meets Science and...
yuexl
xlyue@...
Mar 29, 2004 5:50 pm
57
That's a very original point of view ! Anyway : `The one who mocks at philosophy is already doing some' Blaise Pascal Friendly Po ;-°) ... Mathematic= ... few...
I would like to make the members of this group a very simple question, which seems to be related to Barwise's work on admissible sets. I have not direct access...
Hi Antonio Marmo: the concept of "hyperelementary" certainly has not to do with paraconssitency. I think it is used to mean different things in different...
Walter Carnielli
carniell@...
Apr 4, 2004 1:28 pm
60
Hyperelementary sets are both inductive and coinductive (Kleene & Spector). It generalize to countable sets but may be false for uncountable sets...
Dear paraconsistency supporters, dear Antonio,
that is my first writing in this group although I'm linked by many time.
I know a little of the Barwise's...
I am not a Logician, although I use Logic in my work. I am familiar with 'inductive', but I do not know what is 'coinductive'. I have also tried to find the...
Dear Gioavanni, Thank you very much. Yeas, this seems to be what I was looking for. It sounds consistent with Glanzberg's use of the term. (It was in a ...
Dear Walter Carnielli and Group Members,
Thank you very much to all those who replied to my post.
As a Linguist my interest in paraconsistency comes from an...
Dear Paraconsistents, I have launched a webside containing lectures introducing paraconsistent logics and the philosophical background of paraconsistency. You...
Dear Manuel: it is a very good idea to launch a website devoted to so many aspects of paraconsistency, and to make public the pre-version of your future book ....
Walter Carnielli
carniell@...
Apr 8, 2004 11:31 am
67
... Coinduction is the (categorical) dual of induction. All of my research group's semantics work, for example, is based upon coalgebras and coinduction. ...
Articles for discussion "Foundation of paralogical nonstandard analysis and its application to some famous problems of trigonometrical and orthogonal...
jaykovf
jaykovf@...
Apr 10, 2004 5:21 pm
70
Dear Po Ulpes,
Thank you very much for your references.
Context, domain, set and scope are notions that linguists do not dispense w= ith.
Yeas, contexts are...
Dear Joseph Kiniry, I am very very happy that so many persons have been so kind to help me! And it has been a good surprise to hear from someone that works...
No, I am the linguistic side of some kinds of philosophy.
At this point I am stuck in the elaboration of my paper on opacity.
I already know that opacity has...
I just want to tell people here that, in order to increase the exchange between linguists and logicians, especially in the area of Paraconsistent studies, I...
Dear Paraconsistents, the text book version of my lectures on paraconsistent logics just appeared as the book "An Introduction to Paraconsistent Logics." It is...