Pages that link to "Item:Q1868241"
From MaRDI portal
The following pages link to Tableaux for Łukasiewicz infinite-valued logic (Q1868241):
Displaying 14 items.
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction (Q352963) (← links)
- Dual tableau for monoidal triangular norm logic MTL (Q622083) (← links)
- Giles's game and the proof theory of Łukasiewicz logic (Q1037588) (← links)
- Complete and atomic algebras of the infinite valued Łukasiewicz logic (Q1189890) (← links)
- Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers (Q1697332) (← links)
- Finiteness in infinite-valued Łukasiewicz logic (Q1971778) (← links)
- Kripke semantics for intuitionistic Łukasiewicz logic (Q2021569) (← links)
- Unranked fuzzy logic and reasoning (Q2086405) (← links)
- Tableaux for intuitionistic logics (Q2753600) (← links)
- Labelled Calculi for Łukasiewicz Logics (Q3511458) (← links)
- (Q3818301) (← links)
- К проблеме характеризации логик васильевского типа: о табличности логик $I_{\langle x,y \rangle}$ ($x,y\in\{0,1,2,\dots\}$ и $x < y$). Часть II (Q4566144) (← links)
- Tabular Logics with no Finite Bases for Inference Rules (Q4659578) (← links)
- The MaxSAT problem in the real-valued MV-algebra (Q6541163) (← links)