Assertion: propositional logic | /r/HasProperty | presented in section
Facets:
Source sentences:
text: This property is conserved in all the non-classical variants of propositional logic presented in Section 3 and the supplementary document Some Dialogical Systems for Non-Classical Logics, and plays an important role in the GTS-style dialogues of Section 5.