Page 4 of 5 • 233 total threads
Discussion Threads in sci.logic
233 threads • Page 4 of 5| Thread Subject | Last Message |
|---|---|
|
Multiple Valued Logic Conference
By: Richard Zach on Mon, 28 Sep 1992 17:19 |
34 Years 1 Month ago
0 replies |
|
Re: "Solvability" in Chess
By: Ian Sutherland on Sun, 27 Sep 1992 17:43 |
34 Years 1 Month ago
0 replies |
|
How does one formalize "small" mathematical theories?
By: Russell Turpin on Sun, 13 Sep 1992 19:13 |
34 Years 2 Months ago
2 replies |
|
new enigma (#2)
By: Marco Bouchard ETUDIANT sept-dec... on Wed, 09 Sep 1992 15:14 |
34 Years 2 Months ago
4 replies |
|
ASL membership roster
By: H. Enderton on Mon, 14 Sep 1992 22:01 |
34 Years 2 Months ago
0 replies |
|
First Order Tense Logics
By: Andrew Tristan on Fri, 11 Sep 1992 23:37 |
34 Years 2 Months ago
0 replies |
|
infinite state automaton
By: Leslie Burkholder on Wed, 02 Sep 1992 21:25 |
34 Years 2 Months ago
4 replies |
|
Set Theory and Theology
By: Randall Holmes on Tue, 08 Sep 1992 20:48 |
34 Years 2 Months ago
3 replies |
|
Sorted Quantification
By: Harmen van den Berg on Wed, 09 Sep 1992 10:12 |
34 Years 2 Months ago
0 replies |
|
enigma
By: Marco Bouchard ETUDIANT sept-dec... on Fri, 04 Sep 1992 14:50 |
34 Years 2 Months ago
2 replies |
|
Re: infinite state automaton
By: David Gudeman on Tue, 08 Sep 1992 19:59 |
34 Years 2 Months ago
0 replies |
|
Set of all sets + correcting MZ's syntax
By: ziane mikal - on Thu, 03 Sep 1992 17:25 |
34 Years 2 Months ago
6 replies |
|
Linear Temporal Logic verifiers generating counterexamples??
By: Larry Augustin on Sat, 05 Sep 1992 00:18 |
34 Years 2 Months ago
0 replies |
|
Synchonizing watches
By: Doug Stevens on Tue, 01 Sep 1992 23:44 |
34 Years 2 Months ago
2 replies |
|
AMAST'93 Call for Papers (latex)
By: Pippo Scollo on Fri, 04 Sep 1992 15:28 |
34 Years 2 Months ago
0 replies |
|
AMAST'93 Call for Papers
By: Pippo Scollo on Fri, 04 Sep 1992 15:27 |
34 Years 2 Months ago
0 replies |
|
Logics for empirical science.
By: Theodor Gemenis on Mon, 31 Aug 1992 14:22 |
34 Years 2 Months ago
2 replies |
|
Alice some more
By: Daniel Mutch on Sun, 30 Aug 1992 22:31 |
34 Years 2 Months ago
0 replies |
|
Modal logic
By: naturman on Fri, 28 Aug 1992 09:40 |
34 Years 2 Months ago
1 replies |
|
Axioms for *Skolem* arithmetic
By: Zach R on Thu, 27 Aug 1992 16:23 |
34 Years 2 Months ago
0 replies |
|
Logic Programming as an Introductory Programming Paradigm
By: Gopal Gupta on Wed, 26 Aug 1992 15:45 |
34 Years 2 Months ago
0 replies |
|
The poor parachutist...
By: Livy on Tue, 18 Aug 1992 13:12 |
34 Years 2 Months ago
10 replies |
|
Non-standard integers.
By: Bill Taylor on Mon, 17 Aug 1992 02:10 |
34 Years 3 Months ago
4 replies |
|
New Scientist 21 Mar 92
By: Thorsten Altenkirch on Tue, 18 Aug 1992 14:03 |
34 Years 3 Months ago
1 replies |
|
Presburger arithmetic axiomatization
By: Jamie Andrews on Thu, 13 Aug 1992 20:19 |
34 Years 3 Months ago
4 replies |
|
Value Judgments
By: Michael Zeleny on Mon, 17 Aug 1992 20:23 |
34 Years 3 Months ago
0 replies |
|
sorted (typed) logic
By: Harmen van den Berg on Mon, 17 Aug 1992 11:04 |
34 Years 3 Months ago
0 replies |
|
ZFC+~Con(ZFC)
By: Timothy Y. Chow on Sun, 16 Aug 1992 00:07 |
34 Years 3 Months ago
1 replies |
|
CFP GI/ITG-Workshop (German)
By: Thomas Kropf on Fri, 14 Aug 1992 07:16 |
34 Years 3 Months ago
0 replies |
|
Logic Minimization
By: CHAN HENRY on Wed, 12 Aug 1992 17:13 |
34 Years 3 Months ago
0 replies |
|
Question about Intuitionistic/Constructive logics
By: Sanjiva Prasad on Wed, 12 Aug 1992 11:07 |
34 Years 3 Months ago
0 replies |
|
SUMMARY: Sequents for modal logic
By: Koen Versmissen on Mon, 10 Aug 1992 14:42 |
34 Years 3 Months ago
0 replies |
|
Is There a Set of All Truths?
By: Marko Amnell on Thu, 06 Aug 1992 16:03 |
34 Years 3 Months ago
0 replies |
|
Source on types
By: Joseph Dzikiewicz on Wed, 05 Aug 1992 17:12 |
34 Years 3 Months ago
0 replies |
|
unexpected examination
By: Thomas Forster on Tue, 28 Jul 1992 14:00 |
34 Years 3 Months ago
0 replies |
|
Wanted Knuth-Bendix algorithm and/or other programs for word problems
By: Daniel Mahler on Tue, 28 Jul 1992 09:11 |
34 Years 3 Months ago
0 replies |
|
Equivalence of Strong completeness and categoricity
By: Jean-Marc Alliot on Wed, 22 Jul 1992 20:58 |
34 Years 3 Months ago
3 replies |
|
Manipulating logical expressions...
By: Alvaro Monge on Sat, 25 Jul 1992 00:01 |
34 Years 3 Months ago
0 replies |
|
quantifier elimination
By: Mahadevan Subramaniam on Fri, 24 Jul 1992 15:10 |
34 Years 3 Months ago
1 replies |
|
Kleene 3-valued logic
By: Fabio Casablanca on Sat, 18 Jul 1992 05:48 |
34 Years 3 Months ago
2 replies |
|
inconsistent proofs
By: Tony Dale on Tue, 21 Jul 1992 17:28 |
34 Years 3 Months ago
0 replies |
|
Minimisation of boolean functions
By: schweizer on Tue, 21 Jul 1992 14:35 |
34 Years 3 Months ago
0 replies |
|
Tarski and Hilbert's 10th
By: Kevin Ruland on Fri, 17 Apr 1992 00:07 |
34 Years 7 Months ago
0 replies |
|
(SUMMARY) Geometry/Topology and Predicate Logic
By: Daryl Herbert Graf on Wed, 15 Apr 1992 18:32 |
34 Years 7 Months ago
0 replies |
|
modal set theory
By: Jack Campin on Mon, 13 Apr 1992 19:24 |
34 Years 7 Months ago
1 replies |
|
Re: Set theory and modal logic
By: Michael Carroll on Fri, 10 Apr 1992 23:46 |
34 Years 7 Months ago
0 replies |
|
Relevance logics
By: Joshua D. Guttman on Fri, 10 Apr 1992 21:13 |
34 Years 7 Months ago
0 replies |
|
Re: Set theory and modal logic
By: Michael Carroll on Fri, 10 Apr 1992 01:37 |
34 Years 7 Months ago
0 replies |
|
UCLA Logic Colloquium, April 17
By: H. Enderton on Thu, 09 Apr 1992 15:54 |
34 Years 7 Months ago
0 replies |
|
Publicly available logic problem sets
By: Anthony Bloesch on Wed, 08 Apr 1992 22:49 |
34 Years 7 Months ago
0 replies |
Page 4 of 5 • 233 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