Search results for 'Vasilyi Shangin' (try it on Scholar)

Did you mean: Vassal Changing
  1. Andrzej Wiśniewski & Vasilyi Shangin (2006). Socratic Proofs for Quantifiers★. Journal of Philosophical Logic 35 (2):147 - 178.score: 120.0
    First-order logic is formalized by means of tools taken from the logic of questions. A calculus of questions which is a counterpart of the Pure Calculus of Quantifiers is presented. A direct proof of completeness of the calculus is given.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation