Topic: GENERAL LOGIC
The paper is concerned with the question of definability of truth-conditions for the connectives of intensional logics. A certain general solution of the problem is proposed for the class of self-extensional logics. The paper develops some ideas initiated by Suszko and Wojcicki in the seventies. Source: Reports on Mathematical Logic 41 (2006)On truth-schemes for intensional logics
By Janusz Czelakowski and Wieslaw Dziobiak
Posted by Tony Marmo
at 20:30 GMT
