Pages that link to "Item:Q1322438"

The following pages link to Informational interpretation of substructural propositional logics (Q1322438):

Displaying 13 items.

• Informational semantics as a third alternative? (Q488328) (← links)
• Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
• 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)
• An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi (Q2084568) (← links)
• Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) (← links)
• Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
• Gentzen-type calculi for involutive quantales (Q2575479) (← links)
• On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
• Connexive Conditional Logic. Part I (Q3387894) (← links)