Switch to: References

Citations of:

Understanding Negation Implicationally in the Relevant Logic R

Studia Logica 104 (6):1267-1285 (2016)

Add citations

You must login to add citations.

Multiset-Multiset Frames.Takuro Onishi - forthcoming - Journal of Philosophical Logic:1-24.details This paper presents the notion of multiset-multiset frame (mm-frame for short), a frame equipped with a relation between (finite) multisets over the set of points which satisfies the condition called compositionality. This notion is an extension of Restall and Standefer’s multiset frame, a frame that relates a multiset to a single point. While multiset frames serve as frames for the positive fragments of relevant logics RW and R, mm-frames are for the full RW and R with negation. We show this (...) Download Export citation Bookmark
Disentangling Structural Connectives or Life Without Display Property.Sergey Drobyshevich - 2019 - Journal of Philosophical Logic 48 (2):279-303.details The work is concerned with the so called display property of display logic. The motivation behind it is discussed and challenged. It is shown using one display calculus for intuitionistic logic as an example that the display property can be abandoned without losing subformula, cut elimination and completeness properties in such a way that results in additional expressive power of the system. This is done by disentangling structural connectives so that they are no longer context-sensitive. A recipe for characterizing structural (...) Download Export citation Bookmark

1