Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference24 articles.
1. Avron A.: ‘Natural 3-valued Logics—Characterization and Proof Theory’. Journal of Symbolic Logic 56, 276–294 (1991)
2. Avron, A., ‘Classical Gentzen-type Methods in Propositional Many-Valued Logics’, in M. Fitting and E. Orlowska (eds.), Beyond Two: Theory and Applications of Multiple-Valued Logic, Studies in Fuzziness and Soft Computing 114, Physica Verlag, 2003, pp. 117–155.
3. Avron, A., ‘Logical Non-determinism as a Tool for Logical Modularity: An Introduction’, in S. Artemov, H. Barringer, A. S. d’Avila Garcez, L. C. Lamb, and J. Woods (eds.), We Will Show Them: Essays in Honor of Dov Gabbay, 1, 105–124, College Publications, 2005.
4. Avron A., Lev I.: ‘Non-deterministic Multiple-valued Structures’. Journal of Logic and Computation 15, 241–261 (2005)
5. Béziau J.-Y.: ‘Sequents and Bivaluations’. Logique et Analyse 44, 373–394 (2001)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献