A note on Kripke semantics for residuated logic

DOI10.1016/0165-0114(95)00085-2zbMath0868.03004OpenAlexW2088409477MaRDI QIDQ678998

Wendy MacCaull

Publication date: 18 August 1997

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0165-0114(95)00085-2

zbMATH Keywords

approximate reasoningsubstructural logicKripke semanticsformal languagesresiduated logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Tableau method for residuated logic

Cites Work

• Unnamed Item
• Unnamed Item
• Sequent-systems and groupoid models. I
• Fuzzy sets and residuated logic
• Tableau method for residuated logic
• Logics without the contraction rule

This page was built for publication: A note on Kripke semantics for residuated logic