Duality and Universal Models for the Meet-Implication Fragment of IPC-Reference-Cited by-同舟云学术

Duality and Universal Models for the Meet-Implication Fragment of IPC

Published:2015 Issue: Volume: Page:97-116
ISSN:0302-9743
Container-title:Logic, Language, and Computation
language:
Short-container-title:

Author:

Bezhanishvili Nick,Coumans Dion,Gool Samuel J. van,Jongh Dick de

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-46906-4_7

Reference23 articles.

1. Diego, A.: Sur les algèbres de Hilbert (transl. from the Spanish original by L. Iturrioz). Collection de Logique Mathématique, vol. Série A 21. Gauthier-Villars, Paris (1966)

2. Renardel de Lavalette, G.R., Hendriks, A., de Jongh, D.H.J.: Intuitionistic implication without disjunction. J. Logic Comput. 22, 375–404 (2012)

3. Köhler, P.: Brouwerian semilattices. Trans. Amer. Math. Soc. 268, 103–126 (1981)

4. de Jongh, D.: Investigations on the intuitionistic propositional Calculus. Ph.D. thesis, University of Wisconsin (1968)

5. ILLC Dissertation Series, ILLC;N Bezhanishvili,2006

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On intermediate inquisitive and dependence logics: An algebraic study;Annals of Pure and Applied Logic;2022-12

2. Modal meet-implication logic;Logical Methods in Computer Science;2022-07-14

3. NNIL-formulas revisited: Universal models and finite model property;Journal of Logic and Computation;2020-12-03

4. Modal Intuitionistic Logics as Dialgebraic Logics;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08

5. Universal Models for the Positive Fragment of Intuitionistic Logic;LECT NOTES COMPUT SC;2017