Structural completeness in relevance logics

Loading...
Thumbnail Image

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.