Fragments of Many-Valued Statement Calculi
From MaRDI portal
Cites work
Cited in
(65)- Giles's game and the proof theory of Łukasiewicz logic
- Additive fuzzy measures and integrals. I
- Decidable and undecidable MV-algebras
- Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras
- Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
- Satisfiability in many-valued sentential logic is NP-complete
- An axiomatization of the finite-valued Łukasiewicz calculus
- Triangular norm-based measures and their Markov kernel representation
- An extension of the Lukasiewicz logic to the modal logic of quantum mechanics
- Fuzzy games: A description of the concept
- The complexity of McNaughton functions of one variable
- Resolution and model building in the infinite-valued calculus of Łukasiewicz
- Wajsberg algebras and Post algebras
- A triangular norm-based fuzzy predicate logic
- Density revisited
- Gödel logics with monotone operators
- Analytic calculi for product logics
- A triangular-norm-based propositional fuzzy logic
- On normal forms in Łukasiewicz logic
- A complete many-valued logic with product-conjunction
- On finite-valued propositional logical calculi
- On triangular norm-based propositional fuzzy logics
- Fuzzy logic and arithmetical hierarchy
- On theories of random variables
- Pavelka-style fuzzy logic in retrospect and prospect
- Set of support, demodulation, paramodulation: a historical perspective
- Amalgamation and interpolation in ordered algebras.
- A proof of the standard completeness for the involutive uninorm logic
- Some properties of the variations of non-additive set functions on T-tribes
- Simple games in Łukasiewicz calculus and their cores
- On some extensions of the class of MV-algebras
- Algebraic Analysis of Many Valued Logics
- Solution to a Problem of Rose and Rosser
- Generalized versions of MV-algebraic central limit theorems.
- Some notes concerning fuzzy logics
- scientific article; zbMATH DE number 1053091 (Why is no real title available?)
- The dual adjunction between MV-algebras and Tychonoff spaces
- Interval MV-algebras and generalizations.
- Łukasiewicz and His Followers in Many-Valued Logic
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3
- Consequence Relations with Real Truth Values
- Computing on Lattice-Ordered Abelian Groups
- Jan Łukasiewicz Life, Work, Legacy
- The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview
- Adding structure to MV-algebras
- scientific article; zbMATH DE number 7687773 (Why is no real title available?)
- An elementary belief function logic
- Rational Pavelka logic: the best among three worlds?
- Some model-theoretic correspondences between dimension groups and AF algebras
- Fuzzy logic from the logical point of view
- These degrees go to eleven: fuzzy logics and gradable predicates
- Automated theorem proving for Łukasiewicz logics
- A note on fixed points in Łukasiewicz logic
- NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL
- A game-based formal system for Ł\(_\infty\)
- Double-negation elimination in some propositional logics
- Complexity issues in Basic Logic
- Two notions of compactness in Gödel logics
- Frames and MV-algebras
- MV-algebras: An approach to fixed points in Łukasiewicz logic
- Modeling sorites reasoning with adaptive fuzzy logic
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth
- Normal forms for fuzzy logics: a proof-theoretic approach
- The problem of artificial precision in theories of vagueness: a note on the rôle of maximal consistency
- Forcing in Łukasiewicz predicate logic
This page was built for publication: Fragments of Many-Valued Statement Calculi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3256302)
