[FOM] Routley-Meyer semantics and intuitionistic-style negation

Gemma Robles gemmarobles at gmail.com
Thu Jun 4 13:03:29 EDT 2015

Previous message: [FOM] Translation of QML to (infinitary) propositional modql logic
Next message: [FOM] Fwd: CADE-25 Call for Participation
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear FOM-ers,

We are writing a book about Routley-Meyer semantics and
intuitionistic-style negation for Elsevier. References and suggestions
would be most welcome. Thank you.

Gemma Robles
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20150604/5e8a078b/attachment.html>

Previous message: [FOM] Translation of QML to (infinitary) propositional modql logic
Next message: [FOM] Fwd: CADE-25 Call for Participation
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list