Pages that link to "Item:Q4820469"
From MaRDI portal
The following pages link to Storage Operators and Multiplicative Quantifiers in Many-valued Logics (Q4820469):
Displayed 14 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Equational type characterization for \(\sigma\)-complete MV-algebras. (Q353357) (← links)
- Logical consequence and the paradoxes (Q484113) (← links)
- Truth-depressing hedges and BL-logic (Q853470) (← links)
- Contraction, infinitary quantifiers, and omega paradoxes (Q1670488) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- An expansion of basic logic with fixed points (Q1699729) (← links)
- Expanding basic fuzzy logic with truth constants for component delimiters (Q1759708) (← links)
- Extending fuzzy logics with many hedges (Q1795208) (← links)
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions (Q2270235) (← links)
- Modal MTL-algebras (Q2445422) (← links)
- Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions (Q5426008) (← links)
- Conservative expansions of substructural logics (Q6201549) (← links)
- (Q6202802) (← links)