Pages that link to "Item:Q1580660"
From MaRDI portal
The following pages link to Embedding logics into product logic (Q1580660):
Displaying 12 items.
- First-order satisfiability in Gödel logics: an NP-complete fragment (Q650893) (← links)
- Complexity issues in Basic Logic (Q816857) (← links)
- A note on intervals of residuated \(\ell \)-groupoids (Q1040919) (← links)
- The Ł\(\Pi\) and Ł\(\Pi\frac{1}{2}\) propositional and predicate logics (Q1349200) (← links)
- Analytic calculi for product logics (Q1762728) (← links)
- Products, or how to create modal logics of high complexity (Q2708309) (← links)
- SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability (Q3638278) (← links)
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (Q5052011) (← links)
- A Note on Drastic Product Logic (Q5230076) (← links)
- Logic versus Approximation (Q5712365) (← links)
- Introduction (Q5892200) (← links)
- A \textit{DPLL} procedure with dichotomous branching for propositional product logic (Q6664542) (← links)