[opentheory-users] semantics

[Joe Hurd]

Hi Ramana,

I've made a stab at a slogan and explanation of the different sections
in the theory package summaries in the first item of "Resources" on
the project page:

http://www.gilith.com/research/opentheory/

Please let me know if that helps, particularly in motivating the
distinction between axioms and assumptions.

Cheers,

Joe

On Wed, Mar 16, 2011 at 10:14 AM, Ramana Kumar <ramana.kumar at gmail.com> wrote:
> I am still confused sometimes by the package summaries on the Gilith
> repo website.
> For example, what is the difference between axioms and assumptions?
> (I've asked this before, and I think the answer has to do with whether
> they are theorems about constants defined by the article or not...)
>
> I would like to see a slogan or two to keep in mind about OpenTheory,
> and a web page (or pdf if necessary) describing semantics (maybe in
> some logical framework or something).
> I think a slogan could be "A theory package is a collection of
> theorems, represented by proofs." - Is that right?
> But it sweeps two important issues under the rug: definitions and assumptions.
> Is there an accurate slogan that would deal with these two things and
> say exactly what a theory package is?
> Definitions complicate things because I think you need to talk about
> language extensions and conservative extensions of theories, but all
> this is presumably standard stuff - I just want to see exactly how
> OpenTheory embodies it.
>
> The semantics I'm looking for may well already exist in a paper
> somewhere - in that case I'd like to see a link on the project
> homepage.
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>