A family of Gödel hybrid logics

DOI10.1016/j.jal.2010.08.008zbMath1215.03045OpenAlexW2080568060MaRDI QIDQ631082

Yakoub Salhi, Didier Galmiche

Publication date: 22 March 2011

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

Full work available at URL: https://doi.org/10.1016/j.jal.2010.08.008

zbMATH Keywords

fuzzy logicsequent calculusdecidabilityhybrid logicfinite model propertyGödel logicintermediate logicsdecision procedures

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Combined logics (03B62)

Related Items

Intuitionistic hybrid logic: introduction and survey

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Graph-based decision for Gödel-Dummett logics
• Metamathematics of fuzzy logic
• Making fuzzy description logic more general
• Intuitionistic hybrid logic
• A propositional calculus with denumerable matrix
• MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
• A constructive analysis of RM
• Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
• Internalizing labelled deduction
• Automated Reasoning
• Bounding Resource Consumption with Gödel-Dummett Logics