Abstract
A system |${\sf WF}$| of subintuitionistic logic is introduced, weaker than Corsi’s basic subintuitionistic system |${\sf F}$|. A derivation system with and without hypotheses is given in line with the authors’ derivation system for |${\sf F}$|. A neighbourhood semantics is introduced with a somewhat more complex definition than the neighbourhood semantics for non-normal modal logics. Completeness is proved for |${\sf WF}$| with respect to this neighbourhood semantics, and similarly for some logics between |${\sf WF}$| and |${\sf F}$| which characterize nice frame classes. The study by the authors of the conservativity of |${\sf IPC}$| over |${\sf F}$| with respect to some classes of implications is extended to |${\sf WF}$|, and shows clearly the difference in strength between the two logics. Study of translations of these weak subintuitionistic logics into non-normal modal logics turned out to be hard because of the difference between their respective neighbourhood structures and leaves us with some open problems.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.