Substructural fuzzy logics

DOI10.2178/jsl/1191333844zbMath1139.03017OpenAlexW2112664318MaRDI QIDQ5422306

Publication date: 17 October 2007

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1191333844

zbMATH Keywords

substructural logics hypersequent calculi mathematical fuzzy logics density rule t-norm-based logics uninorm-based logics

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

Densification of FL chains via residuated frames ⋮ Co-rotation constructions of residuated semigroups ⋮ Proof theory for lattice-ordered groups ⋮ On the difference between traditional and deductive fuzzy logic ⋮ Fraïssé classes of graded relational structures ⋮ Group representation for even and odd involutive commutative residuated chains ⋮ Weakening-free fuzzy logics with the connective \(\Delta\) ⋮ Modus tollens with respect to uninorms: \(U\)-modus tollens ⋮ Tools for the Investigation of Substructural and Paraconsistent Logics ⋮ \(\mathbf R\) and relevance principle revisited ⋮ Weakening-free, non-associative fuzzy logics: micanorm-based logics ⋮ Epimorphisms in varieties of residuated structures ⋮ Fuzzy logics based on \([0,1)\)-continuous uninorms ⋮ Relative congruence formulas and decompositions in quasivarieties ⋮ A category equivalence for odd Sugihara monoids and its applications ⋮ Construction methods for the smallest and largest uni-nullnorms on bounded lattices ⋮ A note on standard completeness for some extensions of uninorm logic ⋮ Mathematical Fuzzy Logics ⋮ Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic ⋮ On involutive FL\(_{e}\)-monoids ⋮ On an axiomatic system for the logic of linearly ordered BCI-matrices ⋮ A characterization of uninorms on bounded lattices via closure and interior operators ⋮ Involutive basic substructural core fuzzy logics: involutive mianorm-based logics ⋮ A New Class of Uninorm Aggregation Operations for Fuzzy Theory ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Subminimal negation ⋮ Density revisited ⋮ Involutive uninorm logic with fixed point enjoys finite strong standard completeness ⋮ A survey on the existing classes of uninorms ⋮ Amalgamation through quantifier elimination for varieties of commutative residuated lattices ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ Densification via polynomials, languages, and frames ⋮ Inconsistency lemmas in algebraic logic ⋮ Density elimination ⋮ NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES ⋮ Implicational (semilinear) logics. III: Completeness properties ⋮ Basic substructural core fuzzy logics and their extensions: mianorm-based logics ⋮ BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS ⋮ A classification of certain group-like \(\mathrm{FL}_e\)-chains ⋮ Semilinear substructural logics with the finite embeddability property ⋮ \(n\)-contractive BL-logics ⋮ Uninorm logic with the \(n\)-potency axiom ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Implicational (semilinear) logics. I: A new hierarchy ⋮ Fuzzy sets and formal logics ⋮ 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}\) ⋮ Unnamed Item ⋮ Algebraic proof theory: hypersequents and hypercompletions ⋮ Back-and-forth systems for fuzzy first-order models ⋮ Uniform proofs of standard completeness for extensions of first-order MTL ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ Categories of models of \(\mathbf{R}\)-mingle ⋮ Uninorm based residual implications satisfying the modus ponens property with respect to a uninorm ⋮ Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras ⋮ Idempotent residuated structures: Some category equivalences and their applications ⋮ The logic of pseudo-uninorms and their residua ⋮ The finite model property for semilinear substructural logics ⋮ Logics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras are substructural fuzzy logics ⋮ A proof of the standard completeness for the involutive uninorm logic ⋮ Micanorm aggregation operators: basic logico-algebraic properties ⋮ Theorems of Alternatives for Substructural Logics ⋮ Admissibility via natural dualities

Cites Work