Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference16 articles.
1. Bell J. L., Slomson A. B.: Models and Ultraproducts. North-Holland, Amsterdam (1969)
2. Feferman S.: Review of [11]. The Journal of Symbolic Logic 17(1), 72 (1952)
3. Fitting, M. C., Intuitionistic Logic, Model Theory and Forcing. North-Holland, 1969.
4. Galatos N., Ono H.: ‘Algebraization, parameterized local deduction theorem and interpolation for substructural logics over FL’. Studia Logica 83, 279–308 (2006)
5. Goldblatt R. I.: ‘The Stone space of an ortholattice’. Bulletin of the London Mathematical Society 7, 45–48 (1975)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A complete axiomatization of infinitary first-order intuitionistic logic over Lκ+,κ;Annals of Pure and Applied Logic;2025-01
2. A stochastic interpretation of game logic;Journal of Logical and Algebraic Methods in Programming;2017-04
3. Alternation-Free Weighted Mu-Calculus: Decidability and Completeness;Electronic Notes in Theoretical Computer Science;2015-12
4. Concurrent weighted logic;Journal of Logical and Algebraic Methods in Programming;2015-11
5. Stochastic non-determinism and effectivity functions;Journal of Logic and Computation;2015-07-27