Page 1 of 5 • 218 total threads
Discussion Threads in sci.logic
218 threads • Page 1 of 5| Thread Subject | Last Message |
|---|---|
|
WHEN DOES [8] + [8] = [12] ?
By: Graham Cooper on Wed, 08 Aug 2012 22:05 |
14 Years 2 Months ago
29 replies |
|
INFALLIBLE SECURITY SYSTEM?
By: Graham Cooper on Mon, 06 Aug 2012 21:20 |
14 Years 3 Months ago
0 replies |
|
Which Makes Most Sense?
By: Prisoner at War on Thu, 14 Dec 2006 15:00 |
19 Years 10 Months ago
23 replies |
|
logic question
By: WARREN GREENWALD on Wed, 06 Jul 2005 16:51 |
21 Years 4 Months ago
10 replies |
|
I think logic is obsolete today . . . . . .
By: Hans-Marc Olsen on Sat, 20 Nov 2004 07:23 |
21 Years 11 Months ago
0 replies |
|
What if you are immune against a minimum of Aluminum ?
By: Karl-Hugo Weesberg on Sat, 23 Oct 2004 07:50 |
22 Years ago
0 replies |
|
Logic tells me that I have no brain !
By: Brian Raab on Mon, 04 Oct 2004 03:11 |
22 Years 1 Month ago
0 replies |
|
Legal 'training' for negative-knowledge ?
By: not on Fri, 21 May 2004 17:59 |
22 Years 5 Months ago
12 replies |
|
Moon Hoax?
By: Don H on Thu, 11 Jul 2002 05:44 |
24 Years ago
46 replies |
|
9/11
By: Don H on Sat, 07 Sep 2002 20:52 |
24 Years 1 Month ago
17 replies |
|
Science - & Mea Culpa?
By: Don H on Wed, 11 Sep 2002 23:15 |
24 Years 2 Months ago
1 replies |
|
logic & software
By: Meirvinne Joachim on Thu, 27 Jan 2000 00:00 |
26 Years 9 Months ago
3 replies |
|
CFP: 3rd Aust. Commonsense Reasoning Workshop, Dec 7 1999, Sydney Australia
By: Maurice Pagnucco on Wed, 21 Jul 1999 00:00 |
27 Years 3 Months ago
0 replies |
|
CFP: 3rd Aust. Commonsense Reasoning Workshop, Dec 5 1999, Sydney Australia
By: Maurice Pagnucco on Tue, 30 Mar 1999 00:00 |
27 Years 7 Months ago
0 replies |
|
Logic Summer School at ANU
By: John K. SLANEY on Fri, 04 Dec 1998 00:00 |
27 Years 11 Months ago
0 replies |
|
Pre-BCK-Algebras
By: Matthew Spinks on Sun, 08 Feb 1998 00:00 |
28 Years 9 Months ago
0 replies |
|
Term rewrite systems for Boolean rings
By: Matthew Spinks on Wed, 10 Sep 1997 00:00 |
29 Years 2 Months ago
0 replies |
|
Book Announcement
By: Gregory J. Chaitin on Sat, 02 Aug 1997 00:00 |
29 Years 3 Months ago
0 replies |
|
KGS Lecture Program
By: Helmut Veith on Fri, 15 Mar 1996 00:00 |
30 Years 8 Months ago
0 replies |
|
Jan 8: H.Hrachovec: 3mal Unvollstaendigkeit
By: Helmut Veith on Thu, 04 Jan 1996 00:00 |
30 Years 10 Months ago
0 replies |
|
May 29: C.Fermueller: Nonelementary Speedups in Tableaux
By: Helmut Veith on Wed, 24 May 1995 00:00 |
31 Years 5 Months ago
0 replies |
|
May 22: J.Krajicek: Propositional Logic and BA
By: Helmut Veith on Mon, 15 May 1995 00:00 |
31 Years 6 Months ago
0 replies |
|
V.Yu.Sazonov: Markov's Principle and P=NP
By: Helmut Veith on Wed, 29 Mar 1995 00:00 |
31 Years 7 Months ago
0 replies |
|
Kurt Goedel Society Lecture Program
By: Helmut Veith on Wed, 15 Mar 1995 14:17 |
31 Years 8 Months ago
0 replies |
|
Maurizio Martelli: Objects in Linear Logic
By: Helmut Veith on Sun, 22 Jan 1995 18:38 |
31 Years 9 Months ago
0 replies |
|
Dec 5: Michael Kohlhase: Mechanization of Strong Kleene Logic for Partial Functions
By: Helmut Veith on Fri, 02 Dec 1994 16:10 |
31 Years 11 Months ago
0 replies |
|
October 25: Pavel Pudlak: Bounded Arithmetic
By: Helmut Veith (gottlob) on Mon, 17 Oct 1994 14:36 |
32 Years ago
0 replies |
|
October 27: J.Casti: Limits to Scientific Knowledge
By: Helmut Veith (gottlob) on Mon, 17 Oct 1994 14:35 |
32 Years ago
0 replies |
|
October 17: Peter Komjath: Universal Graphs
By: Helmut Veith (gottlob) on Mon, 17 Oct 1994 14:31 |
32 Years ago
0 replies |
|
Kurt Goedel Society Lecture Program
By: Helmut Veith (gottlob) on Mon, 17 Oct 1994 14:28 |
32 Years ago
0 replies |
|
June 6: Theorem Proving Evening in Vienna
By: Kurt Goedel Society on Tue, 17 May 1994 12:52 |
32 Years 6 Months ago
0 replies |
|
May 30: Michael Detlefsen: Constructive Existence Claims
By: Kurt Goedel Society on Tue, 17 May 1994 12:52 |
32 Years 6 Months ago
0 replies |
|
Yuri Gurevich: Course Announcement
By: Kurt Goedel Society on Tue, 19 Apr 1994 13:29 |
32 Years 7 Months ago
0 replies |
|
Ivor Grattan-Guinness: Algebraic Logic vs Mathematical Logic
By: Kurt Goedel Society on Tue, 19 Apr 1994 13:28 |
32 Years 7 Months ago
0 replies |
|
Menachem Kojman: 3 Lectures
By: Kurt Goedel Society on Tue, 19 Apr 1994 13:28 |
32 Years 7 Months ago
0 replies |
|
Proof Theory this week at TU Wien
By: Kurt Goedel Society on Fri, 01 Apr 1994 20:16 |
32 Years 7 Months ago
0 replies |
|
Proof Theory, Complexity, Metamathematics
By: Kurt Goedel Society on Mon, 21 Mar 1994 20:34 |
32 Years 7 Months ago
0 replies |
|
Prizes offered for Papers--Bertrand Russell Society
By: John R Lenz on Sun, 14 Nov 1993 02:40 |
33 Years ago
0 replies |
|
Howard Blair: Logic Programming and Degrees of Computability (Lecture)
By: Kurt Goedel Society on Fri, 17 Sep 1993 09:28 |
33 Years 1 Month ago
0 replies |
|
Self-reference.
By: Bill Taylor on Thu, 28 Jan 1993 01:11 |
33 Years 9 Months ago
2 replies |
|
Foundations without foundationalism.
By: Bill Taylor on Wed, 27 Jan 1993 04:04 |
33 Years 9 Months ago
1 replies |
|
Proof Theory reference needed
By: Jan Johannsen on Wed, 27 Jan 1993 10:10 |
33 Years 9 Months ago
1 replies |
|
Temporal logic (re)sources: A summary (900+ lines!)
By: omo ADELAKUN T K on Wed, 27 Jan 1993 14:08 |
33 Years 9 Months ago
0 replies |
|
Propositional calc question
By: Henry Choy on Thu, 21 Jan 1993 22:34 |
33 Years 9 Months ago
0 replies |
|
What is the remodelling rule?
By: I am a terminator. on Thu, 21 Jan 1993 17:28 |
33 Years 9 Months ago
0 replies |
|
Multiple Truth Values
By: Jamie Andrews on Fri, 08 Jan 1993 22:39 |
33 Years 10 Months ago
10 replies |
|
First Text
By: Jake Blues on Tue, 12 Jan 1993 19:09 |
33 Years 10 Months ago
0 replies |
|
UPDATE: 3rd Kurt Goedel Colloquium (LaTeX)
By: Richard Zach on Mon, 11 Jan 1993 20:08 |
33 Years 10 Months ago
0 replies |
|
UPDATE: 3rd Kurt Goedel Colloquium
By: Richard Zach on Mon, 11 Jan 1993 20:06 |
33 Years 10 Months ago
0 replies |
|
Doctrines of Maybe: 7 truth values
By: Amos Omondi on Tue, 05 Jan 1993 02:36 |
33 Years 10 Months ago
0 replies |
Page 1 of 5 • 218 total threads
Thread Navigation
Threads show conversation groups with message counts
Click thread titles to view the full discussion
G to switch to chronological article view