Pages that link to "Item:Q1322438"
From MaRDI portal
The following pages link to Informational interpretation of substructural propositional logics (Q1322438):
Displayed 7 items.
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
- Tableau method for residuated logic (Q1357163) (← links)
- Normal modal substructural logics with strong negation (Q1425193) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- Gentzen-type calculi for involutive quantales (Q2575479) (← links)