Abstract | ||
---|---|---|
Analogues of Scott's isomorphism theorem, Karp's theorem as well as results on lack of compactness and strong completeness are established for infinitary propositional relevant logics. An "interpolation theorem" (of a particular sort introduced by Barwise and van Benthem) for the infinitary quantificational boolean logic L-infinity omega. holds. This yields a preservation result characterizing the expressive power of infinitary relevant languages with absurdity using the model-theoretic relation of relevant directed bisimulation as well as a Beth definability property. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1017/S1755020317000132 | REVIEW OF SYMBOLIC LOGIC |
Keywords | Field | DocType |
relevant logic,model theory,infinitary logic,interpolation,Routley-Meyer semantics | Absurdity,Discrete mathematics,Algorithm,Compact space,Bisimulation,Boolean algebra,Isomorphism theorem,Completeness (statistics),Mathematics,Propositional variable,Beth definability | Journal |
Volume | Issue | ISSN |
10 | 4 | 1755-0203 |
Citations | PageRank | References |
0 | 0.34 | 7 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
guillermo badia | 1 | 5 | 5.53 |