Funder
Conselho Nacional de Desenvolvimento Científico e Tecnológico
Fundação de Amparo à Pesquisa do Estado de São Paulo
Publisher
Springer Science and Business Media LLC
Reference42 articles.
1. Arieli, O., and A. Avron, Four-Valued Paradefinite Logics, Studia Logica 105(2): 1087–1122, 2017.
2. Avron, A., Non-deterministic matrices and modular semantics of rules, in J.Y. Beziau, (ed.), Logica Universalis, Birkhäuser Verlag, 2005, pp. 149–167.
3. Avron, A., B. Konikowska, and A. Zamansky, Analytic calculi for basic logics of formal inconsistency, in J.-Y. Beziau, and M.E. Coniglio, (eds.), Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his 60th Birthday, vol. 17 of Tribute Series, College Publications, 2011, pp. 265–275.
4. Avron, A., and A. Zamansky, Many-valued non-deterministic semantics for first-order Logics of Formal (In)consistency, in S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, and V. Marra, (eds.), Algebraic and Proof-theoretic Aspects of Non-classical Logics. Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday, vol. 4460 of Lecture Notes in Computer Science, Springer, 2007, pp. 1–24.
5. Springer Proceedings in Mathematics & Statistics;D Batens,2015