Storage Operators and Multiplicative Quantifiers in Many-valued Logics

DOI10.1093/logcom/14.2.299zbMath1061.03027OpenAlexW1994285343MaRDI QIDQ4820469

Franco Montagna

Publication date: 15 October 2004

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/14.2.299

zbMATH Keywords

algebraic semanticsmany-valued logicstorage operatorsmultiplicative quantifiersnon-truth-functional logicresource-sensitive logic

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Many-valued logic (03B50)

Related Items (max. 100)

Franco Montagna's work on provability logic and many-valued logic ⋮ Truth-depressing hedges and BL-logic ⋮ Equational type characterization for \(\sigma\)-complete MV-algebras. ⋮ Contraction, infinitary quantifiers, and omega paradoxes ⋮ Obituary: Franco Montagna (1948--2015) ⋮ An expansion of basic logic with fixed points ⋮ Conservative expansions of substructural logics ⋮ Modal MTL-algebras ⋮ Unnamed Item ⋮ Logical consequence and the paradoxes ⋮ Expanding basic fuzzy logic with truth constants for component delimiters ⋮ Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions ⋮ Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions ⋮ Extending fuzzy logics with many hedges

This page was built for publication: Storage Operators and Multiplicative Quantifiers in Many-valued Logics