Pages that link to "Item:Q5804993"
From MaRDI portal
The following pages link to A theorem about infinite-valued sentential logic (Q5804993):
Displayed 50 items.
- 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)
- 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)
- 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)
- 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)
- Geometrical methods in Wajsberg hoops (Q1858223) (← links)
- Integrated semantics and logic metric spaces (Q1873679) (← links)
- On monadic MV-algebras (Q1877093) (← links)
- On normal forms in Łukasiewicz logic (Q1882628) (← links)
- A characterization of truth-functions in the nilpotent minimum logic (Q1885724) (← links)
- Averaging the truth-value in Łukasiewicz logic (Q1896758) (← links)
- Many-valued logic and mixed integer programming (Q1924752) (← links)
- On subquasivariety lattices of semi-primal varieties (Q2266036) (← links)
- Generalized rough approximations in Ł\(\Pi \frac{1}{2}\) (Q2270414) (← links)
- Representation and extension of states on MV-algebras (Q2491073) (← links)
- An asymptotically tight bound on countermodels for Łukasiewicz logic (Q2506811) (← links)
- Sufficient triangular norms in many-valued logics with standard negation (Q2573723) (← links)
- Continuous logic – I. Basic concepts (Q2776853) (← links)
- On the Complexity of Non-reversible Betting Games on Many-Valued Events (Q3163975) (← links)
- Fragments of Many-Valued Statement Calculi (Q3256302) (← links)
- Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik (Q3315483) (← links)
- Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre (Q3315484) (← links)
- Generic substitutions (Q3370754) (← links)