988 search results - page 5 / 198 » Tarski's system of geometry |
NDJFL
1998
13 years 7 months ago
1998
Using methods of abstract logic and the theory of valuation, we prove that there is no paraconsistent negation obeying the law of double negation and such that ¬(a ∧ ¬a) is a t...
VTC
2008
IEEE
14 years 2 months ago
2008
IEEE
—For a cellular system with a fixed number of transmit antennas at each base station, we investigate how the system-level performance varies as a function of the geometry of the...
AML
2010
13 years 7 months ago
2010
In Abstract Algebraic Logic, the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this proce...
CVPR
2006
IEEE
14 years 9 months ago
2006
IEEE
We study the epipolar geometry between views acquired by mixtures of central projection systems including catadioptric sensors and cameras with lens distortion. Since the projecti...
ADG
2006
Springer
13 years 11 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...