Kripke semantics for logics with BCK implication

Bulletin of the Section of Logic 25:41-51 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

On classification of commutative BCK-logics'.Kazimiera Dyrda - 1985 - Bulletin of the Section of Logic 14 (1):30-32.
Simplified Kripke style semantics for modal logics K45, KB4 and KD45.Andrzej Pietruszczak - 2009 - Bulletin of the Section of Logic 38 (3/4):163-171.
Kripke-style semantics for Jaskowski's system qf.Max Urchs - 1981 - Bulletin of the Section of Logic 10 (1):24-28.
Pure strict implication logics.Szymon Frankowski - 2007 - Bulletin of the Section of Logic 36 (1/2):59-65.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Kripke completeness of predicate extensions of cofinal subframe logics.Tatsuya Shimura - 2001 - Bulletin of the Section of Logic 30 (2):107-114.

Analytics

Added to PP
2014-01-21

Downloads
31 (#533,234)

6 months
3 (#1,046,015)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Investigations into a left-structural right-substructural sequent calculus.Lloyd Humberstone - 2007 - Journal of Logic, Language and Information 16 (2):141-171.

Add more citations

References found in this work

Logics without the contraction rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
Informational interpretation of substructural propositional logics.Heinrich Wansing - 1993 - Journal of Logic, Language and Information 2 (4):285-308.
On the Logic of Information Flow.Jon Barwise, Dov Gabby & Chrysafis Hartonas - 1995 - Logic Journal of the IGPL 3 (1):7-50.
Interpretation of relevant logics in a logic of ternary relations.E. Orlowska - 1990 - Bulletin of the Section of Logic 19 (No2):39-49.

Add more references