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

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