I am having the same problem accessing these links. The links time out...
Phil
> From: rich@xxxxxxxxxxxxxxxxxxxxxx
> To: ontolog-forum@xxxxxxxxxxxxxxxx
> Date: Wed, 7 Jan 2015 14:06:23 -0800
> Subject: Re: [ontolog-forum] The Lindenbaum lattice and a biography of Adolf Lindenbaum
>
> JB: I found them at:
> > http://pavlos.bma.upatras.gr/papers/8.pdf
> also, his home page is:
> > http://pavlos.bma.upatras.gr/
>
> I tried those same links clicking just now on them, and still didn't get a page back.
>
> -Rich
>
> Sincerely,
> Rich Cooper
> EnglishLogicKernel.com
> Rich AT EnglishLogicKernel DOT com
> 9 4 9 \ 5 2 5 - 5 7 1 2
>
> -----Original Message-----
> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of John Bottoms
> Sent: Wednesday, January 07, 2015 1:58 PM
> To: [ontolog-forum]
> Subject: Re: [ontolog-forum] The Lindenbaum lattice and a biography of Adolf Lindenbaum
>
> Rich,
>
> I found them at:
> > http://pavlos.bma.upatras.gr/papers/8.pdf
> also, his home page is:
> > http://pavlos.bma.upatras.gr/
>
> -John Bottoms
> FirstStar Systems
>
>
> On 1/7/2015 4:43 PM, Rich Cooper wrote:
> > The paper at:
> > http://pavlos.bma.upatras.gr/paperFs/8.pdf
> >
> > doesn't respond to a link click - no site found. neither does:
> >
> > http://pavlos.bma.upatras.gr/
> >
> > same symptoms. I tried several hours apart, with the same outcome.
> >
> > -Rich
> >
> > Sincerely,
> > Rich Cooper
> > EnglishLogicKernel.com
> > Rich AT EnglishLogicKernel DOT com
> > 9 4 9 \ 5 2 5 - 5 7 1 2
> >
> > -----Original Message-----
> > From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of John F Sowa
> > Sent: Thursday, January 01, 2015 7:58 PM
> > To: ontolog-forum@xxxxxxxxxxxxxxxx
> > Cc: cg@xxxxxxxxxxxxx; Pavlos Peppas
> > Subject: Re: [ontolog-forum] The Lindenbaum lattice and a biography of Adolf Lindenbaum
> >
> > On 1/1/2015 2:07 PM, David Whitten wrote:
> >> what are the AGM operations? Do I know them by another name?
> > They're named after the three authors of the classic paper:
> >
> > Alchourrón, C.E., P. Gärdenfors, and D. Makinson, 1985, “On the Logic
> > of Theory Change: Partial Meet Contraction and Revision Functions”,
> > Journal of Symbolic Logic, 50: 510–530.
> >
> > The two basic operators determine walks through the lattice of theories.
> >
> > - Contraction: Removing an axiom (or belief) from a theory. This
> > moves up the lattice to a more general theory. This is always safe
> > because it can never create an inconsistency.
> >
> > - Expansion: Adding an axiom (or belief). This moves down the
> > lattice. If the new axiom is inconsistent with the others, it
> > causes a drop to the inconsistent theory (AKA the absurd theory)
> > at the bottom of the lattice.
> >
> > I prefer to add a third operator:
> >
> > - Relabeling: Systematically renaming one or more names (of functions,
> > relations, or constants) to names that are otherwise unused. This
> > jumps to a theory in another branch of the lattice that is isomorphic
> > to the original. Logicians usually ignore it because it doesn't add
> > anything new, but it is very useful for metaphors and analogies. It
> > is also guaranteed to preserve consistency.
> >
> > Other operations are defined in terms of these three.
> >
> > - Revision: Replacing one or more axioms. This is a sideways move,
> > equivalent to contraction followed by expansion.
> >
> > - Consolidation. Restoring consistency to a theory that has become
> > inconsistent because of some unsafe expansion. This process usually
> > involves some contraction and/or relabeling and possibly expansion.
> >
> > - Merging. Expanding one theory by adding all the axioms of another
> > theory. This theory is a common specialization of both theories
> > that were merged. If the starting theories were inconsistent,
> > the merger drops to the absurd theory at the bottom. In that case,
> > consolidation is required.
> >
> > For an intro to the axioms of belief (or theory) revision and related
> > issues, see http://plato.stanford.edu/entries/logic-belief-revision/
> >
> > Following is a 42-page survey of the field by Pavlos Peppas. He gives
> > a thorough survey with applications and 111 references:
> > http://pavlos.bma.upatras.gr/paperFs/8.pdf
> >
> > See his web site for more recent papers about belief revision and
> > applications: http://pavlos.bma.upatras.gr/
> >
> >
> > John
> >
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
>
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
>