Pages that link to "Item:Q5804993"
From MaRDI portal
The following pages link to A theorem about infinite-valued sentential logic (Q5804993):
Displaying 50 items.
- Modal definability based on Łukasiewicz validity relations (Q284231) (← links)
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction (Q352963) (← links)
- States in Łukasiewicz logic correspond to probabilities of rational polyhedra (Q448927) (← links)
- Complexity of fuzzy answer set programming under Łukasiewicz semantics (Q465597) (← links)
- MV-algebras, infinite dimensional polyhedra, and natural dualities (Q512132) (← links)
- Non-reversible betting games on fuzzy events: complexity and algebra (Q533180) (← links)
- The free \(n\)-generated BL-algebra (Q636351) (← links)
- Automated theorem proving for Łukasiewicz logics (Q687151) (← links)
- Characterization of prime numbers in Łukasiewicz's logical matrix (Q751647) (← links)
- A game-based formal system for Ł\(_\infty\) (Q754864) (← links)
- On the variety of Gödel MV-algebras (Q780196) (← links)
- Complexity issues in Basic Logic (Q816857) (← links)
- Bernoulli automorphisms of finitely generated free MV-algebras (Q860428) (← links)
- Normal forms for fuzzy logics: a proof-theoretic approach (Q884948) (← links)
- Łukasiewicz logic and Riesz spaces. (Q894318) (← links)
- The nature of the extended analog computer (Q933439) (← links)
- Forcing in Łukasiewicz predicate logic (Q935024) (← links)
- MV-algebras with internal states and probabilistic fuzzy logics (Q962839) (← links)
- Note on the construction of free MV-algebras (Q976751) (← links)
- The coherence of Łukasiewicz assessments is NP-complete (Q985139) (← links)
- The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete (Q1006641) (← links)
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus (Q1079157) (← links)
- Every Abelian \(\ell\)-group with two positive generators is ultrasimplicial (Q1084119) (← links)
- Satisfiability in many-valued sentential logic is NP-complete (Q1100196) (← links)
- Free products in the category of Abelian \(\ell\)-groups with strong unit (Q1111584) (← links)
- Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras (Q1123916) (← links)
- The lattice of strengthenings of a strongly finite consequence operation (Q1161517) (← links)
- On a certain formalization of antonyms logic (Q1189909) (← links)
- A method of axiomatization of Lukasiewicz logics (Q1214402) (← links)
- Dual counterparts of Lukasiewicz's sentential calculi (Q1214908) (← links)
- S-algebras and the degrees of maximality for three and four valued logics of Lukasiewicz (Q1229699) (← links)
- Degrees of maximality of Łukasiewicz-like sentential calculi (Q1239151) (← links)
- On structural completeness of many-valued logics (Q1252341) (← links)
- The complexity of McNaughton functions of one variable (Q1271879) (← links)
- Resolution and model building in the infinite-valued calculus of Łukasiewicz (Q1276262) (← links)
- Algebraic structures in fuzzy logic (Q1311717) (← links)
- Normal forms for fuzzy logic functions and their approximation ability (Q1349207) (← links)
- Turing complexity of Behncke-Leptin \(C^*\)-algebras with a two-point dual (Q1354006) (← links)
- Semi-normal forms and functional representation of product fuzzy logic. (Q1428676) (← links)
- Convex MV-algebras: many-valued logics meet decision theory (Q1615991) (← links)
- Ordered group-valued probability, positive operators, and integral representations (Q1623242) (← links)
- Word problems in Elliott monoids (Q1669037) (← links)
- Towards understanding the Pierce-Birkhoff conjecture via MV-algebras (Q1677046) (← links)
- An analysis of the logic of Riesz spaces with strong unit (Q1693040) (← links)
- Notes on divisible MV-algebras (Q1703636) (← links)
- Skolemization and Herbrand theorems for lattice-valued logics (Q1733060) (← links)
- Expressivity in chain-based modal logics (Q1745356) (← links)
- Measuring and repairing inconsistency in knowledge bases with graded truth (Q1759709) (← links)
- Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi (Q1838472) (← links)
- On structural completeness of Lukasiewicz's logics (Q1846414) (← links)
