coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Creating finite models with Coq and YAFOLL:-)

From: Alex Shkotin <alex.shkotin AT gmail.com>
To: coq-club AT inria.fr, avakili AT outlook.com
Subject: [Coq-Club] Creating finite models with Coq and YAFOLL:-)
Date: Sat, 26 Nov 2016 15:18:31 +0300
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=alex.shkotin AT gmail.com; spf=Pass smtp.mailfrom=alex.shkotin AT gmail.com; spf=None smtp.helo=postmaster AT mail-io0-f180.google.com
Ironport-phdr: 9a23:Z3F2ZBYK2oklxdQTTqOMi+X/LSx+4OfEezUN459isYplN5qZpsW+bnLW6fgltlLVR4KTs6sC0LuN9fu7EjdfqdbZ6TZZL8wKD0dEwewt3CUeQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYnbr+tQt2a3IyL0LW5/ISWaAFVjhK8Z6lzJVO4t0GZv9cfgopmK4421wfNpXxLPe9RwDBGP1WWyj/469f4x55g9DhRvbp1/spNQePhf6c/Ub1eJDsjOmExosbssE+QHkO0+nIAXzBOwVJzCA/f4USiUw==

Hi All,

sorry I put together Coq the Great and Y!L. It's just for fun.

In applied ontology area we need to create (and it done a little) a lot of finite models and formal theories and I am sure Coq is one of the languages to use. We use languages like OWL 2, Common Logic, CASL but I do not have reference for Coq. Do you?

If you have time have a look at "Finite Systems Handling Language (YAFOLL message 1)"

at https://www.researchgate.net/publication/282944880_Finite_Systems_Handling_Language_YAFOLL_message_1

just to give me feedback.

And, Amirhossein Vakili, thank you for Alloy reference.

Regards,

Alex Shkotin,

ACM fellow

[Coq-Club] Creating finite models with Coq and YAFOLL:-), Alex Shkotin, 11/26/2016