On Equational Craig Interpolation
| dc.creator | Rosu,Grigore | |
| dc.creator | Goguen,Joseph | |
| dc.date | 2000 | |
| dc.date.accessioned | 2024-02-06T12:50:29Z | |
| dc.date.available | 2024-02-06T12:50:29Z | |
| dc.description | Generalizations of Craig interpolation are investigated for equational logic. Our approach is to do as much as possible at a categorical level, before drawing out the concrete implications. 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-0194 | |
| dc.identifier | https://lib.jucs.org/article/27648/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/7710 | |
| 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): 194-200 | |
| dc.title | On Equational Craig Interpolation | |
| dc.type | Research Article |