Author:
D'Agostino Marcello,Gabbay Dov M.
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference31 articles.
1. Abrusci, V. M.: Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic,Journal of Symbolic Logic 56 (1991), 1403?1451.
2. Anderson, A. R. and Belnap, N. D., Jr.:Entailment: The Logic of Relevance and Necessity, volume 1, Princeton University Press, Princeton, 1975.
3. Allwein, G. and Dunn, J. M.: Kripke models for linear logic,Journal of Symbolic Logic 58 (1993), 514?545.
4. Avron, A.: The semantics and proof theory of linear logic,Theoretical Computer Science 57 (1988), 161?184.
5. Avron, A.: Simple consequence relations,Journal of Information and Computation 92 (1991), 105?139.
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Non-contingency in a Paraconsistent Setting;Logic Journal of the IGPL;2023-01-16
2. Condicio supervacua and related conditions
in Roman law;Tijdschrift voor rechtsgeschiedenis;2015-05-31
3. Reasoning and Decision Making in an Inconsistent World;Intelligent Decision Technologies;2015
4. The universe of propositional approximations;Theoretical Computer Science;2006-04
5. Epistemic logic;Handbook of the History of Logic;2006