🚀 go-pugleaf

Re: logic question
By: Babylonian on Wed, 06 Jul 2005 17:10

Re: logic question
By: odin on Wed, 06 Jul 2005 17:05

Re: logic question
By: odin on Wed, 06 Jul 2005 17:03

Re: logic question
By: odin on Wed, 06 Jul 2005 17:00

Re: logic question
By: odin on Wed, 06 Jul 2005 17:01

Re: logic question
By: odin on Wed, 06 Jul 2005 17:02

logic question
By: WARREN GREENWALD on Wed, 06 Jul 2005 16:51

the sound & theory of arithmetic
By: 1treePetrifiedForestLane on Fri, 14 Jun 2013 00:24

Re: Sound, semantically complete, categorical theory of arithmetic
By: BruceS on Thu, 13 Jun 2013 14:09

Re: Sound, semantically complete, categorical theory of arithmetic
By: Graham Cooper on Thu, 13 Jun 2013 08:53

Re: Sound, semantically complete, categorical theory of arithmetic
By: BruceS on Wed, 12 Jun 2013 15:43

Re: Fishing Expeditions
By: Greegor on Wed, 12 Jun 2013 06:46

Re: Fishing Expeditions
By: Graham Cooper on Tue, 11 Jun 2013 23:22

Re: Sound, semantically complete, categorical theory of arithmetic
By: Graham Cooper on Tue, 11 Jun 2013 21:47

Re: Sound, semantically complete, categorical theory of arithmetic
By: BruceS on Tue, 11 Jun 2013 21:38

Re: Sound, semantically complete, categorical theory of arithmetic
By: Graham Cooper on Tue, 11 Jun 2013 19:57

Re: Sound, semantically complete, categorical theory of arithmetic
By: BruceS on Tue, 11 Jun 2013 16:10

Re: Sound, semantically complete, categorical theory of arithmetic
By: Graham Cooper on Tue, 11 Jun 2013 00:50

INFALLIBLE SECURITY SYSTEM?
By: Graham Cooper on Mon, 06 Aug 2012 21:20

Re: Set Theorists use EXTENSIONALITY ..... Logic Programmers UNIFY!
By: Graham Cooper on Thu, 13 Jun 2013 08:47

Re: Set Theorists use EXTENSIONALITY ..... Logic Programmers UNIFY!
By: Jan Burse on Thu, 13 Jun 2013 08:30

Re: Set Theorists use EXTENSIONALITY ..... Logic Programmers UNIFY!
By: Jan Burse on Thu, 13 Jun 2013 07:54

Re: Set Theorists use EXTENSIONALITY ..... Logic Programmers UNIFY!
By: Graham Cooper on Thu, 13 Jun 2013 06:46

Re: logic & software
By: Piotr Rudnicki on Thu, 10 Feb 2000 00:00

Re: logic & software
By: H. Enderton on Sun, 30 Jan 2000 00:00

Re: logic & software
By: Joachim on Thu, 27 Jan 2000 00:00

logic & software
By: Meirvinne Joachim on Thu, 27 Jan 2000 00:00

CFP: 3rd Aust. Commonsense Reasoning Workshop, Dec 5 1999, Sydney Australia
By: Maurice Pagnucco on Tue, 30 Mar 1999 00:00

CFP: 3rd Aust. Commonsense Reasoning Workshop, Dec 7 1999, Sydney Australia
By: Maurice Pagnucco on Wed, 21 Jul 1999 00:00

Re: K.Auinger: Jan 23: Albegras without finitely based equational theories
By: Michel Eytan on Wed, 25 Jan 1995 17:49

Maurizio Martelli: Objects in Linear Logic
By: Helmut Veith on Sun, 22 Jan 1995 18:38

Dec 5: Michael Kohlhase: Mechanization of Strong Kleene Logic for Partial Functions
By: Helmut Veith on Fri, 02 Dec 1994 16:10

October 17: Peter Komjath: Universal Graphs
By: Helmut Veith (gottlob) on Mon, 17 Oct 1994 14:31

Kurt Goedel Society Lecture Program
By: Helmut Veith (gottlob) on Mon, 17 Oct 1994 14:28

October 25: Pavel Pudlak: Bounded Arithmetic
By: Helmut Veith (gottlob) on Mon, 17 Oct 1994 14:36

October 27: J.Casti: Limits to Scientific Knowledge
By: Helmut Veith (gottlob) on Mon, 17 Oct 1994 14:35

June 6: Theorem Proving Evening in Vienna
By: Kurt Goedel Society on Tue, 17 May 1994 12:52

May 30: Michael Detlefsen: Constructive Existence Claims
By: Kurt Goedel Society on Tue, 17 May 1994 12:52

Yuri Gurevich: Course Announcement
By: Kurt Goedel Society on Tue, 19 Apr 1994 13:29

Ivor Grattan-Guinness: Algebraic Logic vs Mathematical Logic
By: Kurt Goedel Society on Tue, 19 Apr 1994 13:28

Menachem Kojman: 3 Lectures
By: Kurt Goedel Society on Tue, 19 Apr 1994 13:28

Proof Theory this week at TU Wien
By: Kurt Goedel Society on Fri, 01 Apr 1994 20:16

Proof Theory, Complexity, Metamathematics
By: Kurt Goedel Society on Mon, 21 Mar 1994 20:34

Howard Blair: Logic Programming and Degrees of Computability (Lecture)
By: Kurt Goedel Society on Fri, 17 Sep 1993 09:28

May 29: C.Fermueller: Nonelementary Speedups in Tableaux
By: Helmut Veith on Wed, 24 May 1995 00:00

V.Yu.Sazonov: Markov's Principle and P=NP
By: Helmut Veith on Wed, 29 Mar 1995 00:00

KGS Lecture Program
By: Helmut Veith on Fri, 15 Mar 1996 00:00

May 22: J.Krajicek: Propositional Logic and BA
By: Helmut Veith on Mon, 15 May 1995 00:00

Kurt Goedel Society Lecture Program
By: Helmut Veith on Wed, 15 Mar 1995 14:17

Jan 8: H.Hrachovec: 3mal Unvollstaendigkeit
By: Helmut Veith on Thu, 04 Jan 1996 00:00

Re: Gudeman's major
By: Aaron Watters on Mon, 12 Feb 1990 12:40

Re: Reasons why you don't prove your programs are correct
By: Gene W. Smith on Thu, 11 Jan 1990 10:59

Turing's World vs. the ATMS
By: Mr Jack Campin on Fri, 01 Jul 1988 15:17

Fermats Last Theorem
By: Wolfgang Degen on Wed, 04 May 1988 11:26

British Association of Logicians
By: Mr Jack Campin on Mon, 18 Apr 1988 10:37

Re: Wanted: "Introduction to Metamathematics"
By: Martin Carroll on Thu, 07 Apr 1988 03:41

Wanted: "Introduction to Metamathematics"
By: Kenneth Cline on Tue, 05 Apr 1988 20:52

Which Makes Most Sense?
By: Prisoner at War on Thu, 14 Dec 2006 15:00

Re: Which Makes Most Sense?
By: Peter T. Daniels on Thu, 21 Dec 2006 13:50

Re: Which Makes Most Sense?
By: Arne Dehli Halvorsen on Thu, 21 Dec 2006 07:45

Re: Which Makes Most Sense?
By: Peter T. Daniels on Thu, 21 Dec 2006 03:34

Re: Which Makes Most Sense?
By: Barb Knox on Thu, 21 Dec 2006 03:29

Re: Which Makes Most Sense?
By: Peter T. Daniels on Sat, 16 Dec 2006 04:31

Re: Which Makes Most Sense?
By: Colin Fine on Sat, 16 Dec 2006 00:28

Re: Which Makes Most Sense?
By: Colin Fine on Sat, 16 Dec 2006 00:24

Re: Which Makes Most Sense?
By: Barbara Bailey on Fri, 15 Dec 2006 21:43

Re: Which Makes Most Sense?
By: Peter T. Daniels on Fri, 15 Dec 2006 20:52

Re: Which Makes Most Sense?
By: Prisoner at War on Fri, 15 Dec 2006 20:30

Re: Which Makes Most Sense?
By: Prisoner at War on Fri, 15 Dec 2006 20:25

Re: Which Makes Most Sense?
By: Barbara Bailey on Fri, 15 Dec 2006 20:16

Re: Which Makes Most Sense?
By: Prisoner at War on Fri, 15 Dec 2006 20:16

Re: Which Makes Most Sense?
By: Peter T. Daniels on Fri, 15 Dec 2006 20:13

Re: Which Makes Most Sense?
By: Frederick Williams on Fri, 15 Dec 2006 17:49

Re: Which Makes Most Sense?
By: Prisoner at War on Fri, 15 Dec 2006 17:39

Re: Which Makes Most Sense?
By: Prisoner at War on Fri, 15 Dec 2006 16:31

Re: Which Makes Most Sense?
By: Prisoner at War on Fri, 15 Dec 2006 16:14

Re: Which Makes Most Sense?
By: Prisoner at War on Fri, 15 Dec 2006 16:06

Re: Which Makes Most Sense?
By: Peacenik on Fri, 15 Dec 2006 02:19

Re: Which Makes Most Sense?
By: Flying Tortoise on Thu, 14 Dec 2006 20:42

Re: Which Makes Most Sense?
By: Herman Rubin on Thu, 14 Dec 2006 19:00

Re: Which Makes Most Sense?
By: Colin Fine on Thu, 14 Dec 2006 15:41

Re: Multiple Truth Values
By: Vaughan R. Pratt on Wed, 13 Jan 1993 05:17

Re: Multiple Truth Values
By: Vaughan R. Pratt on Wed, 13 Jan 1993 05:08

Re: Multiple Truth Values
By: Charles R. Martin on Tue, 12 Jan 1993 19:30

Re: Multiple Truth Values
By: Angus H Rodgers on Tue, 12 Jan 1993 22:43

Re: Multiple Truth Values
By: Torkel Franzen on Tue, 12 Jan 1993 22:29

Re: Multiple Truth Values
By: Russell Turpin on Tue, 12 Jan 1993 21:32

Re: Multiple Truth Values
By: Vaughan R. Pratt on Tue, 12 Jan 1993 20:15

First Text
By: Jake Blues on Tue, 12 Jan 1993 19:09

Re: Multiple Truth Values
By: Torkel Franzen on Tue, 12 Jan 1993 10:07

Re: Multiple Truth Values
By: Vaughan R. Pratt on Tue, 12 Jan 1993 09:44

Re: Multiple Truth Values
By: Vaughan R. Pratt on Tue, 12 Jan 1993 08:39

Re: Multiple Truth Values
By: Ivo Duentsch on Tue, 12 Jan 1993 07:24

Re: Multiple Truth Values
By: Vaughan R. Pratt on Tue, 12 Jan 1993 07:31

Re: Multiple Truth Values
By: Mikhail Zeleny on Tue, 12 Jan 1993 01:34

Re: Multiple Truth Values
By: John C. Baez on Tue, 12 Jan 1993 01:08

UPDATE: 3rd Kurt Goedel Colloquium (LaTeX)
By: Richard Zach on Mon, 11 Jan 1993 20:08

UPDATE: 3rd Kurt Goedel Colloquium
By: Richard Zach on Mon, 11 Jan 1993 20:06

Re: Multiple Truth Values
By: Vaughan R. Pratt on Mon, 11 Jan 1993 20:03

Re: Multiple Truth Values
By: Angus H Rodgers on Mon, 11 Jan 1993 19:52

Re: Multiple Truth Values
By: Angus H Rodgers on Mon, 11 Jan 1993 19:47

Re: Doctrines of Maybe: 7 truth values
By: Falko Spiller on Mon, 11 Jan 1993 19:04

Re: Proof Theory reference needed
By: W.Jose Castrellon G. on Thu, 28 Jan 1993 04:50

Re: Product of sites
By: sjv on Mon, 11 Jan 1993 12:58

Re: Self-reference.
By: Randall Holmes on Thu, 28 Jan 1993 14:25

Re: Multiple Truth Values
By: Robert A. G. Seely on Mon, 11 Jan 1993 02:20

Re: Self-reference.
By: Torkel Franzen on Thu, 28 Jan 1993 16:50

Re: Multiple Truth Values
By: Mikhail Zeleny on Mon, 11 Jan 1993 00:12

Re: Multiple Truth Values
By: Robert A. G. Seely on Sun, 10 Jan 1993 22:57

Re: Foundations without foundationalism.
By: Bob Riemenschneider on Thu, 28 Jan 1993 13:19

Re: Multiple Truth Values
By: Mikhail Zeleny on Sun, 10 Jan 1993 20:13

Proof Theory reference needed
By: Jan Johannsen on Wed, 27 Jan 1993 10:10

Re: Multiple Truth Values
By: Vaughan R. Pratt on Sun, 10 Jan 1993 00:52

Self-reference.
By: Bill Taylor on Thu, 28 Jan 1993 01:11

Re: Multiple Truth Values
By: Charles R. Martin on Sat, 09 Jan 1993 17:46

Temporal logic (re)sources: A summary (900+ lines!)
By: omo ADELAKUN T K on Wed, 27 Jan 1993 14:08

Re: Multiple Truth Values
By: Angus H Rodgers on Sat, 09 Jan 1993 19:18

Re: Multiple Truth Values
By: Vaughan R. Pratt on Sat, 09 Jan 1993 18:53

Foundations without foundationalism.
By: Bill Taylor on Wed, 27 Jan 1993 04:04

Re: Definitive temporal logic source
By: Gavan Tredoux on Mon, 25 Jan 1993 22:38

Re: Multiple Truth Values
By: Ed Turner on Sat, 09 Jan 1993 05:36

Re: Definitive temporal logic source
By: Ian A. Mason on Tue, 26 Jan 1993 00:05

Multiple Truth Values
By: Jamie Andrews on Fri, 08 Jan 1993 22:39

Re: Definitive temporal logic source
By: Chris Menzel on Mon, 25 Jan 1993 23:08

Re: Doctrines of Maybe: 7 truth values
By: Gary Merrill on Fri, 08 Jan 1993 16:32

Re: Definitive temporal logic source
By: Randall Holmes on Mon, 25 Jan 1993 17:42

Re: An Ethical Metaquestion, or a meta-Ethical Question
By: Mikhail Zeleny on Fri, 22 Jan 1993 18:54

Re: Expression
By: Russell Turpin on Wed, 06 Jan 1993 17:38