Author:
Ciabattoni Agata,Lahav Ori,Zamansky Anna
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Avron, A., Lev, I.: Non-deterministic Multi-valued Structures. Journal of Logic and Computation 15, 241–261 (2005)
2. Lecture Notes in Computer Science;A. Avron,2009
3. Avron, A., Lahav, O.: On Constructive Connectives and Systems. Logical Methods in Computer Science 6(4:12) (2010)
4. Avron, A., Zamansky, A.: Non-deterministic Semantics for Logical Systems - A Survey. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic. Kluwer, Dordrecht (to appear, 2011)
5. Bowen, K.A.: An extension of the intuitionistic propositional calculus. Indagationes Mathematicae 33, 287–294 (1971)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Non-Deterministic Many-Valued Modal Logic;2022 IEEE 52nd International Symposium on Multiple-Valued Logic (ISMVL);2022-05
2. First-Order Quasi-canonical Proof Systems;Lecture Notes in Computer Science;2019
3. Semantic investigation of canonical Gödel hypersequent systems;Journal of Logic and Computation;2013-07-17