Density revisited
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1670477 (Why is no real title available?)
- scientific article; zbMATH DE number 5772813 (Why is no real title available?)
- scientific article; zbMATH DE number 1950262 (Why is no real title available?)
- scientific article; zbMATH DE number 2113968 (Why is no real title available?)
- scientific article; zbMATH DE number 6276267 (Why is no real title available?)
- scientific article; zbMATH DE number 6276268 (Why is no real title available?)
- scientific article; zbMATH DE number 6276269 (Why is no real title available?)
- scientific article; zbMATH DE number 2208113 (Why is no real title available?)
- A complete many-valued logic with product-conjunction
- A note on standard completeness for some extensions of uninorm logic
- A proof of standard completeness for Esteva and Godo's logic MTL
- A propositional calculus with denumerable matrix
- Algebraic Analysis of Many Valued Logics
- Algebraic proof theory for substructural logics: cut-elimination and completions
- Analytic calculi for product logics
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Densification of FL chains via residuated frames
- Densification via polynomials, languages, and frames
- Density elimination
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Fragments of Many-Valued Statement Calculi
- HpsUL is not the logic of pseudo-uninorms and their residua
- Hypersequents, logical consequence and intermediate logics for concurrency
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- Logics without the contraction rule
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- On Weakly Cancellative Fuzzy Logics
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- Proof theory for fuzzy logics
- Residuated lattices. An algebraic glimpse at substructural logics
- Sequent and hypersequent calculi for abelian and łukasiewicz logics
- Standard completeness for extensions of MTL: an automated approach
- Standard completeness theorem for \(\Pi\)MTL
- Substructural fuzzy logics
- THE STRUCTURE OF RESIDUATED LATTICES
- The Conrad program: from \(l\)-groups to algebras of logic.
- The lex property of varieties of lattice ordered groups
- Uniform proofs of standard completeness for extensions of first-order MTL
Cited in
(16)- Densities in Fabry's theorem
- Densification of FL chains via residuated frames
- Density and dimension
- Density of normal elements
- Density Elimination and Rational Completeness for First-Order Logics
- scientific article; zbMATH DE number 566006 (Why is no real title available?)
- 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
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)
