Modal Logic Axioms Valid in Quotient Spaces of Finite CW-Complexes and Other Families of Topological Spaces
In this paper we consider the topological interpretations of L□, the classical logic extended by a “box” operator □ interpreted as interior. We present extensions of S4 that are sound over some families of topological spaces, including particular point topological spaces, excluded point topological...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2016-01-01
|
| Series: | International Journal of Mathematics and Mathematical Sciences |
| Online Access: | http://dx.doi.org/10.1155/2016/9163014 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832545444415143936 |
|---|---|
| author | Maria Nogin Bing Xu |
| author_facet | Maria Nogin Bing Xu |
| author_sort | Maria Nogin |
| collection | DOAJ |
| description | In this paper we consider the topological interpretations of L□, the classical logic extended by a “box” operator □ interpreted as interior. We present extensions of S4 that are sound over some families of topological spaces, including particular point topological spaces, excluded point topological spaces, and quotient spaces of finite CW-complexes. |
| format | Article |
| id | doaj-art-72738681f13a4bffaded9fa82ec89ed9 |
| institution | Kabale University |
| issn | 0161-1712 1687-0425 |
| language | English |
| publishDate | 2016-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | International Journal of Mathematics and Mathematical Sciences |
| spelling | doaj-art-72738681f13a4bffaded9fa82ec89ed92025-02-03T07:25:53ZengWileyInternational Journal of Mathematics and Mathematical Sciences0161-17121687-04252016-01-01201610.1155/2016/91630149163014Modal Logic Axioms Valid in Quotient Spaces of Finite CW-Complexes and Other Families of Topological SpacesMaria Nogin0Bing Xu1Department of Mathematics, California State University, Fresno, CA, USADepartment of Mathematics, California State University, Fresno, CA, USAIn this paper we consider the topological interpretations of L□, the classical logic extended by a “box” operator □ interpreted as interior. We present extensions of S4 that are sound over some families of topological spaces, including particular point topological spaces, excluded point topological spaces, and quotient spaces of finite CW-complexes.http://dx.doi.org/10.1155/2016/9163014 |
| spellingShingle | Maria Nogin Bing Xu Modal Logic Axioms Valid in Quotient Spaces of Finite CW-Complexes and Other Families of Topological Spaces International Journal of Mathematics and Mathematical Sciences |
| title | Modal Logic Axioms Valid in Quotient Spaces of Finite CW-Complexes and Other Families of Topological Spaces |
| title_full | Modal Logic Axioms Valid in Quotient Spaces of Finite CW-Complexes and Other Families of Topological Spaces |
| title_fullStr | Modal Logic Axioms Valid in Quotient Spaces of Finite CW-Complexes and Other Families of Topological Spaces |
| title_full_unstemmed | Modal Logic Axioms Valid in Quotient Spaces of Finite CW-Complexes and Other Families of Topological Spaces |
| title_short | Modal Logic Axioms Valid in Quotient Spaces of Finite CW-Complexes and Other Families of Topological Spaces |
| title_sort | modal logic axioms valid in quotient spaces of finite cw complexes and other families of topological spaces |
| url | http://dx.doi.org/10.1155/2016/9163014 |
| work_keys_str_mv | AT marianogin modallogicaxiomsvalidinquotientspacesoffinitecwcomplexesandotherfamiliesoftopologicalspaces AT bingxu modallogicaxiomsvalidinquotientspacesoffinitecwcomplexesandotherfamiliesoftopologicalspaces |