A Canonical Model Construction for Substructural Logics
| dc.creator | Ishihara,Hajime | |
| dc.date | 2000 | |
| dc.date.accessioned | 2024-02-06T12:50:29Z | |
| dc.date.available | 2024-02-06T12:50:29Z | |
| dc.description | In this paper, we introduce a class of substructural logics, called normal substructural logics, which includes not only relevant logic, BCK logic, linear logic and the Lambek calculus but also weak logics with strict implication, and de ne Kripke- style semantics (Kripke frames and models) for normal substructural logics. Then we show a correspondence between axioms and properties on frames, and give a canonical construction of Kripke models for normal substructural logics. 1 C.S.Calude and G.Stefanescu (eds.). Automata, Logic, and Computability. Special issue dedicated to Professor Sergiu Rudeanu Festschrift. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-006-01-0155 | |
| dc.identifier | https://lib.jucs.org/article/27643/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/7707 | |
| dc.language | en | |
| dc.publisher | Journal of Universal Computer Science | |
| dc.relation | info:eu-repo/semantics/altIdentifier/eissn/0948-6968 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/pissn/0948-695X | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | J.UCS License | |
| dc.source | JUCS - Journal of Universal Computer Science 6(1): 155-168 | |
| dc.subject | substructural logics | |
| dc.subject | linear logic | |
| dc.subject | relevant logics | |
| dc.subject | strict implication | |
| dc.subject | Kripke-type semantics | |
| dc.subject | canonical model | |
| dc.title | A Canonical Model Construction for Substructural Logics | |
| dc.type | Research Article |