首页 | 本学科首页   官方微博 | 高级检索  
     检索      


A Universal Logic Approach to Adaptive Logics
Authors:Diderik Batens
Institution:(1) Centre for Logic and Philosophy of Science, Ghent University, Blandijnberg 2, B-9000 Gent, Belgium
Abstract:In this paper, adaptive logics are studied from the viewpoint of universal logic (in the sense of the study of common structures of logics). The common structure of a large set of adaptive logics is described. It is shown that this structure determines the proof theory as well as the semantics of the adaptive logics, and moreover that most properties of the logics can be proved by relying solely on the structure, viz. without invoking any specific properties of the logics themselves.
Keywords:03B99  03B60  03B53  03A05
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号