A family of Gödel hybrid logics

DOI10.1016/J.JAL.2010.08.008zbMATH Open1215.03045OpenAlexW2080568060MaRDI QIDQ631082FDOQ631082

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

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

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)

Cites Work

• Modal logic
• Metamathematics of fuzzy logic
• Title not available (Why is that?)
• A propositional calculus with denumerable matrix
• Automated Reasoning
• Bounding Resource Consumption with Gödel-Dummett Logics
• Title not available (Why is that?)
• Making fuzzy description logic more general
• Intuitionistic hybrid logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Many-valued modal logics: a simple approach
• A constructive analysis of RM
• Many-valued hybrid logic
• Title not available (Why is that?)
• Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
• Internalizing labelled deduction
• Graph-based decision for Gödel-Dummett logics

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)