search

jessealama / tipi

Theory development with TPTP
6 stars 0 forks source link

infinox #7

Open peoppenheimer opened 12 years ago

peoppenheimer commented 12 years ago

It might be interesting to add infinox capability to tipi.

jessealama commented 12 years ago

I agree. Thanks for the suggestion.

peoppenheimer commented 12 years ago

It would be good if we could get together for an overview of current developments.

jessealama commented 12 years ago

Ann Lillieström, the main developer of Infinox, might be interested to know about our ideas re: Infinox.

peoppenheimer commented 12 years ago

Yes.

When we get into Frege, and out of pure object theory, we will need to deal with infinite models. (In particular, with infinitely many ordinary objects)

Sent from my iPhone

On Oct 10, 2012, at 4:03 PM, Jesse Alama notifications@github.com wrote:

Ann Lillieström, the main developer of Infinox, might be interested to know about our ideas re: Infinox.

— Reply to this email directly or view it on GitHub.