ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
modal substructural logic
Recently Published Documents
TOTAL DOCUMENTS
1
(FIVE YEARS 0)
H-INDEX
1
(FIVE YEARS 0)
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
A proof search system for a modal substructural logic based on labelled deductive systems
Logic Programming and Automated Reasoning - Lecture Notes in Computer Science
◽
10.1007/3-540-56944-8_42
◽
1993
◽
pp. 64-75
◽
Cited By ~ 2
Author(s):
Hiu Fai Chau
Keyword(s):
Substructural Logic
◽
Search System
◽
Deductive Systems
◽
Proof Search
◽
Labelled Deductive Systems
◽
Modal Substructural Logic
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close