Structural completeness in fuzzy logics

DOI10.1215/00294527-2009-004zbMath1190.03027DBLPjournals/ndjfl/CintulaM09OpenAlexW2031871805WikidataQ56474447 ScholiaQ56474447MaRDI QIDQ1038654

Petr Cintula, George Metcalfe

Publication date: 18 November 2009

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2009-004

zbMATH Keywords

substructural logicsresiduated latticesstructural completenessmathematical fuzzy logics

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22)

Related Items (17)

On rules ⋮ Almost structural completeness; an algebraic approach ⋮ A syntactic approach to unification in transitive reflexive modal logics ⋮ Structural completeness in relevance logics ⋮ UNIFICATION IN INTERMEDIATE LOGICS ⋮ Admissibility in De Morgan algebras ⋮ Projectivity and unification in substructural logics of generalized rotations ⋮ Implicative subreducts of MV-algebras: free and weakly projective objects ⋮ Structural completeness and superintuitionistic inquisitive logics ⋮ Structural and universal completeness in algebra and logic ⋮ Singly generated quasivarieties and residuated structures ⋮ Admissible rules in the implication-negation fragment of intuitionistic logic ⋮ Checking Admissibility Using Natural Dualities ⋮ BCK is not structurally complete ⋮ Finitary extensions of the nilpotent minimum logic and (almost) structural completeness ⋮ Hereditarily structurally complete superintuitionistic deductive systems ⋮ Structural completeness in many-valued logics with rational constants

This page was built for publication: Structural completeness in fuzzy logics