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