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

Did you mean: Vassal Changing
  1.  17
    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   1 citation  
  2. Vasilyi Shangin & Alexander Bolotov (2012). Natural Deduction System in Paraconsistent Setting: Proof Search for PCont. Journal of Intelligent Systems 21 (1):1-24.
    . This paper continues a systematic approach to build natural deduction calculi and corresponding proof procedures for non-classical logics. Our attention is now paid to the framework of paraconsistent logics. These logics are used, in particular, for reasoning about systems where paradoxes do not lead to the `deductive explosion', i.e., where formulae of the type `A follows from false', for any A, are not valid. We formulate the natural deduction system for the logic PCont, explain its main concepts, define a (...)
    Direct download  
    Export citation  
    My bibliography