Storage Operators and Multiplicative Quantifiers in Many-valued Logics

DOI10.1093/LOGCOM/14.2.299MaRDI QIDQ4820469zbMATH OpenOpenAlexFDO

Authors 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

many-valued logicalgebraic semanticsstorage operatorsmultiplicative quantifiersnon-truth-functional logicresource-sensitive logic

Mathematics Subject Classification ID

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

Recommendations

• Quantitative logic: a quantitative approach to many-valued logics
• Many-valued logics. A mathematical and computational introduction
• scientific article; zbMATH DE number 1790414
• scientific article; zbMATH DE number 1324434
• scientific article; zbMATH DE number 35414

Cited in

(14)

• Contraction, infinitary quantifiers, and omega paradoxes
• Logical consequence and the paradoxes
• Modal MTL-algebras
• Franco Montagna's work on provability logic and many-valued logic
• Truth-depressing hedges and BL-logic
• 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
• Conservative expansions of substructural logics
• Extending fuzzy logics with many hedges
• Equational type characterization for \(\sigma\)-complete MV-algebras.
• Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
• From double pushout grammars to hypergraph Lambek grammars with and without exponential modality
• An expansion of basic logic with fixed points
• Obituary: Franco Montagna (1948--2015)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4820469)