Substructural fuzzy logics
From MaRDI portal
density rulehypersequent calculimathematical fuzzy logicssubstructural logicst-norm-based logicsuninorm-based logics
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Logical aspects of lattices and related structures (03G10)
Recommendations
- The finite model property for semilinear substructural logics
- Fuzzy logics based on \([0,1)\)-continuous uninorms
- Density Elimination and Rational Completeness for First-Order Logics
- Density elimination
- Fuzzy logic algebras on residuated lattices
- A unified normal residuated based logic system and its completeness
- Metamathematics of fuzzy logic
- Some Properties of Residuated Lattices
- scientific article; zbMATH DE number 2177629
- scientific article; zbMATH DE number 1790412
Cites work
Cited in
(83)- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Fraïssé classes of graded relational structures
- Weakening-free, non-associative fuzzy logics: micanorm-based logics
- Relative congruence formulas and decompositions in quasivarieties
- Involutive basic substructural core fuzzy logics: involutive mianorm-based logics
- Obituary: Franco Montagna (1948--2015)
- Subminimal negation
- Density revisited
- Implicational (semilinear) logics. III: Completeness properties
- Back-and-forth systems for fuzzy first-order models
- A category equivalence for odd Sugihara monoids and its applications
- On involutive FL\(_{e}\)-monoids
- Semilinear substructural logics with the finite embeddability property
- Fuzzy sets and formal logics
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras
- Micanorm aggregation operators: basic logico-algebraic properties
- Group representation for even and odd involutive commutative residuated chains
- Densification via polynomials, languages, and frames
- Hypersequent and display calculi -- a unified perspective
- Triangular norm based predicate fuzzy logics
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
- On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\)
- Categories of models of \(\mathbf{R}\)-mingle
- Uninorm based residual implications satisfying the modus ponens property with respect to a uninorm
- The logic of pseudo-uninorms and their residua
- Logics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras are substructural fuzzy logics
- A proof of the standard completeness for the involutive uninorm logic
- Admissibility via natural dualities
- Weakening-free fuzzy logics with the connective \(\Delta\)
- Epimorphisms in varieties of residuated structures
- Modus tollens with respect to uninorms: \(U\)-modus tollens
- Involutive uninorm logic with fixed point enjoys finite strong standard completeness
- Densification of FL chains via residuated frames
- Co-rotation constructions of residuated semigroups
- The finite model property for semilinear substructural logics
- Proof theory for lattice-ordered groups
- Tools for the investigation of substructural and paraconsistent logics
- A survey on the existing classes of uninorms
- Mathematical Fuzzy Logics
- R and relevance principle revisited
- On an axiomatic system for the logic of linearly ordered BCI-matrices
- Algebraic Kripke-style semantics for relevance logics
- Substructural fuzzy-relevance logic
- Theorems of Alternatives for Substructural Logics
- scientific article; zbMATH DE number 7547163 (Why is no real title available?)
- A classification of certain group-like \(\mathrm{FL}_e\)-chains
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
- Idempotent residuated structures: Some category equivalences and their applications
- n-contractive BL-logics
- Inconsistency lemmas in algebraic logic
- Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
- Construction methods for the smallest and largest uni-nullnorms on bounded lattices
- Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic
- A characterization of uninorms on bounded lattices via closure and interior operators
- A New Class of Uninorm Aggregation Operations for Fuzzy Theory
- Introducing Group-Like Uninorms—Construction and Characterization
- Constructing uninorms on bounded lattices through closure and interior operators
- Semiconic idempotent logic. I: Structure and local deduction theorems.
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices
- Basic substructural core fuzzy logics and their extensions: mianorm-based logics
- These degrees go to eleven: fuzzy logics and gradable predicates
- Basic semilinear logics based on \([0,u]\)-continuous uwa-uninorms
- An algebraic approach to the study of monadic substructural predicate logics over \(\mathbf{FL_{ew}}\)
- New methods to construct uninorms by extending uninorms with closure operators and t-superconorms.
- The complexity of classifying continuous t-norms up to isomorphism
- New foundations of reasoning via real-valued first-order logics
- Implicational tonoids and their representations
- Weak associative micanorm-based logics: \([0, e]\)-continuous \(\nu\)-weak-associative logics
- A state-of-the-art survey of the most prominent classes of uninorms on the unit interval
- A categorical equivalence for odd or even involutive \(\mathrm{FL}_e\)-chains
- New building procedures for uninorms on a bounded lattice using a uninorm defined on its closed subintervals
- Uninorm logic with the \(n\)-potency axiom
- On a new class of uninorms constructed by a uninorm on a sublattice of a bounded lattice
- An algebraic proof of completeness for monadic fuzzy predicate logic \(\mathbf{MMTL} \forall\)
- _2-rule systems and inductive classes of Gödel algebras
- New methods to construct uninorms on bounded lattices via uninorms defined on their sublattices
- Algebraic proof theory: hypersequents and hypercompletions
- Uniform proofs of standard completeness for extensions of first-order MTL
- On the difference between traditional and deductive fuzzy logic
- Fuzzy logics based on \([0,1)\)-continuous uninorms
- A note on standard completeness for some extensions of uninorm logic
- Density elimination
- Implicational (semilinear) logics. I: A new hierarchy
This page was built for publication: Substructural fuzzy logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5422306)
