Structural completeness in relevance logics
| dc.contributor.author | Raftery, James G. | |
| dc.contributor.author | Swirydowicz, K. | |
| dc.date.accessioned | 2016-03-15T11:21:49Z | |
| dc.date.issued | 2016-06 | |
| dc.description.abstract | It is proved that the relevance logic R (without sentential constants) has no structurally complete consistent axiomatic extension, except for classical propositional logic. In fact, no other such extension is even passively structurally complete. | en_ZA |
| dc.description.embargo | 2017-06-30 | |
| dc.description.librarian | hb2015 | en_ZA |
| dc.description.uri | http://link.springer.com/journal/11225 | en_ZA |
| dc.identifier.citation | Raftery, JG & Swirydowicz, K 2016, 'Structural completeness in relevance logics', Studia Logica, vol. 104, no. 3, pp. 381-387. | en_ZA |
| dc.identifier.issn | 0039-3215 (print) | |
| dc.identifier.issn | 1572-8730 (online) | |
| dc.identifier.other | 10.1007/s11225-015-9644-x | |
| dc.identifier.uri | http://hdl.handle.net/2263/51881 | |
| dc.language.iso | en | en_ZA |
| dc.publisher | Springer | en_ZA |
| dc.rights | © Springer Science+Business Media Dordrecht 2015. The original publication is available at : http://link.springer.com/journal/11225. | en_ZA |
| dc.subject | Sentential formulas | en_ZA |
| dc.subject | Algebraic signature | en_ZA |
| dc.subject | Structurally complete | en_ZA |
| dc.subject | Admissible rule | en_ZA |
| dc.subject | Structurally complete | en_ZA |
| dc.subject | Relevance logic | en_ZA |
| dc.title | Structural completeness in relevance logics | en_ZA |
| dc.type | Postprint Article | en_ZA |