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

Did you mean: Vassal Changing
  1.  13
    Andrzej Wiśniewski & Vasilyi Shangin (2006). Socratic Proofs for Quantifiers★. Journal of Philosophical Logic 35 (2):147 - 178.
    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)  
    Export citation  
    My bibliography   6 citations