Density elimination

DOI10.1016/j.tcs.2008.05.019zbMath1206.03027OpenAlexW2188802573MaRDI QIDQ944384

George Metcalfe, Agata Ciabattoni

Publication date: 16 September 2008

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.05.019

zbMATH Keywords

cut eliminationhypersequentsfuzzy logicsdensity eliminationsequents

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Cut-elimination and normal-form theorems (03F05)

Related Items (13)

Densification of FL chains via residuated frames ⋮ Proof theory for lattice-ordered groups ⋮ A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts ⋮ A note on standard completeness for some extensions of uninorm logic ⋮ Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic ⋮ Density revisited ⋮ Densification via polynomials, languages, and frames ⋮ Implicational (semilinear) logics. III: Completeness properties ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions ⋮ Uniform proofs of standard completeness for extensions of first-order MTL ⋮ A proof of the standard completeness for the involutive uninorm logic ⋮ Theorems of Alternatives for Substructural Logics

Cites Work

• 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
• A proof of standard completeness for Esteva and Godo's logic MTL
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
• On theories and models in fuzzy predicate logics
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• A constructive analysis of RM
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• Computer Science Logic
• Substructural fuzzy logics
• Density Elimination and Rational Completeness for First-Order Logics
• Logic with truth values in A linearly ordered heyting algebra

This page was built for publication: Density elimination