🚀 go-pugleaf

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

Propositional calc question
By: Henry Choy on Thu, 21 Jan 1993 22:34

Doctrines of Maybe: 7 truth values
By: Amos Omondi on Tue, 05 Jan 1993 02:36

Joining ASL
By: H. Enderton on Mon, 04 Jan 1993 17:16

What is the remodelling rule?
By: I am a terminator. on Thu, 21 Jan 1993 17:28

Re: recursive definitions and paradoxes
By: Chris Menzel on Tue, 24 Nov 1992 05:38

Re: Do completed infinite totalities exist? Was: Lowneheim-Skolem theorem
By: Bill Taylor on Tue, 24 Nov 1992 02:17

Re: Looking for proof checking/building software for teaching
By: Hardy Hulley on Mon, 23 Nov 1992 23:43

Re: recursive definitions and paradoxes
By: Frank Adams on Mon, 23 Nov 1992 19:58

Re: Lowneheim-Skolem theorem
By: Ian Sutherland on Mon, 23 Nov 1992 22:36

Re: Why Logic?
By: Jamie Andrews on Mon, 23 Nov 1992 20:46

Looking for proof checking/building software for teaching
By: S.J.Thompson on Mon, 23 Nov 1992 20:06

Re: recursive definitions and paradoxes
By: David Gudeman on Mon, 23 Nov 1992 20:22

Re: recursive definitions and paradoxes
By: Frank Adams on Mon, 23 Nov 1992 16:33

Re: Logic and Mathematicians
By: Frank Adams on Mon, 23 Nov 1992 16:14

Truth and large cardinals (was: Lowenheim-Skolem theorem)
By: Michael Weiss on Mon, 23 Nov 1992 14:11

Re: Feyerabend, Kuhn, Lakatos, and Popper one school? (was re: Natural Kinds)
By: Antoni Diller on Mon, 23 Nov 1992 18:08

Re: Do completed infinite totalities exist? Was: Lowneheim-Skolem theorem
By: Paul Budnik on Mon, 23 Nov 1992 17:17

Re: Lowneheim-Skolem theorem (was: Continuos vs. discrete models)
By: Paul Budnik on Mon, 23 Nov 1992 16:38

Re: recursive definitions and paradoxes
By: Gary Merrill on Mon, 23 Nov 1992 15:54

Re: Recursive Functions
By: Gary Merrill on Mon, 23 Nov 1992 15:50

Re: recursive definitions and paradoxes
By: Gary Merrill on Mon, 23 Nov 1992 15:48

Re: Why Logic?
By: Joshua D. Guttman on Mon, 23 Nov 1992 15:40

Re: Will a mathematician locked up in a little room be happy?
By: Antoni Diller on Mon, 23 Nov 1992 15:59

Re: recursive definitions and paradoxes
By: Brendan Mahony on Mon, 23 Nov 1992 01:26

Re: Do completed infinite totalities exist? Was: Lowneheim-Skolem theorem
By: Torkel Franzen on Sun, 22 Nov 1992 22:12

Re: recursive definitions and paradoxes
By: David Gudeman on Sun, 22 Nov 1992 21:05

Re: Why Logic?
By: Charles R. Martin on Sun, 22 Nov 1992 20:23

Re: Do completed infinite totalities exist? Was: Lowneheim-Skolem theorem
By: Paul Budnik on Sun, 22 Nov 1992 18:23

Re: Do completed infinite totalities exist? Was: Lowneheim-Skolem theorem
By: Torkel Franzen on Sun, 22 Nov 1992 10:55

Re: Do completed infinite totalities exist? Was: Lowneheim-Skolem theorem
By: Richard Harter on Sun, 22 Nov 1992 07:47

Re: Logic and Mathematicians
By: Florian Lengyel on Sat, 21 Nov 1992 18:52

Recommendations sought
By: Stan Yi-Huang Liao on Sat, 02 Jan 1993 22:32

Re: recursive definitions and paradoxes
By: Bob Riemenschneider on Sat, 21 Nov 1992 17:40

Re: What is a property? (was: No Reification Here)
By: Randall Holmes on Wed, 30 Dec 1992 19:05

Re: Why Logic?
By: Vaughan R. Pratt on Sun, 22 Nov 1992 01:42

Re: What is a property? (was: No Reification Here
By: Jamie on Wed, 30 Dec 1992 17:59

Re: recursive definitions and paradoxes
By: Frank Adams on Sat, 21 Nov 1992 23:05

Re: Why invalid?
By: W.Jose Castrellon G. on Sat, 21 Nov 1992 19:58

Recursive Functions
By: Asmawi Mohamad on Sat, 21 Nov 1992 19:20

Re: Do completed infinite totalities exist? Was: Lowneheim-Skolem theorem
By: Torkel Franzen on Sat, 21 Nov 1992 18:54

Re: recursive definitions and paradoxes
By: David Gudeman on Sat, 21 Nov 1992 17:58

Re: Do completed infinite totalities exist? Was: Lowneheim-Skolem theorem
By: Paul Budnik on Sat, 21 Nov 1992 16:49

Re: Lowneheim-Skolem theorem
By: Paul Budnik on Sat, 21 Nov 1992 16:08

Re: recursive definitions and paradoxes
By: Chris Menzel on Fri, 20 Nov 1992 21:08

Re: Why Logic?
By: Joshua D. Guttman on Thu, 19 Nov 1992 17:07

Re: recursive definitions and paradoxes
By: David Gudeman on Sat, 21 Nov 1992 01:52

Re: recursive definitions and paradoxes
By: Gary Merrill on Fri, 20 Nov 1992 20:19

Re: recursive definitions and paradoxes
By: Gary Merrill on Fri, 20 Nov 1992 19:12

Re: Do completed infinite totalities exist? Was: Lowneheim-Skolem theorem
By: Torkel Franzen on Fri, 20 Nov 1992 15:06

Re: recursive definitions and paradoxes
By: David Gudeman on Fri, 20 Nov 1992 17:46

Re: recursive definitions and paradoxes
By: Vaughan R. Pratt on Fri, 20 Nov 1992 17:52

Re: recursive definitions and paradoxes
By: David Gudeman on Fri, 20 Nov 1992 17:30

Re: Why Logic?
By: Charles R. Martin on Fri, 20 Nov 1992 15:57

Re: Do completed infinite totalities exist? Was: Lowneheim-Skolem theorem
By: Paul Budnik on Fri, 20 Nov 1992 16:40

Re: recursive definitions and paradoxes
By: Randall Holmes on Fri, 20 Nov 1992 15:57

Re: What is Computer Science (was: Natural Kinds)
By: Gary Merrill on Fri, 20 Nov 1992 15:20

Re: Why Logic?
By: Klaus Gaarder FNI on Fri, 20 Nov 1992 10:18

Re: Logic and Mathematicians
By: Michael Zeleny on Fri, 20 Nov 1992 04:09

Re: What is Computer Science (was: Natural Kinds)
By: Stephen J Bevan on Thu, 19 Nov 1992 19:52

Re: Why invalid?
By: Bill Taylor on Fri, 20 Nov 1992 03:15

Re: implication truth table
By: Vaughan R. Pratt on Thu, 19 Nov 1992 22:30

Re: recursive definitions and paradoxes
By: Gary Merrill on Thu, 19 Nov 1992 21:37

Re: recursive definitions and paradoxes
By: Vaughan R. Pratt on Thu, 19 Nov 1992 21:50

Re: implication truth table
By: Gavan Tredoux on Thu, 19 Nov 1992 19:56

recursive definitions and paradoxes
By: David Gudeman on Thu, 19 Nov 1992 20:16

Re: Do completed infinite totalities exist? Was: Lowneheim-Skolem theorem
By: Torkel Franzen on Thu, 19 Nov 1992 19:10

Do completed infinite totalities exist? Was: Lowneheim-Skolem theorem
By: Paul Budnik on Thu, 19 Nov 1992 17:53

Re: Logic and Mathematicians
By: victor yodaiken on Thu, 19 Nov 1992 16:56

Re: Self-Reference and Paradox (was Re: Human intelligence...)
By: Michael Lee on Thu, 19 Nov 1992 09:01

Mathegenesis
By: Richard Harter on Thu, 19 Nov 1992 06:16

Re: Why Logic?
By: Charles R. Martin on Thu, 19 Nov 1992 03:12

Re: implication truth table
By: Torkel Franzen on Wed, 18 Nov 1992 16:57

Re: Why Logic?
By: Klaus Gaarder FNI on Wed, 18 Nov 1992 14:47

Re: implication truth table
By: Klaus Gaarder FNI on Wed, 18 Nov 1992 14:39

Re: Why Logic?
By: Klaus Gaarder TFI on Wed, 18 Nov 1992 14:24

Re: implication truth table
By: Gary Merrill on Wed, 18 Nov 1992 13:49

Re: What is Computer Science (was: Natural Kinds)
By: Gary Merrill on Wed, 18 Nov 1992 13:42

Re: implication truth table
By: Torkel Franzen on Wed, 18 Nov 1992 09:09

Re: What is Computer Science (was: Natural Kinds)
By: Stephen J Bevan on Tue, 17 Nov 1992 14:49

Re: Programs for simple logic proofs: where are they?
By: Tim Clement on Tue, 17 Nov 1992 14:18

Re: Why Logic?
By: Bill Taylor on Wed, 18 Nov 1992 01:55

Paradoxical Slogan
By: Peter Reintjes on Wed, 18 Nov 1992 01:28

Re: implication truth table
By: John McLean on Tue, 17 Nov 1992 21:25

Re: Self-Reference and Paradox (was Re: Human i
By: John McLean on Tue, 17 Nov 1992 20:39