Re: [isabelle] how to classify logic axioms that belong to an axiom system



Hi Martin,

what do you mean by the classification of logic rules? The best would be to cite some paper or book you got this idea from.

To your second question: you can define any axiom system you want but what property do you want to achieve? Being free of contradictions? Please detail this.

- Gergely

-----Original Message-----
From: cl-isabelle-users-bounces at lists.cam.ac.uk [mailto:cl-isabelle-users-bounces at lists.cam.ac.uk] On Behalf Of Mandy Martin
Sent: Monday, May 04, 2015 10:30 AM
To: Larry Paulson; Harry Butterworth
Cc: cl-isabelle-users at lists.cam.ac.uk
Subject: [isabelle] how to classify logic axioms that belong to an axiom system

Hi  ,
how to classify logic rules that belong to an axiom system?
how to know  that  which rules  together form a axiom  system?
Regards,
Martin Lee 		 	   		  




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.