In Aguzzoli, S., Ciabattoni, A., Gerla, B., Manara, C., & V.Marra, editors, *Algebraic and Proof-Theoretic Aspects of Non-classical Logics*, of *LNCS~4460*, pages 1–24, 2007. Springer.

bibtex

bibtex

@InProceedings{AZ07, author = {Avron, A. and A. Zamansky}, title = {Many-valued non-deterministic semantics for first-order logics of formal inconsistency.}, booktitle = {Algebraic and Proof-Theoretic Aspects of Non-classical Logics}, year = {2007}, editor = {Aguzzoli, S. and A. Ciabattoni and B. Gerla and C. Manara and V.Marra}, series = {LNCS~4460}, pages = {1--24}, publisher = {Springer}, }

Downloads: 0