Atlas home || Conferences | Abstracts | about Atlas

BLAST 2008
August 6-10, 2008
University of Denver
Denver, CO, USA

Organizers
Rick Ball, Natasha Dobrinen (co-chair), Nikolaos Galatos (co-chair)

View Abstracts
Conference Homepage

"Iff" is not expressible in independence-friendly logic
by
Allen L. Mann
Colgate University

Ordinary first-order logic has the property that two formulas f and y have the same meaning in a structure exactly when the formula "f if and only if y" is true in the structure. We prove that independence-friendly logic does not have this property.

PDF

Paper reference: arXiv:0806.4785

Date received: May 23, 2008

Copyright © 2008 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caxi-09.