Searching for authors named "Anna Zamansky" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Effective Non-deterministic Semantics for first-order LFIs
- …Effective Non-deterministic Semantics for first-order LFIs ARNON AVRON, ANNA ZAMANSKY School…
- Add To MetaCart
-
Canonical calculi with (n,k)-ary quantifiers’, submitted to the
- …@(email omitted); Tel Aviv University e-mail address: annaz@(email omitted); ARNON AVRON AND ANNA ZAMANSKY Abstract…
- Cited by 1 (1 self) – Add To MetaCart
-
Many-valued non-deterministic semantics for firstorder logics of Formal (In)consistency. Forthcoming in D. Mundici’s Festschrift
- … Avron and Anna Zamansky School of Computer Science, Tel Aviv University Abstract. A paraconsistent logic…
- Cited by 2 (1 self) – Add To MetaCart
-
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics
- …-deterministic Semantics Arnon Avron and Anna Zamansky School of Computer Science, Tel-Aviv University Abstract. An (n, k…
- Add To MetaCart
Showing 1 through 4.
