Logic

Authors and titles for December 2004

[1] arXiv:math/0412144 [pdf, other]

Title: Quantum logic as motivated by quantum computing

J. Michael Dunn, Tobias J. Hagge, Lawrence S. Moss, Zhenghan Wang

Comments: To appear in JSL

Subjects: Logic (math.LO)

[2] arXiv:math/0412356 [pdf, other]

Title: Geometry of forking in simple theories

Assaf Peretz

Subjects: Logic (math.LO)

[3] arXiv:math/0412562 [pdf, other]

Title: Nonstandard Consequence Operators Generated By Mixed Logic-Systems

Robert A. Herrmann

Comments: Plain Tex, 6 pages. Since Robinson first applied nonstandard analysis (NSA) to the lower predicate calculus, progress has been made applying NSA to universal logic. In this revision, added section 3 investigates hyperfinite logic-systems and corresponding nonstandard consequence operators

Subjects: Logic (math.LO)

[4] arXiv:math/0412245 (cross-list from math.GM) [pdf, other]

Title: M-hyperquasivarieties

E. Graczynska, D. Schweigert

Comments: The paper was presented at AAA69 Workshop on General Algebra, Potsdam, March 18-20, 2005. Accepted for publication in Demonstratio Mathematica

Journal-ref: Demonstratio Mathematica, Vol. XXXIX, No. 1, 2006, 33--42.

Subjects: General Mathematics (math.GM); Logic (math.LO)

[5] arXiv:math/0412305 (cross-list from math.GN) [pdf, other]

Title: SPM Bulletin 11

Boaz Tsaban

Comments: Change of notation

Subjects: General Topology (math.GN); Combinatorics (math.CO); Logic (math.LO)

[6] arXiv:math/0412354 (cross-list from math.GM) [pdf, other]

Title: Differentially Transcendental Functions

Zarko Mijajlovic, Branko Malesevic

Journal-ref: The Bulletin of the Belgian Mathematical Society - Simon Stevin, Vol. 15, No. 2 (2008)

Subjects: General Mathematics (math.GM); Logic (math.LO)

[7] arXiv:math/0412406 (cross-list from math.AG) [pdf, other]

Title: Nonstandard Etale Cohomology

Lars Brünjes, Christian Serpé

Subjects: Algebraic Geometry (math.AG); Logic (math.LO)

[8] arXiv:math/0412473 (cross-list from math.NT) [pdf, other]

Title: Elliptic divisibility sequences and undecidable problems about rational points

Gunther Cornelissen, Karim Zahidi

Comments: 39 pages, uses calrsfs. 3rd version: many small changes, change of title

Subjects: Number Theory (math.NT); Logic (math.LO)

[9] arXiv:quant-ph/0412199 (cross-list from quant-ph) [pdf, other]

Title: The internal logic of Bell's states

Giulia Battilotti, Paola Zizzi

Comments: 12 pages, 3 figures Submitted to CiE 2005

Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); General Relativity and Quantum Cosmology (gr-qc); High Energy Physics - Theory (hep-th); Logic (math.LO)