Generalized Explosion Principles: A Semantic Perspective
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916005142331392 |
|---|---|
| author | Basu, Sankha S. Roy, Sayantan |
| author_facet | Basu, Sankha S. Roy, Sayantan |
| contents | This article is motivated by the fact that there is a distinction between the descriptions of logical explosion from syntactic and semantic points of view. The discussion is illustrated using the concept of abstract model structures and the notions of satisfiability and finite satisfiability in these structures. Various principles of explosion have been described in terms of unsatisfiability or finite unsatisfiability. The semantic analogues of the principles of explosion introduced in [3] have also been considered among these. The article also studies the characterizations of and the interconnections between these new principles of explosion. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_00912 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Generalized Explosion Principles: A Semantic Perspective Basu, Sankha S. Roy, Sayantan Logic 03B53, 03B22, 03C95 This article is motivated by the fact that there is a distinction between the descriptions of logical explosion from syntactic and semantic points of view. The discussion is illustrated using the concept of abstract model structures and the notions of satisfiability and finite satisfiability in these structures. Various principles of explosion have been described in terms of unsatisfiability or finite unsatisfiability. The semantic analogues of the principles of explosion introduced in [3] have also been considered among these. The article also studies the characterizations of and the interconnections between these new principles of explosion. |
| title | Generalized Explosion Principles: A Semantic Perspective |
| topic | Logic 03B53, 03B22, 03C95 |
| url | https://arxiv.org/abs/2511.00912 |