The following pages link to Tommaso Flaminio (Q300552):
Displaying 50 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Paraconsistency properties in degree-preserving fuzzy logics (Q344078) (← links)
- Non-reversible betting games on fuzzy events: complexity and algebra (Q533180) (← links)
- A complete fuzzy logical system to deal with trust management systems (Q835123) (← links)
- T-norm-based logics with an independent involutive negation (Q869112) (← links)
- A logic for reasoning about the probability of fuzzy events (Q876493) (← links)
- NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach (Q877263) (← links)
- MV-algebras with internal states and probabilistic fuzzy logics (Q962839) (← links)
- The coherence of Łukasiewicz assessments is NP-complete (Q985139) (← links)
- (Q1615989) (redirect page) (← links)
- Convex MV-algebras: many-valued logics meet decision theory (Q1615991) (← links)
- On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief (Q1677044) (← links)
- Layers of zero probability and stable coherence over Łukasiewicz events (Q1699736) (← links)
- Corrigendum to: ``Towards a probability theory for product logic: states, integral representation and reasoning'' (Q1726293) (← links)
- Towards a probability theory for product logic: states, integral representation and reasoning (Q1726388) (← links)
- A logical and algebraic treatment of conditional probability (Q1766925) (← links)
- Logics for belief functions on MV-algebras (Q1951299) (← links)
- States of finite GBL-algebras with monoidal sum (Q2013841) (← links)
- Logics for strict coherence and Carnap-regular probability functions (Q2107322) (← links)
- Scoring rules for belief functions and imprecise probabilities: a comparison (Q2146030) (← links)
- Canonical extension of possibility measures to Boolean algebras of conditionals (Q2146054) (← links)
- Boolean algebras of conditionals, probability and logic (Q2211862) (← links)
- On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events (Q2237146) (← links)
- On the logical structure of de Finetti's notion of event (Q2250548) (← links)
- Generalized rough approximations in Ł\(\Pi \frac{1}{2}\) (Q2270414) (← links)
- Sure-wins under coherence: a geometrical perspective (Q2297789) (← links)
- Towards a standard completeness for a probabilistic logic on infinite-valued events (Q2297792) (← links)
- A representation theorem for finite Gödel algebras with operators (Q2303590) (← links)
- Coherence in the aggregate: a betting method for belief functions on many-valued events (Q2344366) (← links)
- Lexicographic MV-algebras and lexicographic states. (Q2350513) (← links)
- Geometrical aspects of possibility measures on finite domain MV-clans (Q2391903) (← links)
- On Boolean algebras of conditionals and their logical counterpart (Q2401874) (← links)
- Strong non-standard completeness for fuzzy logics (Q2466757) (← links)
- A Note on the Convex Structure of Uncertainty Measures on MV-algebras (Q2805774) (← links)
- Characterization of Generalized Necessity Functions in Łukasiewicz Logic (Q2838722) (← links)
- (Q2863906) (← links)
- A Logical Descriptor for Regular Languages via Stone Duality (Q2938148) (← links)
- On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events (Q3006596) (← links)
- Models for Many-Valued Probabilistic Reasoning (Q3006597) (← links)
- Belief Functions on MV-Algebras of Fuzzy Events Based on Fuzzy Evidence (Q3011980) (← links)
- On the Complexity of Non-reversible Betting Games on Many-Valued Events (Q3163975) (← links)
- Hyperstates of Involutive MTL-Algebras that Satisfy $$(2x)^2=2(x^2)$$ (Q3298273) (← links)
- Logics of formal inconsistency based on distributive involutive residuated lattices (Q3382819) (← links)
- On the Algebraic Structure of Conditional Events (Q3451169) (← links)
- A Note on Saturated Models for Many-Valued Logics (Q3454724) (← links)
- Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops (Q4555455) (← links)
- (Q4627754) (← links)
- STRICT COHERENCE ON MANY-VALUED EVENTS (Q4638974) (← links)
- (Q4906795) (← links)
- On Metric Temporal Łukasiewicz Logic (Q4982626) (← links)
