Sequent and hypersequent calculi for abelian and łukasiewicz logics

DOI10.1145/1071596.1071600zbMath1407.03037arXivcs/0211021OpenAlexW2088476380MaRDI QIDQ5277732

George Metcalfe, Nicola Olivetti, Dov M. Gabbay

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/cs/0211021

zbMATH Keywords

Łukasiewicz logichypersequentssequentsabelian logic

Mathematics Subject Classification ID

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

Related Items (19)

Proof theory for lattice-ordered groups ⋮ From truth degree comparison games to sequents-of-relations calculi for Gödel logic ⋮ Normal forms for fuzzy logics: a proof-theoretic approach ⋮ Fuzzy logics based on \([0,1)\)-continuous uninorms ⋮ On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\) ⋮ Mathematical Fuzzy Logics ⋮ Dual tableau for monoidal triangular norm logic MTL ⋮ Labelled Calculi for Łukasiewicz Logics ⋮ Proof search and co-NP completeness for many-valued logics ⋮ Density revisited ⋮ A Calculus for Rational Łukasiewicz Logic and Related Systems ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic ⋮ Finite axiomatizability in Łukasiewicz logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Expanding the Realm of Systematic Proof Theory ⋮ Theorems of Alternatives for Substructural Logics ⋮ ALGEBRAIC EXPANSIONS OF LOGICS

This page was built for publication: Sequent and hypersequent calculi for abelian and łukasiewicz logics