1101 search results - page 94 / 221 » Forcing in proof theory |
87
Voted
EJC
2007
15 years 17 days ago
2007
We present various techniques to count proportions of permutations with restricted cycle structure in finite permutation groups. For example, we show how a generalized block theo...
121
Voted
DEON
2006
Springer
15 years 4 months ago
2006
Springer
A general logical framework is presented to represent speech acts that have institutional effects. It is based on the concepts of the Speech Act Theory and takes the form of the FI...
107
Voted
CPHYSICS
2008
15 years 21 days ago
2008
Peridynamics (PD) is a continuum theory that employs a nonlocal model to describe material properties. In this context, nonlocal means that continuum points separated by a finite ...
115
Voted
MCM
2011
14 years 7 months ago
2011
The low-Reynolds number motions of Purcell’s three-link swimmer, and of a closely-related two-paddle swimmer, are investigated and compared using slender-body theory and resisti...
101
click to vote
CHI
2006
ACM
16 years 1 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...