Pages that link to "Item:Q3256302"
From MaRDI portal
The following pages link to Fragments of Many-Valued Statement Calculi (Q3256302):
Displaying 50 items.
- The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic (Q279327) (← links)
- The dual adjunction between MV-algebras and Tychonoff spaces (Q454391) (← links)
- Interval MV-algebras and generalizations. (Q459040) (← links)
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 (Q484107) (← links)
- Some model-theoretic correspondences between dimension groups and AF algebras (Q639676) (← links)
- Automated theorem proving for Łukasiewicz logics (Q687151) (← links)
- NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL (Q703374) (← links)
- A game-based formal system for Ł\(_\infty\) (Q754864) (← links)
- Double-negation elimination in some propositional logics (Q813082) (← links)
- Complexity issues in Basic Logic (Q816857) (← links)
- Two notions of compactness in Gödel logics (Q817682) (← links)
- Frames and MV-algebras (Q817695) (← links)
- \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic (Q835129) (← links)
- Modeling sorites reasoning with adaptive fuzzy logic (Q835187) (← links)
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth (Q850803) (← links)
- Normal forms for fuzzy logics: a proof-theoretic approach (Q884948) (← links)
- The problem of artificial precision in theories of vagueness: a note on the rôle of maximal consistency (Q907884) (← links)
- Forcing in Łukasiewicz predicate logic (Q935024) (← links)
- Giles's game and the proof theory of Łukasiewicz logic (Q1037588) (← links)
- Additive fuzzy measures and integrals. I (Q1052482) (← links)
- Decidable and undecidable MV-algebras (Q1057270) (← links)
- Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras (Q1066930) (← links)
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus (Q1079157) (← links)
- Satisfiability in many-valued sentential logic is NP-complete (Q1100196) (← links)
- An axiomatization of the finite-valued Łukasiewicz calculus (Q1110497) (← links)
- Triangular norm-based measures and their Markov kernel representation (Q1192761) (← links)
- An extension of the Lukasiewicz logic to the modal logic of quantum mechanics (Q1246527) (← links)
- Fuzzy games: A description of the concept (Q1251193) (← links)
- The complexity of McNaughton functions of one variable (Q1271879) (← links)
- Resolution and model building in the infinite-valued calculus of Łukasiewicz (Q1276262) (← links)
- Wajsberg algebras and Post algebras (Q1317894) (← links)
- A triangular norm-based fuzzy predicate logic (Q1406864) (← links)
- Density revisited (Q1699744) (← links)
- Gödel logics with monotone operators (Q1759702) (← links)
- Analytic calculi for product logics (Q1762728) (← links)
- A triangular-norm-based propositional fuzzy logic (Q1873678) (← links)
- On normal forms in Łukasiewicz logic (Q1882628) (← links)
- A complete many-valued logic with product-conjunction (Q1913299) (← links)
- On finite-valued propositional logical calculi (Q1913635) (← links)
- On triangular norm-based propositional fuzzy logics (Q1914464) (← links)
- Fuzzy logic and arithmetical hierarchy (Q1920268) (← links)
- On theories of random variables (Q1955792) (← links)
- Pavelka-style fuzzy logic in retrospect and prospect (Q2014419) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- A proof of the standard completeness for the involutive uninorm logic (Q2337894) (← links)
- Some properties of the variations of non-additive set functions on \(T\)-tribes (Q2458492) (← links)
- (Q2871607) (← links)
- On some extensions of the class of MV-algebras (Q2987756) (← links)
- Algebraic Analysis of Many Valued Logics (Q3253788) (← links)
