基本説明
Suitable for researchers and postgraduates in the areas of artificial intelligence, database theory, and logic.
Full Description
Revision for a foreign logic is done via its translation into a well-known logic, usually classic logic. Secondly, the technique of meta-level/object-level movement, where we bring some operation defined at the meta-level of a logic into its object level.
