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