10 citations · 20 across the 4 of their papers we have counts for
4 papers
Applicable Mathematics in a Minimal Computational Theory of Sets
Arnon Avron, Liron Cohen
In previous papers on this project a general static logical framework for formalizing and mechanizing set theories of different strength was suggested, and the power of some predic…
A Logical Framework for Set Theories
Arnon Avron
Axiomatic set theory is almost universally accepted as the basic theory which provides the foundations of mathematics, and in which the whole of present day mathematics can be deve…
On Constructive Connectives and Systems
Arnon Avron, Ori Lahav
Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Imp…
Canonical calculi with (n,k)-ary quantifiers
Arnon Avron, Anna Zamansky
Propositional canonical Gentzen-type systems, introduced in 2001 by Avron and Lev, are systems which in addition to the standard axioms and structural rules have only logical rules…