arXiv:1312.0714v1 [cs.LO] 3 Dec[removed]On sufficient conditions for expressibility of constants in the 4-valued extension of the propositional provability logic GL Andrei RUSU - Rusu - Document - PDFSEARCH.IO

First Page	Meta Content
	arXiv:1312.0714v1 [cs.LO] 3 Dec[removed]On sufficient conditions for expressibility of constants in the 4-valued extension of the propositional provability logic GL Andrei RUSU Add to Reading List Document Date: 2013-12-06 08:23:58 Open Document File Size: 169,75 KB Share Result on Facebook Country Moldova / / / Organization GL Andrei RUSU Information Society Development Institute Academy of Sciences / / Person Mefodie Rat / / Position Professor / author / / SocialTag Symbol Admissible rule Propositional calculus Logic Propositional variable

arXiv:1312.0714v1 [cs.LO] 3 Dec[removed]On sufficient conditions for expressibility of constants in the 4-valued extension of the propositional provability logic GL Andrei RUSUAdd to Reading List