Density revisited
From MaRDI portal
Publication:1699744
DOI10.1007/S00500-016-2420-7zbMATH Open1396.03060OpenAlexW2912110971MaRDI QIDQ1699744FDOQ1699744
Authors: 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
Recommendations
Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Cut-elimination and normal-form theorems (03F05)
Cites Work
- Standard completeness for extensions of MTL: an automated approach
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Algebraic Analysis of Many Valued Logics
- A propositional calculus with denumerable matrix
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- 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
- Standard completeness theorem for \(\Pi\)MTL
- Densification via polynomials, languages, and frames
- Proof theory for fuzzy logics
- Densification of FL chains via residuated frames
- Title not available (Why is that?)
- HpsUL is not the logic of pseudo-uninorms and their residua
- On Weakly Cancellative Fuzzy Logics
- Algebraic proof theory for substructural logics: cut-elimination and completions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Substructural fuzzy logics
- Residuated lattices. An algebraic glimpse at substructural logics
- A note on standard completeness for some extensions of uninorm logic
- Density elimination
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
- THE STRUCTURE OF RESIDUATED LATTICES
- Fragments of Many-Valued Statement Calculi
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Conrad program: from \(l\)-groups to algebras of logic.
- Analytic calculi for product logics
- Sequent and hypersequent calculi for abelian and łukasiewicz logics
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Title not available (Why is that?)
- Hypersequents, logical consequence and intermediate logics for concurrency
- Logics without the contraction rule
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- A complete many-valued logic with product-conjunction
- Title not available (Why is that?)
- Uniform proofs of standard completeness for extensions of first-order MTL
- The lex property of varieties of lattice ordered groups
- Title not available (Why is that?)
Cited In (16)
- Densities in Fabry's theorem
- Densification of FL chains via residuated frames
- Density and dimension
- Density Elimination and Rational Completeness for First-Order Logics
- Density of normal elements
- Title not available (Why is that?)
- Density elimination
- THE COMPUTATIONAL CONTENT OF INTRINSIC DENSITY
- The logic of pseudo-uninorms and their residua
- Theorems of Alternatives for Substructural Logics
- Density near zero
- Densification via polynomials, languages, and frames
- Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic
- A proof of the standard completeness for the involutive uninorm logic
- Transference of density
- Density zero slaloms
Uses Software
This page was built for publication: Density revisited
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1699744)
