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 等数据库收录! |
|