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...
63
Antonio Marmo
antonio_marmo
Apr 7, 2004 10:15 am
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 ...
64
antonio_marmo
Apr 7, 2004 10:16 am
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...
65
Manuel Bremer
dxc6812
Apr 8, 2004 11:27 am
Dear Paraconsistents, I have launched a webside containing lectures introducing paraconsistent logics and the philosophical background of paraconsistency. You...
66
Walter Carnielli
carniell@...
Apr 8, 2004 11:31 am
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 ....
67
Joseph Kiniry
kiniry
Apr 8, 2004 2:35 pm
... Coinduction is the (categorical) dual of induction. All of my research group's semantics work, for example, is based upon coalgebras and coinduction. ...
68
Po Ulpes
poulpes2004
Apr 8, 2004 5:05 pm
You should love (if that's not already done...) : Gacs, Dhagat, Spencer, Winkler : On Playing "Twenty Questions" with a Liar ...
69
jaykovf
jaykovf@...
Apr 10, 2004 5:21 pm
Articles for discussion "Foundation of paralogical nonstandard analysis and its application to some famous problems of trigonometrical and orthogonal...
70
antonio_marmo
Apr 10, 2004 5:22 pm
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...
71
antonio_marmo
Apr 10, 2004 5:22 pm
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...
74
Po Ulpes
poulpes2004
Apr 16, 2004 9:38 am
Are you the mathematical side of that phylosophy Antonio ? Best Po ;-°) ... coinduction....
75
antonio_marmo
Apr 19, 2004 11:25 am
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...
76
Po Ulpes
poulpes2004
Apr 27, 2004 11:11 am
Dear Members, I wondered if someone here is aware of connections of PvNP conjecture treated by Inconsistent Logics. Friendly Po ;-°)...
77
Joao Marcos
iiwcp
Apr 28, 2004 5:24 pm
... I can't add much about that, but I have recently noticed that there is a group that is supposed to be discussing this topic: ...
78
Po Ulpes
poulpes2004
Apr 30, 2004 1:20 pm
Dear Marcos, Thanks for the info ! Our group on PvNP conjecture is in a constructing phase, so your suggestions are very welcome : ...
79
Po Ulpes
poulpes2004
May 24, 2004 12:57 pm
Would anyone enjoy to comment the main differences of their approaches (phylosophy) ? Friendly Po ;-°)...
80
Po Ulpes
poulpes2004
May 24, 2004 12:58 pm
Who's interested ? Friendly Po ;-°)...
81
antonio_marmo
Jun 7, 2004 8:39 pm
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...
82
Manuel Bremer
dxc6812
Dec 14, 2004 8:59 pm
Dear Paraconsistents, the text book version of my lectures on paraconsistent logics just appeared as the book "An Introduction to Paraconsistent Logics." It is...
83
tonymarmo
Dec 16, 2004 12:14 pm
Do you have anything in your book about 'Chunk and Permeate'? Thanks for your tip. ... book "An Introduction to Paraconsistent Logics." ... New York and...
84
Joao Marcos
iiwcp
Feb 4, 2005 4:24 pm
[with excuses to those of you who have already received this off-list] Dear Paraconsistentists: Yes, the time is about to come! I will defend my PhD thesis,...
85
tonymarmo
Feb 5, 2005 9:07 pm
I have taken the liberty to post a link to your dissertation in my blog. The entry contains the abstract and can be found here: ...
86
tonymarmo
Feb 22, 2005 12:53 pm
I have some good news to tell to the members of the group. Firstly, I would like to say that João Marcos Defence was a success and that the members of the...
87
Joao Marcos
iiwcp
Mar 4, 2005 7:13 pm
Dear All: A new issue of the Journal of Applied Logic dedicated to paraconsistency, with selected contributions from participants of the Workshop on...
88
Joao Marcos
jm_logica
Jun 22, 2005 2:41 pm
*************************************************** Paraconsistent Newsletter Spring 2005 **************************************************** Car le réel...
89
tonymarmo
Jul 18, 2005 3:36 pm
To those interested in the applications of Paraconsistency to such fields as Linguistics (specially the Semantics of natural languages), you can take a look at...
90
msorfiap2
Sep 19, 2005 6:34 pm
www.geocities.com/mrpprofessional...
91
tonymarmo
Sep 20, 2005 1:12 pm
... I have tried the address above and it hasn't worked....
92
jaykovf
Dec 13, 2005 8:49 pm
Hà a level of metatheory ZFC is inconsistent. The proof of it The unexpected fact, leans on that standard in the theory Models the assumption, that set of...
93
Joao Marcos
jm_logica
Dec 13, 2005 10:42 pm
... From: "BEZIAU Jean-Yves" <jean-yves.beziau@...> To: "COSTA LEITE Alexandre" <alexandre.costa@...> Date: Tue, 13 Dec 2005 21:29:21 +0100 Subject:...
