Abstract | ||
---|---|---|
This article discusses the proof theory, semantics and meta-theory of a class of adaptive logics, called hierarchic adaptive logics. Their specific characteristics are illustrated throughout the article with the use of one exemplary logic HKx, an explicans for reasoning with prioritized belief bases. A generic proof theory for these systems is defined, together with a less complex proof theory for... |
Year | DOI | Venue |
---|---|---|
2012 | 10.1093/jigpal/jzr025 | Logic Journal of the IGPL |
Keywords | Field | DocType |
Combined adaptive logics,prioritized belief bases | T-norm fuzzy logics,Discrete mathematics,Algebra,Proof theory,Premise,Monoidal t-norm logic,Fixed point,Soundness,Completeness (statistics),Mathematics,Semantics | Journal |
Volume | Issue | ISSN |
20 | 1 | 1367-0751 |
Citations | PageRank | References |
3 | 0.42 | 7 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Frederik Van De Putte | 1 | 28 | 5.49 |