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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,388

External links

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

Through your library

Analytics

Added to PP
2018-03-23

Downloads
34 (#698,174)

6 months
2 (#1,294,541)

Historical graph of downloads
How can I increase my downloads?

References found in this work

The Connectives.Lloyd Humberstone - 2011 - MIT Press. Edited by Lloyd Humberstone.
Bridges from Classical to Nonmonotonic Logic.David Makinson - 2005 - London: King's College Publications.
A Structuralist Theory of Logic.Arnold Koslow - 1992 - New York: Cambridge University Press.

View all 23 references / Add more references