Cut and Weakening in Fuzzy Horn Logic

DOI10.1093/jigpal/jzi044zbMath1087.03016OpenAlexW2153974464MaRDI QIDQ5716215

Vilem Vychodil

Publication date: 18 January 2006

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/17040530e4cbbad650c2d55c9c46eba9ff66d462

zbMATH Keywords

fuzzy logicequational reasoningcutHorn logicfuzzy equalityweakeningfuzzy equational logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Related Items (1)

Fuzzy Horn logic. I. Proof theory.

This page was built for publication: Cut and Weakening in Fuzzy Horn Logic