Funder
Consejo Nacional de Investigaciones Científicas y Técnicas
Fundação de Amparo à Pesquisa do Estado de São Paulo
Publisher
Springer Science and Business Media LLC
Reference20 articles.
1. Avron, A., Non-deterministic semantics for logics with a consistency operator, Journal of Approximate Reasoning 45: 271–287, 2007.
2. Avron, A., J. Ben-Naim, and B. Konikowska, Cut-free ordinary sequent calculi for logics having generalized finite–valued semantics, Logica Universalis 1: 41–69, 2006.
3. Avron, A., and B. Konikowska, Multi-valued Calculi for logics based on non-determinism, in Proceedings COS'04 (Challenge of Semantics Workshop), Vienna 2004
4. also in: Logic Journal of the IGPL 13(4): 365-387, 2005.
5. Avron, A., B. Konikowska, and A. Zamansky, Modular construction of cut-free sequent Calculi for paraconsistent logics, in Proceedings of the 27th Annual ACM/IEEE Symposium on Logic in Computer Science, 2012, pp. 85–94.