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 |