Analytic Calculi for Product Logics

This publication has 14 references indexed in Scilit:

• Cut-elimination in a sequents-of-relations calculus for Godel logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Analytic Sequent Calculi for Abelian and Łukasiewicz Logics
  Published by Springer Nature ,2002
• Finite-valued reductions of infinite-valued logics
  Archive for Mathematical Logic, 2002
• Monoidal t-norm based logictowards a logic for left-continuous t-norms
  Fuzzy Sets and Systems, 2001
• About axiomatic systems of product fuzzy logic
  Soft Computing, 2001
• Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic
  Published by Springer Nature ,2000
• A complete many-valued logic with product-conjunction
  Archive for Mathematical Logic, 1996
• Hypersequents, logical consequence and intermediate logics for concurrency
  Annals of Mathematics and Artificial Intelligence, 1991
• A constructive analysis of RM
  The Journal of Symbolic Logic, 1987
• Fragments of many-valued statement calculi
  Transactions of the American Mathematical Society, 1958