15330 | Friedman-Sheard theory keeps classical logic and aims for maximum strength [Horsten] |
16327 | Friedman-Sheard is type-free Compositional Truth, with two inference rules for truth [Halbach] |
19129 | The FS axioms use classical logical, but are not fully consistent [Halbach/Leigh] |