[FOM] Boolean Rings : Commutative Rings :: Propositional Logic : A 'free' Logic?

Mani A a_mani_sc_gs at yahoo.co.in
Thu May 21 23:08:41 EDT 2009

--- On Fri, 22/5/09, Vaughan Pratt <pratt at cs.stanford.edu> wrote:

> The earliest proposal I'm aware of to drop x^2 = x,
> Contraction, without 
> also dropping commutativity is Girard's linear logic,
> presented as 
> invited talks at LICS'86 (the first LICS, held in Cambridge
> MA) and a 

Linear logics and related logics (up to Full Lambek) that are related to residuated lattices do not seem close to the answer as they assume too much. A CL algebra does not fit. But the motivation for a quantitative conjunction is there.

A simple examination of the lattice of varieties for the problem will not yield a definite answer. Many abstract logics may fit in. But quantum logics would be closest and there is no clear minimal logic for the question. The logics with semiring+ algebraic semantics may be further away, but would be more useful.   

Vakarelov's papers "Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation. Studia Logica, vol 84, No 1, 2006, 105-127.
Consistency, Completeness and Negation. In: Paraconsistent Logic. Essays on the Inconsistent. Gr. Priest, R. Routley and J. Norman Eds. Analitica, Philosophia Verlag, Munhen, 1989."
make the relation clear from a proof theoretical point of view.


A. Mani


A. Mani


      Own a website.Get an unlimited package.Pay next to nothing.*Go to http://in.business.yahoo.com/

More information about the FOM mailing list