A family of Gödel hybrid logics

DOI10.1016/J.JAL.2010.08.008MaRDI QIDQ631082zbMATH OpenOpenAlexFDO

Authors Didier Galmiche, Yakoub Salhi

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

decidabilityfuzzy logicsequent calculusdecision procedureshybrid logicfinite model propertyintermediate logicsGödel logic

Mathematics Subject Classification ID

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

Recommendations

• A finite model property for Gödel modal logics
• Proof systems for a Gödel modal logic
• First-order Gödel logics
• Sequent calculi and decidability for intuitionistic hybrid logic
• On witnessed models in fuzzy logic. III: Witnessed Gödel logics

Cites work

• scientific article; zbMATH DE number 1612545 (Why is no real title available?)
• scientific article; zbMATH DE number 35414 (Why is no real title available?)
• scientific article; zbMATH DE number 97789 (Why is no real title available?)
• scientific article; zbMATH DE number 3628358 (Why is no real title available?)
• scientific article; zbMATH DE number 1852920 (Why is no real title available?)
• A constructive analysis of RM
• A propositional calculus with denumerable matrix
• Automated Reasoning
• Bounding Resource Consumption with Gödel-Dummett Logics
• Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
• Graph-based decision for Gödel-Dummett logics
• Internalizing labelled deduction
• Intuitionistic hybrid logic
• Making fuzzy description logic more general
• Many-valued hybrid logic
• Many-valued modal logics: a simple approach
• Metamathematics of fuzzy logic
• Modal logic

Cited in

(4)

• A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains
• Intuitionistic hybrid logic: introduction and survey
• Hyperresolution for Gödel logic with truth constants
• A note on strong axiomatization of Gödel justification logic

This page was built for publication: A family of Gödel hybrid logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q631082)