Algebraic foundations of many-valued reasoning
From MaRDI portal
(Redirected from Publication:1817694)
MV-algebralattice-ordered groupMcNaughton functionfree MV-algebrainfinite-valued propositional calculus
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Many-valued logic (03B50) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Other algebras related to logic (03G25) MV-algebras (06D35) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)
Recommendations
Cited in
(only showing first 100 items - show all)- Bookmaking over infinite-valued events
- The category of Archimedean \(\ell\)-groups with strong unit, and some of its epireflective subcategories
- A non-commutative generalization of Łukasiewicz rings
- Advanced Łukasiewicz calculus and MV-algebras
- A logic for reasoning about the probability of fuzzy events
- Probabilistic averaging in bounded commutative residuated \(\ell\)-monoids
- De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic
- Generalized MV-algebras
- Classes of filters in generalizations of commutative fuzzy structures
- MV-algebras, multiple bets and subjective states
- Isomorphism theorems on generalized effect algebras based on atoms
- MV-algebras with internal states and probabilistic fuzzy logics
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Coproducts of distributive lattice-based algebras.
- The algebra of many-valued quantities
- A new approach for classification of filters in residuated lattices
- Effect algebras with state operator
- On tense MV-algebras
- Pasting of lattice-ordered effect algebras
- On the structure of pseudo BL-algebras and pseudo hoops in quantum logics
- Almost structural completeness; an algebraic approach
- Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
- Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras
- Pseudo MV-algebras are intervals in ℓ-groups
- The structure of generalized intermediate syllogisms
- A categorical equivalence motivated by Kalman's construction
- A representation theorem for integral rigs and its applications to residuated lattices.
- On Fuzzy Logic I Many‐valued rules of inference
- A note on Trillas' CHC models
- \(*\)-maximum lattice-ordered groups.
- A formal theory of generalized intermediate syllogisms
- Conditional probability on MV-algebras
- States on quantum structures versus integrals
- Fuzzy points and attachment
- A characterization theorem on the rotation construction for triangular norms
- State-morphism MV-algebras
- Every state on semisimple MV-algebra is integral
- A logical characterization of coherence for imprecise probabilities
- A categorical equivalence for product algebras
- Non-standard probability, coherence and conditional probability on many-valued events
- State morphism MV-algebras
- Ordered groups with a conucleus
- Every state on interval effect algebra is integral
- Commutative rings whose ideals form an MV-algebra
- Least \(V\)-quasivarieties of MV-algebras
- An abstract approach to consequence relations
- BCI-implicative ideals of BCI-algebras
- AF inverse monoids and the structure of countable MV-algebras
- \(n\)-perfect and \(\mathbb Q\)-perfect pseudo effect algebras
- Conditional probability on \(\sigma\)-MV-algebras
- Adding structure to MV-algebras
- Amalgamation and interpolation in ordered algebras.
- Algebraic analysis of fuzzy systems
- The Rényi-Ulam games and many-valued logics
- \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic
- Representation and extension of states on MV-algebras
- The coherence of Łukasiewicz assessments is NP-complete
- Proof theory for locally finite many-valued logics: semi-projective logics
- Lattice-ordered effect algebras and L-algebras
- A logical and algebraic treatment of conditional probability
- On the predicate logics of continuous t-norm BL-algebras
- Strict coherence on many-valued events
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- On n ‐contractive fuzzy logics
- Propositional dynamic logic for searching games with errors
- scientific article; zbMATH DE number 1455805 (Why is no real title available?)
- Pseudo \(d\)-algebras
- Some types of filters in residuated lattices
- Continuous lattice effect algebras admitting order-continuous states
- Free nilpotent minimum algebras
- scientific article; zbMATH DE number 5076628 (Why is no real title available?)
- Analysis of generalized square of opposition with intermediate quantifiers
- Stable non-standard imprecise probabilities
- EI, involutory and EQI-ideal in bounded BCK-algebras.
- Graded consequence revisited
- The approximation of piecewise linear membership functions and Łukasiewicz operators
- Natural dualities for varieties of MV-algebras. I
- A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system
- Operators on MV-algebras and their representations.
- Perfect GMV-Algebras
- Representation theory of MV-algebras
- Modal definability based on Łukasiewicz validity relations
- The left adjoint of Spec from a category of lattice-ordered groups
- Invariant Measures in Free MV-Algebras
- Franco Montagna's work on provability logic and many-valued logic
- On central limit theorems for IV-events
- Applications of Finite Duality to Locally Finite Varieties of BL-Algebras
- Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems
- On the lattice of deductive systems of a BL-algebra
- Smarandache BL-algebra
- Some invariant skeletons for \(\ell\)-u groups and MV-algebras
- Generalizations of Boolean products for lattice-ordered algebras
- The variety of lattice effect algebras generated by MV-algebras and the horizontal sum of two 3-element chains
- Which logic is the real fuzzy logic?
- An algebraic characterization of o-minimal and weakly o-minimal MV-chains
- Weakly divisible MV-algebras and product
- Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups
- Geometry of Robinson consistency in Łukasiewicz logic
- Extended-order algebras
- Associativity, commutativity and symmetry in residuated structures
This page was built for publication: Algebraic foundations of many-valued reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1817694)
