Fragments of Many-Valued Statement Calculi
From MaRDI portal
Publication:3256302
DOI10.2307/1993083zbMATH Open0085.24303OpenAlexW4234769634MaRDI QIDQ3256302FDOQ3256302
Authors: Alan Rose, J. Barkley Rosser 
Publication date: 1958
Full work available at URL: https://doi.org/10.2307/1993083
Cites Work
Cited In (63)
- Fuzzy logic from the logical point of view
- Solution to a Problem of Rose and Rosser
- Computing on Lattice-Ordered Abelian Groups
- Consequence Relations with Real Truth Values
- Rational Pavelka logic: the best among three worlds?
- On some extensions of the class of MV-algebras
- Jan Łukasiewicz Life, Work, Legacy
- Complexity issues in Basic Logic
- Set of support, demodulation, paramodulation: a historical perspective
- Wajsberg algebras and Post algebras
- 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
- On triangular norm-based propositional fuzzy logics
- Decidable and undecidable MV-algebras
- Automated theorem proving for Łukasiewicz logics
- Gödel logics with monotone operators
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- 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
- Fuzzy logic and arithmetical hierarchy
- Satisfiability in many-valued sentential logic is NP-complete
- Triangular norm-based measures and their Markov kernel representation
- Title not available (Why is that?)
- Adding structure to MV-algebras
- Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras
- An extension of the Lukasiewicz logic to the modal logic of quantum mechanics
- Interval MV-algebras and generalizations.
- Łukasiewicz and His Followers in Many-Valued Logic
- On theories of random variables
- \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic
- Title not available (Why is that?)
- Analytic calculi for product logics
- Some notes concerning fuzzy logics
- An elementary belief function logic
- Some properties of the variations of non-additive set functions on \(T\)-tribes
- Generalized versions of MV-algebraic central limit theorems.
- Some model-theoretic correspondences between dimension groups and AF algebras
- Giles's game and the proof theory of Łukasiewicz logic
- The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview
- A game-based formal system for Ł\(_\infty\)
- Fuzzy games: A description of the concept
- 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
- A complete many-valued logic with product-conjunction
- A proof of the standard completeness for the involutive uninorm logic
- An axiomatization of the finite-valued Łukasiewicz calculus
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3
- 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)
