Advanced Łukasiewicz calculus and MV-algebras
From MaRDI portal
(Redirected from Publication:626097)
Recommendations
Cited in
(only showing first 100 items - show all)- Stable non-standard imprecise probabilities
- On weak convex MV-algebras
- Implicit definability of truth constants in Łukasiewicz logic
- scientific article; zbMATH DE number 2172902 (Why is no real title available?)
- Towards understanding the Pierce-Birkhoff conjecture via MV-algebras
- Two notions of MV-algebraic semisimplicity relative to fixed MV-chains
- Amalgamation and interpolation in ordered algebras.
- THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS
- Priestley duality for MV-algebras and beyond
- The differential semantics of Łukasiewicz syntactic consequence
- The problem of artificial precision in theories of vagueness: a note on the rôle of maximal consistency
- Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\)
- Non-standard probability, coherence and conditional probability on many-valued events
- Łukasiewicz logics for cooperative games
- A Geometric Approach to MV-Algebras
- Layers of zero probability and stable coherence over Łukasiewicz events
- Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\)
- An analysis of the logic of Riesz spaces with strong unit
- From noncommutative diagrams to anti-elementary classes
- Depth-bounded belief functions
- Infinite valued Łukasiewicz logic
- On a problem of Conrad on Riesz space structures
- Logics for belief functions on MV-algebras
- Duality theory and skeleta for semisimple MV-algebras
- Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions
- Bratteli diagrams via the De Concini-Procesi theorem
- Risk analysis via Łukasiewicz logic
- What the Łukasiewicz axioms mean
- Coordinatizing some concrete MV algebras and a decomposition theorem
- Measures induced by units
- AF-algebras with lattice-ordered \(K_0\): logic and computation
- Liminary \(C^{\ast}\)-algebras with boolean spectrum
- An asymptotically tight bound on countermodels for Łukasiewicz logic
- Spectral spaces of countable abelian lattice-ordered groups
- Geometric issues in the algebraic theory of many valued logics.
- Hahn-Banach theorems for MV-algebras
- MV-algebras freely generated by finite Kleene algebras.
- The two-sorted algebraic theory of states, and the universal states of MV-algebras
- Hyperstates of involutive MTL-algebras that satisfy \((2x)^2=2(x^2)\)
- Word problems in Elliott monoids
- Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem.
- scientific article; zbMATH DE number 7357543 (Why is no real title available?)
- Pro-compactly finite MV-algebras
- Exploring infinitesimal events through MV-algebras and non-Archimedean states
- POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION
- An extension of Stone duality to fuzzy topologies and MV-algebras
- Operators on Pavelka's algebras induced by fuzzy relations
- Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics
- Stone MV-algebras and strongly complete MV-algebras
- Logical entropy of dynamical systems in product MV-algebras and general scheme
- Coherence of the product law for independent continuous events
- Leibniz interpolation properties
- De Finetti's coherence and exchangeability in infinitary logic
- R-norm entropy and R-norm divergence in product MV-algebras
- Some remarks on the logic of probabilistic relevance
- On central limit theorems for IV-events
- Algebraic geometry for \(\ell \)-groups
- On the complexity of validity degrees in Łukasiewicz logic
- Profinite MV-algebras and multisets.
- Recognizing free generating sets of \(\ell\)-groups
- A finite axiomatization of positive MV-algebras
- Fixpoint Theory -- Upside Down
- A logico-geometric comparison of coherence for non-additive uncertainty measures
- Cevian operations on distributive lattices
- Germinal theories in Łukasiewicz logic
- Polyhedral MV-algebras
- The dual adjunction between MV-algebras and Tychonoff spaces
- Scalar extensions for algebraic structures of Łukasiewicz logic.
- Belief functions on MV-algebras of fuzzy sets: an overview
- A solution to the MV-spectrum problem in size aleph one
- Convex MV-algebras: many-valued logics meet decision theory
- The spectrum problem for abelian \(\ell\)-groups and MV-algebras
- Ordered group-valued probability, positive operators, and integral representations
- Universal properties of Łukasiewicz consequence
- Functional representation of finitely generated free algebras in subvarieties of BL-algebras
- Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics
- Towards a unified view on logics for uncertainty
- Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
- Affine representations of \(\ell\)-groups and MV-algebras
- Linear Logic and Lukasiewicz ℵ0- Valued Logic: A Logico-Algebraic Study
- Cevian properties in ideal lattices of abelian \(\ell\)-groups
- On semi maximal filters in BL-algebras
- Morphisms on EMV-algebras and their applications
- Bernoulli automorphisms of finitely generated free MV-algebras
- Sheaves and duality
- On the geometric theory of local MV-algebras
- States of finite GBL-algebras with monoidal sum
- Coherence in the aggregate: a betting method for belief functions on many-valued events
- From Specker \(\ell\)-groups to Boolean algebras via \(\Gamma\)
- Sheaf representations and locality of Riesz spaces with order unit
- Franco Montagna's work on provability logic and many-valued logic
- Yosida frames in free abelian \(\ell \)-groups
- Computing on Lattice-Ordered Abelian Groups
- Some invariant skeletons for -u groups and MV-algebras
- Profinite completions and MacNeille completions of finitely presented MV-algebras
- Compactness in MV-topologies: Tychonoff theorem and Stone-Čech compactification
- The semiring-theoretic approach to MV-algebras: a survey
- Logical perspectives on the foundations of probability
- Coproducts of distributive lattice-based algebras.
- $K$-theory of cluster $C^*$-algebras
This page was built for publication: Advanced Łukasiewicz calculus and MV-algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q626097)
