Proof Theories for Semilattice Logics

&
Mathematical Logic Quarterly 33 (5):433-439 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19870330507

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

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

Further Results on Proof Theories For Semilattice Logics.Robert K. Meyer, Errol P. Martin, Steve Giambrone & Alasdair Urquhart - 1988 - Mathematical Logic Quarterly 34 (4):301-304.
Revisiting Semilattice Semantics.Shawn Standefer - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 243-259.
Semantics for Pure Theories of Connexive Implication.Yale Weiss - 2022 - Review of Symbolic Logic 15 (3):591-606.
On semilattice relevant logics.Ryo Kashima - 2003 - Mathematical Logic Quarterly 49 (4):401.
On semilattice-based logics with an algebraizable assertional companion.Josep Font - 2011 - Reports on Mathematical Logic:109-132.
On the free implicative semilattice extension of a Hilbert algebra.Sergio A. Celani & Ramón Jansana Ferrer - 2012 - Mathematical Logic Quarterly 58 (3):188-207.
Differences of Computably Enumerable Sets.A. Nies & S. Lempp - 2000 - Mathematical Logic Quarterly 46 (4):555-562.
An algebraic approach to elementary theories based on N‐valued Lukasiewicz logics.Roberto Cignoli - 1984 - Mathematical Logic Quarterly 30 (1-6):87-96.
Synthesized substructural logics.Norihiro Kamide - 2007 - Mathematical Logic Quarterly 53 (3):219-225.
Synthesized substructural logics.Norihori Kamide - 2007 - Mathematical Logic Quarterly 53 (3):219-225.

Analytics

Added to PP
2014-01-16

Downloads
24 (#646,648)

6 months
7 (#592,005)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Relational proof system for relevant logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
Four relevant Gentzen systems.Steve Giambrone & Aleksandar Kron - 1987 - Studia Logica 46 (1):55 - 71.
The relevance logic of Boolean groups.Yale Weiss - 2023 - Logic Journal of the IGPL 31 (1):96-114.

View all 11 citations / Add more citations

References found in this work

Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan Ross Anderson & Nuel D. Belnap - 1975 - Princeton, N.J.: Princeton University Press. Edited by Nuel D. Belnap & J. Michael Dunn.
Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.
An axiomatic version of positive semilattice relevance logic.G. Charlwood - 1981 - Journal of Symbolic Logic 46 (2):233-239.
Four relevant Gentzen systems.Steve Giambrone & Aleksandar Kron - 1987 - Studia Logica 46 (1):55 - 71.

Add more references