Involutive uninorm logic with fixed point enjoys finite strong standard completeness

DOI10.1007/s00153-022-00839-1OpenAlexW2978832551MaRDI QIDQ2700813

Sándor Jenei

Publication date: 27 April 2023

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1910.01393

zbMATH Keywords

embeddingstandard completenessinvolutive residuated latticessubstructural fuzzy logics

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• Abelian logic and the logics of pointed lattice-ordered varieties
• Metamathematics of fuzzy logic
• On the structure of rotation-invariant semigroups
• A proof of standard completeness for Esteva and Godo's logic MTL
• A category equivalence for odd Sugihara monoids and its applications
• The Hahn embedding theorem for a class of residuated semigroups
• A proof of the standard completeness for the involutive uninorm logic
• The Structure of the Real Line
• Substructural fuzzy logics
• Correction to: ``The Hahn embedding theorem for a class of residuated semigroups
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Involutive uninorm logic with fixed point enjoys finite strong standard completeness