A Study of Subminimal Logics of Negation and Their Modal Companions

Bezhanishvili, Nick; Colacito, Almudena; de Jongh, Dick (2019). A Study of Subminimal Logics of Negation and Their Modal Companions. In: Silva, Alexandra; Staton, Sam; Sutton, Peter; Umbach, Carla (eds.) International Tbilisi Symposium on Logic, Language, and Computation. Lecture Notes in Computer Science: Vol. 11456 (pp. 21-41). Berlin, Heidelberg: Springer Berlin Heidelberg 10.1007/978-3-662-59565-7_2

Text Bezhanishvili2019_Chapter_AStudyOfSubminimalLogicsOfNega.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (385kB)

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.

Interest & Impact

Downloads

2 since deposited on 22 Oct 2019
0 in the past 12 months

Citations

5 Citations in Web of Science ®
6 Citations in Scopus

Search

in Google Scholar™

Services

Actions (login required)

Edit item

Actions (login required)

Edit item