Return to Article Details Models & Proofs: LFIs Without a Canonical Interpretations Download Download PDF