Density elimination

DOI10.1016/J.TCS.2008.05.019MaRDI QIDQ944384zbMATH OpenOpenAlexFDO

Authors Agata Ciabattoni, George Metcalfe

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)

Recommendations

• Density Elimination and Rational Completeness for First-Order Logics
• Density revisited
• scientific article
• A proof of the standard completeness for the involutive uninorm logic
• The logic of pseudo-uninorms and their residua

Cites work

• scientific article; zbMATH DE number 1670477 (Why is no real title available?)
• scientific article; zbMATH DE number 2113968 (Why is no real title available?)
• A constructive analysis of RM
• A proof of standard completeness for Esteva and Godo's logic MTL
• Computer Science Logic
• Density Elimination and Rational Completeness for First-Order Logics
• Hypersequents, logical consequence and intermediate logics for concurrency
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
• Logic with truth values in A linearly ordered heyting algebra
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• On theories and models in fuzzy predicate logics
• Substructural fuzzy logics
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES

Cited in

(17)

• Density revisited
• Densification of FL chains via residuated frames
• Hypersequent and display calculi -- a unified perspective
• Proof theory for lattice-ordered groups
• A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
• Theorems of Alternatives for Substructural Logics
• Substructural fuzzy logics
• Density zero slaloms
• Uniform proofs of standard completeness for extensions of first-order MTL
• Density Elimination and Rational Completeness for First-Order Logics
• Densification via polynomials, languages, and frames
• 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
• Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
• A proof of the standard completeness for the involutive uninorm logic
• Implicational (semilinear) logics. III: Completeness properties
• The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination

This page was built for publication: Density elimination

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