Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Logic
Reference17 articles.
1. Barwise J.K.: Axioms for abstract model theory. Ann. Math. Logic 7, 221–265 (1974)
2. Barwise, J.K., Feferman, S. (eds): Model-Theoretic Logics. Springer, Berlin (1985)
3. Beziau, J.Y.: La V́eritable Portée Du Théorème de Lindenbaum-Asser. Logique et Analyse, 167–168, 341–359 (1999)
4. Beziau J.Y.: From consequence operator to universal logic: a survey of general abstract logic. In: Beziau, J.Y. (ed) Logica Universalis., pp. 3–19. Birkhäuser, Basel (2007)
5. Birkhoff G.: Lattice Theory. American Mathematical Society, Providence (1967)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献