Name Card

Full name Familienname, Vorname
Avron, Arnon
 

Own Publications Eigene Publikationen

Results 1-7 of 7 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Zamansky, Anna ; Avron, Arnon Invited tutorial on non-deterministic semantcsPräsentation Presentation2013
2Avron, Arnon ; Konikowska, Beata ; Zamansky, Anna Modular Construction of Cut-free Sequent Calculi for Paraconsistent LogicsKonferenzbeitrag Inproceedings 2012
3Arieli, Ofer ; Avron, Arnon ; Zamansky, Anna What is an ideal logic for reasoning with inconsistency?Konferenzbeitrag Inproceedings 2011
4Zamansky, Anna ; Avron, Arnon Canonical signed calculi with multi-ary quantifiersArtikel Article 2011
5Arieli, Ofer ; Avron, Arnon ; Zamansky, Anna Maximal and Premaximal Paraconsistency in the Framework of Three-Valued SemanticsArtikel Article 2011
6Avron, Arnon ; Zamansky, Anna Non-deterministic semantics for logical systemsBuchbeitrag Book Contribution2011
7Avron, Arnon ; Ciabattoni, Agata ; Zamansky, Anna Canonical calculi: invertibility, axiom, expansion and (non)-determinismKonferenzbeitrag Inproceedings2009