[opentheory-users] semantics

[Ramana Kumar]

On Thu, Mar 17, 2011 at 12:58 AM, Joe Hurd <joe at gilith.com> wrote:
> 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.

Yes, the example package is excellent! Thanks.

>
> 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
>>
>