Non-Archimedean Valued Sequent Logic | IEEE Conference Publication | IEEE Xplore