A family of Gödel hybrid logics
From MaRDI portal
Publication:631082
DOI10.1016/j.jal.2010.08.008zbMath1215.03045OpenAlexW2080568060MaRDI 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 logicsequent calculusdecidabilityhybrid logicfinite model propertyGödel logicintermediate logicsdecision procedures
Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Combined logics (03B62)
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
This page was built for publication: A family of Gödel hybrid logics