search

gruninger / Common-Logic

Documents for the developments of ISO 24707 Editiion 2 (Common Logic)
8 stars 3 forks source link

More Logical Connectives #32

Open greenTara opened 11 years ago

greenTara commented 11 years ago

Additional logical connectives added to the abstract syntax