Author:
Aguilera Juan P.,Baaz Matthias
Publisher
Springer Science and Business Media LLC
Subject
Geometry and Topology,Theoretical Computer Science,Software
Reference16 articles.
1. Baaz M, Veith H (1998) An axiomatization of quantified propositional Gödel logic using the takeuti-titani rule. In: Proceedings of the annual European summer meeting of the ASL, pp 91–104
2. Baaz M, Iemhoff R (2006) The Skolemization of existential quantifiers in intuitionistic logic. Ann Pure Appl Log 142(1):269–295
3. Baaz M, Preining N (2008) Quantifier elimination for quantified propositional logics on Kripke frames of type $$\omega $$ ω . J Log Comput 18(4):649–720
4. Baaz M, Preining N (2016) Monadic first-order Gödel logics. In preparation
5. Baaz M, Ciabattoni A, Fermüller CG, Veith H (1998) Proof theory of fuzzy logics: Urquhart’s C and related logics. In: Brim L, Gruska J, Zlatuka J (eds) Mathematical foundations of computer science, vol, 13, pp 203–212
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献