Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference48 articles.
1. Avron, A., The semantics and proof theory of linear logic, Theoretical Computer Science 57(2-3):161–184, 1988.
2. Avron, A., Simple consequence relations, Information and Computation 92(1):105–139, 1991.
3. Bochvar, D., On a Three-Valued Calculus and its Application in the Analysis of the Paradoxes of the Extended Functional Calculus, Matematicheskii Sbornik 4:287–308, 1938.
4. Bonzio, S., J. Gil-Ferez, F. Paoli, and L. Peruzzi, On Paraconsistent Weak Kleene, logic: Axiomatization and Algebraic Analysis, Studia Logica 105(2):253–297, 2017.
5. Bonzio, S., A. Loi, and L. Peruzzi, A Duality for Involutive Bisemilattices, Studia Logica 107(2): 423–444, 2019.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献