Searching for "A Proof Search System for a Modal Substructural Logic Based on Labelled Deductive Systems." – sorted by Relevance.
2 documents found, showing 1 through 2.
-
A Proof Search System for a Modal Substructural Logic Based on Labelled Deductive Systems
- …A Proof Search System for a Modal Substructural Logic Based on Labelled Deductive Systems Hiu Fai…
- Add To MetaCart
-
A Proof Search System for a Modal Substructural Logic Based on Labelled Deductive Systems
- …A Proof Search System for a Modal Substructural Logic Based on Labelled Deductive Systems Hiu Fai…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 2.
