Honesty in Partial Logic - CiteSeerX

Download PDF
1 downloads 0 Views 1MB Size Report
Comment
smallest superset of 'P such that. (10 is the subset_of L of all formulas which do not contain III-operators. For any P Q L, we write F0 for I' 0 L0 and I' for {zp E L ...