Density revisited
From MaRDI portal
Publication:1699744
DOI10.1007/s00500-016-2420-7zbMath1396.03060OpenAlexW2912110971MaRDI QIDQ1699744
George Metcalfe, Constantine Tsinakis
Publication date: 23 February 2018
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00500-016-2420-7
Fuzzy logic; logic of vagueness (03B52) Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50)
Related Items (5)
Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic ⋮ Densification via polynomials, languages, and frames ⋮ The logic of pseudo-uninorms and their residua ⋮ A proof of the standard completeness for the involutive uninorm logic ⋮ Theorems of Alternatives for Substructural Logics
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Densification of FL chains via residuated frames
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
- Algebraic proof theory for substructural logics: cut-elimination and completions
- Uniform proofs of standard completeness for extensions of first-order MTL
- Residuated lattices. An algebraic glimpse at substructural logics
- A note on standard completeness for some extensions of uninorm logic
- The Conrad program: from \(l\)-groups to algebras of logic.
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Density elimination
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- The lex property of varieties of lattice ordered groups
- 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\)
- Analytic calculi for product logics
- Standard completeness theorem for \(\Pi\)MTL
- A complete many-valued logic with product-conjunction
- Densification via polynomials, languages, and frames
- Proof theory for fuzzy logics
- Standard Completeness for Extensions of MTL: An Automated Approach
- THE STRUCTURE OF RESIDUATED LATTICES
- Algebraic Analysis of Many Valued Logics
- Fragments of Many-Valued Statement Calculi
- A propositional calculus with denumerable matrix
- HpsUL is not the logic of pseudo-uninorms and their residua
- On Weakly Cancellative Fuzzy Logics
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
- Logics without the contraction rule
- Sequent and hypersequent calculi for abelian and łukasiewicz logics
- Substructural fuzzy logics
This page was built for publication: Density revisited
