Structural completeness in relevance logics

Show simple item record

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


Files in this item

This item appears in the following Collection(s)

Show simple item record