sci.logic
- ILLC Research Reports and Technical Notes 2006,
Marco Vervoort,P.315,+31 20 525 6519,,
- Eureka! Russell's set exists!!,
Newberry
- Chapter Two of Logic Algebra was released today,
Conbra
- x = x, and the failure of proof,
John Jones
- Existence, Self-identity and Uniqueness.,
Owen
- Re: Existence, Self-identity and Uniqueness.,
Jan Burse
- Re: Existence, Self-identity and Uniqueness.,
William Elliot
- Re: Existence, Self-identity and Uniqueness.,
Jan Burse
- Re: Existence, Self-identity and Uniqueness.,
William Elliot
- Re: Existence, Self-identity and Uniqueness.,
Jan Burse
- Re: Existence, Self-identity and Uniqueness.,
Jan Burse
- Re: Existence, Self-identity and Uniqueness.,
William Elliot
- Re: Existence, Self-identity and Uniqueness.,
William Elliot
- Re: Existence, Self-identity and Uniqueness.,
Jan Burse
- Re: Existence, Self-identity and Uniqueness.,
William Elliot
- Re: Existence, Self-identity and Uniqueness.,
Owen
- Re: Existence, Self-identity and Uniqueness.,
Jan Burse
- Re: Existence, Self-identity and Uniqueness.,
Owen
- Re: Existence, Self-identity and Uniqueness.,
Jan Burse
- Re: Existence, Self-identity and Uniqueness.,
Chris Menzel
- Re: Existence, Self-identity and Uniqueness.,
Jan Burse
- Re: Existence, Self-identity and Uniqueness.,
Jan Burse
- Re: Existence, Self-identity and Uniqueness.,
Chris Menzel
- Re: Existence, Self-identity and Uniqueness.,
Owen
- Re: Existence, Self-identity and Uniqueness.,
Owen
- Re: Existence, Self-identity and Uniqueness.,
Jan Burse
- Re: Existence, Self-identity and Uniqueness.,
Owen
- Re: Existence, Self-identity and Uniqueness.,
William Elliot
- Re: Existence, Self-identity and Uniqueness.,
Chris Menzel
- Re: Existence, Self-identity and Uniqueness.,
Jan Burse
- Re: Existence, Self-identity and Uniqueness.,
Jan Burse
- Re: Existence, Self-identity and Uniqueness.,
Jan Burse
- Re: Existence, Self-identity and Uniqueness.,
William Elliot
- Re: Existence, Self-identity and Uniqueness.,
G . Frege
- Recent anti-semantic advances in Mathematics,
John Jones
- A Question About Consistent Theories,
Bob Stewart
- Re: A Question About Consistent Theories,
Aatu Koskensilta
- Re: A Question About Consistent Theories,
Bob Stewart
- Re: A Question About Consistent Theories,
David C . Ullrich
- Re: A Question About Consistent Theories,
aatu . koskensilta
- Re: A Question About Consistent Theories,
Bob Stewart
- Re: A Question About Consistent Theories,
aatu . koskensilta
- Re: A Question About Consistent Theories,
David C . Ullrich
- Re: A Question About Consistent Theories,
Bob Stewart
- Re: A Question About Consistent Theories,
David C . Ullrich
- Re: A Question About Consistent Theories,
Bob Stewart
- Re: A Question About Consistent Theories,
David C . Ullrich
- Re: A Question About Consistent Theories,
aatu . koskensilta
- Re: A Question About Consistent Theories,
David C . Ullrich
- Wittgenstein and pi,
Rupert
- an essentially non-constructive existence proof,
Rupert
- Constructive Proofs (Bishop),
guyontheinet
- Cinderella Mathematics,
John Jones
- Re: correcting Euclid's proof of the Infinitude of Primes which leads to an easy proof of the Infinitude of Twin Primes; both Dik Winter and Chris Heckman have failed attempts,
G . Frege
- care givers of paralyzed children,
lindaglenn
- The Chapter One (Logic Algebra) of Part Three in book "Concept Algebra" has released at web side,
Conbra
- How long are the arms of Formalisms?,
John Jones
- Re: How long are the arms of Formalisms?,
Nam Nguyen
- Re: How long are the arms of Formalisms?,
John Jones
- Re: How long are the arms of Formalisms?,
David
- Re: How long are the arms of Formalisms?,
John Jones
- Re: How long are the arms of Formalisms?,
Nam Nguyen
- Re: How long are the arms of Formalisms?,
David
- Re: How long are the arms of Formalisms?,
Nam Nguyen
- Re: How long are the arms of Formalisms?,
John Jones
- Re: How long are the arms of Formalisms?,
John Jones
- Re: How long are the arms of Formalisms?,
Nam Nguyen
- Re: How long are the arms of Formalisms?,
John Jones
- Re: How long are the arms of Formalisms?,
Nam Nguyen
- Re: How long are the arms of Formalisms?,
John Jones
- Re: How long are the arms of Formalisms?,
Nam Nguyen
- Re: How long are the arms of Formalisms?,
John Jones
- Re: How long are the arms of Formalisms?,
David
- Re: How long are the arms of Formalisms?,
Peter_Smith
- Re: How long are the arms of Formalisms?,
Nam Nguyen
- Re: How long are the arms of Formalisms?,
David
- Re: How long are the arms of Formalisms?,
David
- Re: How long are the arms of Formalisms?,
Peter_Smith
- Re: How long are the arms of Formalisms?,
Nam Nguyen
- Re: How long are the arms of Formalisms?,
Peter_Smith
- Re: How long are the arms of Formalisms?,
Nam Nguyen
- Re: How long are the arms of Formalisms?,
Aatu Koskensilta
- Re: How long are the arms of Formalisms?,
Nam Nguyen
- Re: How long are the arms of Formalisms?,
Peter_Smith
- Re: How long are the arms of Formalisms?,
Peter_Smith
- Re: How long are the arms of Formalisms?,
Nam Nguyen
- Re: How long are the arms of Formalisms?,
Peter_Smith
- Re: How long are the arms of Formalisms?,
Aatu Koskensilta
- Re: How long are the arms of Formalisms?,
Nam Nguyen
- Re: How long are the arms of Formalisms?,
Aatu Koskensilta
- Re: How long are the arms of Formalisms?,
Aatu Koskensilta
- Re: How long are the arms of Formalisms?,
Nam D. Nguyen
- Re: How long are the arms of Formalisms?,
Nam D. Nguyen
- Re: How long are the arms of Formalisms?,
David
- Re: How long are the arms of Formalisms?,
Peter_Smith
- Re: How long are the arms of Formalisms?,
David
- Re: How long are the arms of Formalisms?,
Peter_Smith
- Re: How long are the arms of Formalisms?,
David
- Re: How long are the arms of Formalisms?,
Peter_Smith
- Re: How long are the arms of Formalisms?,
David
- Re: How long are the arms of Formalisms?,
Nam Nguyen
- Re: How long are the arms of Formalisms?,
John Jones
- Re: How long are the arms of Formalisms?,
John Jones
- Can't get more Logical than this,
Dava
- PARADOXES AND STATES OF AFFAIRS,
LauLuna
- Aluminum causes Alzheimers ?,
caesarjbsquitti
- Re: Can ZFC prove Addition is Associative?,
ledaiman
- Proving uncountability of reals,
JN
- Re: Why is Cantor a target for cranks?,
george
- Wanted gay boyfriend 17 years old up str/Hr,
Arturo Magidin
- Question about model with most little domain,
sylsau
- The plan to release the book "Concept Algebra",
Conbra
- Looking for Big Cocks,
Arturo Magidin
- Provability vs. Entailment,
Lash Rambo
- The First 37 Branches of Computer Science Generated by CBL,
Charlie-Boo
- chemistry,
shamsheramu@xxxxxxxxx
- Finding models to a formula,
Konrad Viltersten
- Re: the error in Godels proof,
R. Srinivasan
- biotechnology,
rushieswar
- Proving "a OR !a",
Konrad Viltersten
- How to prove (Ax)(Fx & Gx) <--> ~(Ex) (Fx -> ~Gx) ?,
translogi@xxxxxxxxxxxxxx
- he catalogue of Concept Algebra is releases,
Conbra
- AXIOM.,
John Jones
- Re: Absolutely undecidable statements,
Aatu Koskensilta
- What is the model for this information,
Konrad Viltersten
- Re: how technical is Einstein's book on relativity?,
lugita15
- inference rules for predicate logic,
translogi@xxxxxxxxxxxxxx
- Cut elimination,
Peter_Smith
- Re: Rice to Set Theory: No Universal Set, no Russell Set (and others),
chauhdary . engg87
- Newbie help: Hintikka's lemma.,
dpm_edinburgh
- Average vs. Median,
Roger
- The foreword of book "Concept Algebra" has been released,
Conbra
- Axiom of Infinity,
apoorv
- Small automated theorem proving problem,
Lash Rambo
- Re: Small automated theorem proving problem,
george
- Re: Small automated theorem proving problem,
Charlie-Boo
- Re: Small automated theorem proving problem,
Alan Smaill
- Re: Small automated theorem proving problem,
george
- Re: Small automated theorem proving problem,
Lash Rambo
- Re: Small automated theorem proving problem,
george
- Re: Small automated theorem proving problem,
Lash Rambo
- Re: Small automated theorem proving problem,
george
- Re: Small automated theorem proving problem,
Lash Rambo
- Re: Small automated theorem proving problem,
Markus Triska
- Re: Small automated theorem proving problem,
george
- Re: Small automated theorem proving problem,
george
- Re: Small automated theorem proving problem,
Lash Rambo
- Re: Small automated theorem proving problem,
george
- Re: Small automated theorem proving problem,
Lash Rambo
- existentially quantified conditionals at 1st order ?,
george
- Re: existentially quantified conditionals at 1st order ?,
Alan Smaill
- Re: existentially quantified conditionals at 1st order ?,
Alan Smaill
- Re: existentially quantified conditionals at 1st order ?,
george
- Re: Small automated theorem proving problem,
george
- Attention, Charlie-Boo,
herbzet
- Re: Attention, Charlie-Boo,
Charlie-Boo
- Re: Attention, Charlie-Boo,
herbzet
- Re: Attention, Charlie-Boo,
Charlie-Boo
- Re: Attention, Charlie-Boo,
herbzet
- Re: Attention, Charlie-Boo,
herbzet
- Re: Attention, Charlie-Boo,
Chris Menzel
- Re: Attention, Charlie-Boo,
herbzet
- Re: Attention, Charlie-Boo,
Chris Menzel
- Re: Attention, Charlie-Boo,
Aatu Koskensilta
- Re: Attention, Charlie-Boo,
Peter_Smith
- Undecidability for every sound theory.,
Atreides
- Re: Undecidability for every sound theory.,
lugita15
- Re: Undecidability for every sound theory.,
Atreides
- Re: Undecidability for every sound theory.,
Stephen Harris
- Re: Undecidability for every sound theory.,
Rupert
- Re: Undecidability for every sound theory.,
Stephen Harris
- Re: Undecidability for every sound theory.,
Rupert
- Re: Undecidability for every sound theory.,
Stephen Harris
- Re: Undecidability for every sound theory.,
Stephen Harris
- Re: Undecidability for every sound theory.,
lugita15
- Re: Undecidability for every sound theory.,
Rupert
- Re: Undecidability for every sound theory.,
Stephen Harris
- Re: Undecidability for every sound theory.,
Rupert
- Re: Undecidability for every sound theory.,
lugita15
- Re: Undecidability for every sound theory.,
Rupert
- Re: Undecidability for every sound theory.,
Stephen Harris
- Re: Is FLT in the language of PA?,
george
- Re: Is FLT in the language of PA?,
Rupert
- Re: Is FLT in the language of PA?,
george
- Re: Is FLT in the language of PA?,
Rupert
- Re: Is FLT in the language of PA?,
george
- Re: Is FLT in the language of PA?,
Rupert
- Re: Is FLT in the language of PA?,
george
- Re: Is FLT in the language of PA?,
Rupert
- Re: Is FLT in the language of PA?,
george
- Re: Is FLT in the language of PA?,
Daryl McCullough
- Re: Is FLT in the language of PA?,
Daryl McCullough
- Re: Is FLT in the language of PA?,
Rupert
- Re: Is FLT in the language of PA?,
aatu . koskensilta
- Re: Is FLT in the language of PA?,
Rupert
- Re: Is FLT in the language of PA?,
Aatu Koskensilta
- Re: Is FLT in the language of PA?,
george
- Re: Is FLT in the language of PA?,
Rupert
- Re: Is FLT in the language of PA?,
Rupert
- Re: Is FLT in the language of PA?,
Daryl McCullough
- Re: Is FLT in the language of PA?,
Aatu Koskensilta
- Re: Is FLT in the language of PA?,
george
- Re: Is FLT in the language of PA?,
Daryl McCullough
- <Possible follow-ups>
- Re: Is FLT in the language of PA?,
george
- Nomenclature and Terminology - Inertial movement,
vlcek
- Incompatibility of Computationalism and Consistent Bivalent Logic,
LauLuna
- Re: Incompatibility of Computationalism and Consistent Bivalent Logic,
abo
- Re: Incompatibility of Computationalism and Consistent Bivalent Logic,
LauLuna
- Re: Incompatibility of Computationalism and Consistent Bivalent Logic,
abo
- Re: Incompatibility of Computationalism and Consistent Bivalent Logic,
LauLuna
- Re: Incompatibility of Computationalism and Consistent Bivalent Logic,
abo
- Re: Incompatibility of Computationalism and Consistent Bivalent Logic,
LauLuna
- Re: Incompatibility of Computationalism and Consistent Bivalent Logic,
LauLuna
- Re: Incompatibility of Computationalism and Consistent Bivalent Logic,
abo
- Re: Incompatibility of Computationalism and Consistent Bivalent Logic,
LauLuna
- Re: Incompatibility of Computationalism and Consistent Bivalent Logic,
abo
- Re: Incompatibility of Computationalism and Consistent Bivalent Logic,
LauLuna
- Re: Incompatibility of Computationalism and Consistent Bivalent Logic,
abo
- Re: Incompatibility of Computationalism and Consistent Bivalent Logic,
LauLuna
- Re: Incompatibility of Computationalism and Consistent Bivalent Logic,
abo
- Re: Incompatibility of Computationalism and Consistent Bivalent Logic,
Charlie-Boo
- Re: Incompatibility of Computationalism and Consistent Bivalent Logic,
David C . Ullrich
- Re: Incompatibility of Computationalism and Consistent Bivalent Logic,
Charlie-Boo
- Re: Incompatibility of Computationalism and Consistent Bivalent Logic,
Grouchy
- Frege's axioms - any answers?,
monibeam
- Have physicists found the God?,
socratus
- Re: Proper class.Proper class ?,
george
- request for help,
Saurav
- [FAQ, 99/07/28] Mathematical logic on the web,
Boris 'pi' Piwinger
- Re: incompleteness and inconsistency,
lugita15
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
lugita15
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
lugita15
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
lugita15
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
lugita15
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
lugita15
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
lugita15
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
lugita15
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
lugita15
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
lugita15
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
lugita15
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
lugita15
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
lugita15
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
lugita15
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
lugita15
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
lugita15
- Re: incompleteness and inconsistency,
lugita15
- <Possible follow-ups>
- Re: incompleteness and inconsistency,
Manuel Bremer
- Simple way to multiply big numbers (video),
Xadai
- description logic - axiomatic set theory,
S.L.
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Logical Implication and Equivalence,
Mad_man_on_a_MissIon
- Re: axioms of mathematical logic,
itaj
- Re: axioms of mathematical logic,
tohentoon
- <Possible follow-ups>
- Re: axioms of mathematical logic,
MoeBlee
- Re: axioms of mathematical logic,
Charlie-Boo
- Re: axioms of mathematical logic,
Charlie-Boo
- Re: axioms of mathematical logic,
Charlie-Boo
- Re: axioms of mathematical logic,
David C . Ullrich
- Re: axioms of mathematical logic,
Charlie-Boo
- Re: axioms of mathematical logic,
David C . Ullrich
- Re: axioms of mathematical logic,
Charlie-Boo
- Re: axioms of mathematical logic,
MoeBlee
- Re: axioms of mathematical logic,
Charlie-Boo
- Re: axioms of mathematical logic,
MoeBlee
- Re: axioms of mathematical logic,
MoeBlee
- Re: axioms of mathematical logic,
Charlie-Boo
- Re: axioms of mathematical logic,
MoeBlee
- Re: axioms of mathematical logic,
Charlie-Boo
- Re: axioms of mathematical logic,
MoeBlee
- Re: axioms of mathematical logic,
David C . Ullrich
- Re: axioms of mathematical logic,
Charlie-Boo
- Re: axioms of mathematical logic,
David C . Ullrich
- Re: axioms of mathematical logic,
Frederick Williams
- Re: axioms of mathematical logic,
Chris Menzel
- Re: axioms of mathematical logic,
Charlie-Boo
- Re: axioms of mathematical logic,
Charlie-Boo
- Re: axioms of mathematical logic,
Charlie-Boo
- Re: axioms of mathematical logic,
Charlie-Boo
- Re: axioms of mathematical logic,
Charlie-Boo
- Re: axioms of mathematical logic,
Charlie-Boo
- Re: axioms of mathematical logic,
Charlie-Boo
- Re: axioms of mathematical logic,
Charlie-Boo
- Re: axioms of mathematical logic,
Chris Menzel
- Re: axioms of mathematical logic,
Keith Ramsay
- Re: axioms of mathematical logic,
Keith Ramsay
- Re: texts for minimal logic,
Jan Burse
