The framework of temporal granular logic based on information system

Abstract

Based on information system this paper presents a general framework of first order temporal granular logic and defines the meaning set of a formula .the paper provide axiom schemes and deductive rules based on which logic methodology or set theory can be applied in deduction. v a Its meaning set