Search Sciweavers | Sciweavers

300 search results - page 4 / 60

» Extension of a theorem of Whitney

click to vote

LPAR
2007
Springer

114views Automated Reasoning» more LPAR 2007»

Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs

14 years 1 months ago

Download focal.inria.fr

Abstract. We present Zenon, an automated theorem prover for ﬁrst order classical logic (with equality), based on the tableau method. Zenon is intended to be the dedicated prover ...

Richard Bonichon, David Delahaye, Damien Doligez

claim paper

Read More »

click to vote

DM
2007

68views more DM 2007»

Extension of Arrow's theorem to symmetric sets of tournaments

13 years 7 months ago

Download cowles.econ.yale.edu

Arrow’s impossibility theorem [1] shows that the set of acyclic tournaments is not closed to non dictatorial Boolean aggregation. In this paper we extend the notion of aggregati...

Eyal Beigman

claim paper

Read More »

click to vote

APAL
2010

90views more APAL 2010»

Canonical extensions for congruential logics with the deduction theorem

13 years 7 months ago

Download www.math.ru.nl

We introduce a new and general notion of canonical extension for algebras in the algebraic counterpart AlgS of any finitary and congruential logic S. This definition is logic-base...

Mai Gehrke, Ramon Jansana, Alessandra Palmigiano

claim paper

Read More »

click to vote

DM
2008

65views more DM 2008»

Multiple extensions of a finite Euler's pentagonal number theorem and the Lucas formulas

13 years 7 months ago