Structural completeness in relevance logics
Loading...
Date
Authors
Raftery, James G.
Swirydowicz, K.
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
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.
Description
Keywords
Sentential formulas, Algebraic signature, Structurally complete, Admissible rule, Structurally complete, Relevance logic
Sustainable Development Goals
Citation
Raftery, JG & Swirydowicz, K 2016, 'Structural completeness in relevance logics', Studia Logica, vol. 104, no. 3, pp. 381-387.