Bi-intuitionistic implication structures

Journal of Applied Non-Classical Logics 28 (1):20-34 (2018)
  Copy   BIBTEX

Abstract

In this contribution, we will present some results concerning the connectives of bi-intuitionistic logic in the setting of Arnold Koslow’s implication structures. Furthermore, we will present soundness and completeness results of Koslow’s implication structures with respect to bi-intuitionistic logic.

Categories

Keywords

Reprint years

DOI

10.1080/11663081.2018.1448636

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.Norihiro Kamide, Yaroslav Shramko & Heinrich Wansing - 2017 - Studia Logica 105 (6):1193-1219.
Natural deduction for bi-intuitionistic logic.Luca Tranchini - 2017 - Journal of Applied Logic 25:S72-S96.
Bi-Simulating in Bi-Intuitionistic Logic.Guillermo Badia - 2016 - Studia Logica 104 (5):1037-1050.
Reprint of: A more general general proof theory.Heinrich Wansing - 2017 - Journal of Applied Logic 25:23-46.
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic.Linda Postniece - unknown
Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics.Yaroslav Petrukhin - forthcoming - Journal of Logic, Language and Information:1-18.
The logic of bunched implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.
On an Intuitionistic Logic for Pragmatics.Gianluigi Bellin, Massimiliano Carrara & Daniele Chiffi - 2018 - Journal of Logic and Computation 50 (28):935–966..
On combining intuitionistic and S4 modal logic.João Rasga & Cristina Sernadas - forthcoming - Bulletin of the Section of Logic.
A Remark on Maksimova's Variable Separation Property in Super-Bi-Intuitionistic Logics.Guillermo Badia - 2017 - Australasian Journal of Logic 14 (1).

Analytics

Added to PP
2018-03-23

Downloads
22 (#699,274)

6 months
3 (#1,207,210)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

The Connectives.Lloyd Humberstone - 2011 - MIT Press. Edited by Lloyd Humberstone.
A Structuralist Theory of Logic.Arnold Koslow - 1992 - New York: Cambridge University Press.

View all 24 references / Add more references