Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference53 articles.
1. Ackermann, W., Untersuchung über das Eliminationsproblem der Mathematischen Logic, Mathematische Annalen 110(1):390–413, 1935.
2. Avellone, A., M. Ferrari, and P. Miglioli, Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics, Logic Journal of the IGPL 7(4):447–480, 1999.
3. Avron, A., A constructive analysis of RM, Journal of Symbolic Logic 52(4):939–951, 1987.
4. Avron, A., The method of hypersequents in the proof theory of propositional non-classical logics, in W. Hodges et al., (eds.), Logic: From Foundations to Applications, Oxford University Press, Oxford, 1996, pp. 1–32.
5. Balbes, R., and P. Dwinger, Distributive Lattices, University of Missouri Press, Columbia, 1974.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献