Author:
Galmiche Didier,Salhi Yakoub
Subject
Applied Mathematics,Logic
Reference24 articles.
1. Hybrid logics;Areces,2006
2. Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics;Avellone;Log. J. IGPL,1999
3. A constructive analysis of RM;Avron;J. Symbolic Logic,1987
4. A tableau system for Gödel–Dummett logic based on a hypersequent calculus;Avron,2000
5. M. Baaz, A. Ciabattoni, C.G. Fermüller, Cut-elimination in a sequents-of-relations calculus for Gödel logic, in: ISMVL, 2001, pp. 181–186.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Many-valued hybrid logic;Journal of Logic and Computation;2015-06-15
2. Intuitionistic hybrid logic: Introduction and survey;Information and Computation;2011-12