Author:
Baaz Matthias,Fermüller Christian G.,Salzer Gernot,Zach Richard
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Two-sided Sequent Calculi for FDE-like Four-valued Logics;Journal of Philosophical Logic;2022-08-25
2. Multisequents and Hypersequents;R-Calculus, II: Many-Valued Logics;2022
3. Co-R-Calculus for PL;R-Calculus, II: Many-Valued Logics;2022
4. R-Calculus for $$\mathbf{B}_2^2$$-Valued PL,II;R-Calculus, II: Many-Valued Logics;2022
5. R-Calculus for $$\mathbf{B}_2^2$$-Valued PL;R-Calculus, II: Many-Valued Logics;2022