Further Results on Proof Theories For Semilattice Logics

, , &
Mathematical Logic Quarterly 34 (4):301-304 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19880340404

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

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

Proof Theories for Semilattice Logics.Steve Giambrone & Alasdaire Urquhart - 1987 - Mathematical Logic Quarterly 33 (5):433-439.
Relevant logics and their rivals, Volume II, A continuation of the work of Richard Sylvan, Robert Meyer, Val Plumwood and Ross Brady, edited by Ross Brady, with contributions by Martin Bunder, André Fuhrmann, Andréa Loparić, Edwin Mares, Chris Mortensen and Alasdair Urquhart. Western Philosophy Series, vol. 59. Aldershot, Ashgate, 2003, xiv + 425 pp. [REVIEW]Nicholas Griffin - 2005 - Bulletin of Symbolic Logic 11 (1):70-72.
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.
Announcements.[author unknown] - 1973 - Review of Metaphysics 27 (2):446-447.
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.
Reflections on Proof Complexity and Counting Principles.Noah Fleming & Toniann Pitassi - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 497-520.
Synthesized substructural logics.Norihori Kamide - 2007 - Mathematical Logic Quarterly 53 (3):219-225.
Ockham Algebras—An Urquhart Legacy.T. S. Blyth & H. J. Silva - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 367-387.

Analytics

Added to PP
2013-12-01

Downloads
27 (#825,296)

6 months
2 (#1,685,182)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Alasdair Urquhart
University of Toronto, St. George Campus

Citations of this work

On semilattice relevant logics.Ryo Kashima - 2003 - Mathematical Logic Quarterly 49 (4):401.

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.

Add more references