Analytic calculi for product logics

DOI10.1007/s00153-004-0225-3zbMath1066.03036OpenAlexW2013888202MaRDI QIDQ1762728

Nicola Olivetti, George Metcalfe, Dov M. Gabbay

Publication date: 11 February 2005

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-004-0225-3

zbMATH Keywords

proof theorysequent calculiproduct logicmathematical fuzzy logiccancellative hoop logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Structure of proofs (03F07) Many-valued logic (03B50)

Related Items (8)

Proof theory for lattice-ordered groups ⋮ Normal forms for fuzzy logics: a proof-theoretic approach ⋮ Fuzzy logics based on \([0,1)\)-continuous uninorms ⋮ Dual tableau for monoidal triangular norm logic MTL ⋮ Proof search and co-NP completeness for many-valued logics ⋮ Density revisited ⋮ Hypersequent and display calculi -- a unified perspective ⋮ On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Hypersequents, logical consequence and intermediate logics for concurrency
• Finite-valued reductions of infinite-valued logics
• Embedding logics into product logic
• A complete many-valued logic with product-conjunction
• The logic of inexact concepts
• Fragments of Many-Valued Statement Calculi
• A constructive analysis of RM
• Hoops and Fuzzy Logic
• Computer Science Logic
• About axiomatic systems of product fuzzy logic

This page was built for publication: Analytic calculi for product logics