A family of Gödel hybrid logics
From MaRDI portal
Publication:631082
DOI10.1016/j.jal.2010.08.008zbMath1215.03045MaRDI QIDQ631082
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
fuzzy logic; sequent calculus; decidability; hybrid logic; finite model property; Gödel logic; intermediate logics; decision procedures
03B52: Fuzzy logic; logic of vagueness
03B45: Modal logic (including the logic of norms)
03B55: Intermediate logics
03B62: Combined logics
Related Items
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