A Study of Subminimal Logics of Negation and their Modal Companions
We study propositional logical systems arising from the language of Johansson's minimal logic and obtained by weakening the requirements for the negation operator. We present their semantics as a variant of neighbourhood semantics. We use duality and completeness results to show that there are...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Journal Article |
| Language: | English |
| Published: |
26-02-2020
|
| Subjects: | |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | We study propositional logical systems arising from the language of
Johansson's minimal logic and obtained by weakening the requirements for the
negation operator. We present their semantics as a variant of neighbourhood
semantics. We use duality and completeness results to show that there are
uncountably many subminimal logics. We also give model-theoretic and algebraic
definitions of filtration for minimal logic and show that they are dual to each
other. These constructions ensure that the propositional minimal logic has the
finite model property. Finally, we define and investigate bi-modal companions
with non-normal modal operators for some relevant subminimal systems, and give
infinite axiomatizations for these bi-modal companions. |
|---|---|
| AbstractList | We study propositional logical systems arising from the language of
Johansson's minimal logic and obtained by weakening the requirements for the
negation operator. We present their semantics as a variant of neighbourhood
semantics. We use duality and completeness results to show that there are
uncountably many subminimal logics. We also give model-theoretic and algebraic
definitions of filtration for minimal logic and show that they are dual to each
other. These constructions ensure that the propositional minimal logic has the
finite model property. Finally, we define and investigate bi-modal companions
with non-normal modal operators for some relevant subminimal systems, and give
infinite axiomatizations for these bi-modal companions. |
| Author | Colacito, Almudena Bezhanishvili, Nick de Jongh, Dick |
| Author_xml | – sequence: 1 givenname: Nick surname: Bezhanishvili fullname: Bezhanishvili, Nick – sequence: 2 givenname: Almudena surname: Colacito fullname: Colacito, Almudena – sequence: 3 givenname: Dick surname: de Jongh fullname: de Jongh, Dick |
| BackLink | https://doi.org/10.48550/arXiv.2002.11518$$DView paper in arXiv |
| BookMark | eNotj7tOwzAUhj3AUAoP0Am_QMLx3RmriJsUYGj3yI7tYqmxqyRF9O1JS6df_0VH57tDNyknj9CKQMm1EPBkht_4U1IAWhIiiF6geo0309GdcA54c7R9TLE3e9zkXezGc_jpd2aKOWGTHJ6-fRzwR3bzpM79waS5Ge_RbTD70T9cdYm2L8_b-q1ovl7f63VTGKl0wZlXjhOuJLUqeGpF8JxJLSEwVwVamc53rmOmUpYyCdbOnlYOtAUQXLAlevw_e6FoD8P86XBqzzTthYb9ARuURhM |
| ContentType | Journal Article |
| Copyright | http://arxiv.org/licenses/nonexclusive-distrib/1.0 |
| Copyright_xml | – notice: http://arxiv.org/licenses/nonexclusive-distrib/1.0 |
| DBID | AKZ GOX |
| DOI | 10.48550/arxiv.2002.11518 |
| DatabaseName | arXiv Mathematics arXiv.org |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: GOX name: arXiv.org url: http://arxiv.org/find sourceTypes: Open Access Repository |
| DeliveryMethod | fulltext_linktorsrc |
| ExternalDocumentID | 2002_11518 |
| GroupedDBID | AKZ GOX |
| ID | FETCH-LOGICAL-a678-43e7d414762b7fe2b5fe436860f3d9f29acecdc3a97b2360bbcec29d08b005453 |
| IEDL.DBID | GOX |
| IngestDate | Mon Jan 08 05:43:58 EST 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a678-43e7d414762b7fe2b5fe436860f3d9f29acecdc3a97b2360bbcec29d08b005453 |
| OpenAccessLink | https://arxiv.org/abs/2002.11518 |
| ParticipantIDs | arxiv_primary_2002_11518 |
| PublicationCentury | 2000 |
| PublicationDate | 2020-02-26 |
| PublicationDateYYYYMMDD | 2020-02-26 |
| PublicationDate_xml | – month: 02 year: 2020 text: 2020-02-26 day: 26 |
| PublicationDecade | 2020 |
| PublicationYear | 2020 |
| Score | 1.7626827 |
| SecondaryResourceType | preprint |
| Snippet | We study propositional logical systems arising from the language of
Johansson's minimal logic and obtained by weakening the requirements for the
negation... |
| SourceID | arxiv |
| SourceType | Open Access Repository |
| SubjectTerms | Mathematics - Logic |
| Title | A Study of Subminimal Logics of Negation and their Modal Companions |
| URI | https://arxiv.org/abs/2002.11518 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://sdu.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwdV09UwMhEN0xqWwcHXXi51DYMt4B4bgyExPTGAtTpMvc8uFYaJzEOObfu8vF0cYSeA0LCzxY3gLclGWFFfEA6Yzz0iSLslF1lJrQtGM3qHOWiMlTNZ27uxHL5IifvzDN6uvls9UHxvUtRxCQU_dL14GOUhyydf84bx8nsxTXDv-LozNmrvqzSYwP4WB3uhODdjiOYC--HcNwIDhabyuWSZCfspjHK4E4y7Ffc-U0Pmf7CGL1It_ci4dlIEjrrDwxTmA2Hs2GE7nLXSAbWv6l0bEKpjS01GCVosJ-iqz1boukQ51U3fjog9dNXaHStkCksqpD4dgtTF-fQpfof-yBcBh8LGO03iViMwrRlsFaFmpLzhk8g17u8eK9lafgxJJqkY1x_n_TBewrZo78OdteQvdjtYlX0FmHzXW28TcTh3nI |
| link.rule.ids | 228,230,782,887 |
| linkProvider | Cornell University |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+Study+of+Subminimal+Logics+of+Negation+and+their+Modal+Companions&rft.au=Bezhanishvili%2C+Nick&rft.au=Colacito%2C+Almudena&rft.au=de+Jongh%2C+Dick&rft.date=2020-02-26&rft_id=info:doi/10.48550%2Farxiv.2002.11518&rft.externalDocID=2002_11518 |