Pages that link to "Item:Q1357163"
From MaRDI portal
The following pages link to Tableau method for residuated logic (Q1357163):
Displaying 6 items.
- A note on Kripke semantics for residuated logic (Q678998) (← links)
- Propositional calculus under adjointness (Q1867660) (← links)
- A small set of axioms for residuated logic (Q2568232) (← links)
- Tableau methods for modal and temporal logics (Q2753601) (← links)
- Tableau method and NEXPTIME-completeness of DEL-sequents (Q2825404) (← links)
- Modal tableaux based on residuation (Q4381866) (← links)