Pages that link to "Item:Q1425193"
From MaRDI portal
The following pages link to Normal modal substructural logics with strong negation (Q1425193):
Displaying 12 items.
- Current trends in substructural logics (Q266641) (← links)
- Subformula semantics for strong negation systems (Q584239) (← links)
- Conjunctive normal forms and weak modal logics without the axiom of necessity (Q761441) (← links)
- Polarity semantics for negation as a modal operator (Q831215) (← links)
- Models for stronger normal intuitionistic modal logics (Q1096613) (← links)
- Meeting strength in substructural logics (Q1344870) (← links)
- Sequent systems for negative modalities (Q1682296) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- Modal MTL-algebras (Q2445422) (← links)
- Conuclear images of substructural logics (Q2813674) (← links)
- (Q4326748) (← links)
- MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION (Q5216977) (← links)