Title | ||
---|---|---|
A Lindström-style theorem for finitary propositional weak entailment languages with absurdity. |
Abstract | ||
---|---|---|
Following a result by De Rijke for modal logic, it is shown that the basic weak entailment model-theoretic language with absurdity is the maximal model-theoretic language having (i) the finite occurrence property, (ii) preservation under relevant directed bisimulations and (iii) the finite depth property. This can be seen as a generalized preservation theorem characterizing propositional weak enta... |
Year | DOI | Venue |
---|---|---|
2016 | 10.1093/jigpal/jzv054 | Logic Journal of the IGPL |
Keywords | Field | DocType |
Relevant logic,Lindström's theorem,abstract model theory,Routley–Meyer semantics | Absurdity,Logical consequence,Pure mathematics,Lindström's theorem,Finitary,Modal logic,Mathematics | Journal |
Volume | Issue | ISSN |
24 | 2 | 1367-0751 |
Citations | PageRank | References |
0 | 0.34 | 14 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
guillermo badia | 1 | 5 | 5.53 |