Gilad Ben-Avi

Publication Activity (10 Years)

Years Active: 2001-2015
Publications (10 Years): 0

Top Topics

Cut Elimination

Default Reasoning

Proof Theoretic

Top Venues

Publications

Nissim Francez, Gilad Ben-Avi
Proof-Theoretic Reconstruction of Generalized Quantifiers. J. Semant. 32 (3) (2015)
Nissim Francez, Gilad Ben-Avi
Proof-Theoretic Semantic Values for Logical operators. Rev. Symb. Log. 4 (3) (2011)
Nissim Francez, Roy Dyckhoff, Gilad Ben-Avi
Proof-Theoretic Semantics for Subsentential Phrases. Stud Logica 94 (3) (2010)
Gilad Ben-Avi, Yoad Winter
Scope Dominance with Generalized Quantifiers. Languages: From Formal to Natural (2009)
Gilad Ben-Avi, Yoad Winter
Scope Dominance with Monotone Quantifiers over Finite Domains. J. Log. Lang. Inf. 13 (4) (2004)
Gilad Ben-Avi, Yoad Winter
Monotonicity and Collective Quantification. J. Log. Lang. Inf. 12 (2) (2003)
Gilad Ben-Avi, Yoad Winter
A Characterization of Monotonicity with Collective Quantifiers. Electron. Notes Theor. Comput. Sci. 53 (2001)