Re: K.Auinger: Jan 23: Albegras without finitely based equational theories

Article View: sci.logic

Article #707

#707

From: Michel Eytan
Date: Wed, 25 Jan 1995 17:49

14 lines
1788 bytes

In article <sjv-230195113411@146.169.22.52>, sjv@doc.ic.ac.uk (Steve
Vickers) wrote:
> Yet another example of kneejerk exclusion of empty carriers. What _is_ the
> matter with people?

I believe they are contaminated by standard (set-valued) First-Order Model
Theory for Classical Logic  and they never heard about the problems that
arise when attempting to use modus ponens in Intuitonistic Logic
> 
> Steve Vickers.

-- 
Michel Eytan, U Strasbourg II           eytan@dpt-info.u-strasbg.fr
                "Je dis ce que je pense et je pense ce que je dis"

Technical Details

Message-ID: <eytan-2501951849290001@bina.u-strasbg.fr>

Path:

arc1-ca.pugleaf.net!pad-thai.cam.ov.com!bloom-beacon.mit.edu!grapevine.lcs.mit.edu!uhog.mit.edu!news.mathworks.com!udel!gatech!howland.reston.ans.net!news.sprintlink.net!pipex!news.oleane.net!oleane!jussieu.fr!univ-lille1.fr!ciril.fr!thot.u-strasbg.fr!bina.u-strasbg.fr!user

References: <3fgb5p$m37@news.tuwien.ac.at> <sjv-230195113411@146.169.22.52>

Show Full Headers

Complete Article Headers

X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 109d8a,cda679578c93ce98,start
X-Google-Attributes: gid109d8a,public
X-Google-Thread: 10cc56,a600f3fdc44b9196
X-Google-Attributes: gid10cc56,public
X-Google-Thread: 115bfc,cda679578c93ce98,start
X-Google-Attributes: gid115bfc,public
X-Google-Thread: f8362,cda679578c93ce98,start
X-Google-Attributes: gidf8362,public
X-Google-ArrivalTime: 1995-01-25 10:20:56 PST
Path: arc1-ca.pugleaf.net!pad-thai.cam.ov.com!bloom-beacon.mit.edu!grapevine.lcs.mit.edu!uhog.mit.edu!news.mathworks.com!udel!gatech!howland.reston.ans.net!news.sprintlink.net!pipex!news.oleane.net!oleane!jussieu.fr!univ-lille1.fr!ciril.fr!thot.u-strasbg.fr!bina.u-strasbg.fr!user
From: eytan@dpt-info.u-strasbg.fr (Michel Eytan)
Newsgroups: sci.logic,comp.theory,at.veranstaltung,sci.math
Subject: Re: K.Auinger: Jan 23: Albegras without finitely based equational theories
Date: Wed, 25 Jan 1995 18:49:29 +0100
Organization: LILoL, U Strasbourg II
Lines: 14
Distribution: world
Message-ID: <eytan-2501951849290001@bina.u-strasbg.fr>
References: <3fgb5p$m37@news.tuwien.ac.at> <sjv-230195113411@146.169.22.52>
NNTP-Posting-Host: bina.u-strasbg.fr
X-Newsreader: Value-Added NewsWatcher 2.0b24.0+

Reply to Parent Message