Abstract
In this article, I present a semantically natural conservative extension of Urquhart’s positive semilattice logic with a sort of constructive negation. A subscripted sequent calculus is given for this logic and proofs of its soundness and completeness are sketched. It is shown that the logic lacks the finite model property. I discuss certain questions Urquhart has raised concerning the decision problem for the positive semilattice logic in the context of this logic and pose some problems for further research.
Similar content being viewed by others
References
Charlwood, G., An axiomatic version of positive semilattice relevance logic, Journal of Symbolic Logic 46(2): 233–239, 1981.
Cresswell, M. J., An incomplete decidable modal logic, Journal of Symbolic Logic 49(2): 520–527, 1984.
Fine, K., Completeness for the semilattice semantics with disjunction and conjunction (abstract), Journal of Symbolic Logic 41(2): 560, 1976.
Giambrone, S., and A. Kron, Four relevant Gentzen systems, Studia Logica 46(1): 55–71, 1987.
Giambrone, S., and A. Urquhart, Proof theories for semilattice logics, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 33(5): 433–439, 1987.
Johansson, I., Der minimalkalkül, ein reduzierter intuitionistischer formalismus, Compositio Mathematica 4: 119–136, 1937.
Kashima, R., On semilattice relevant logics, Mathematical Logic Quarterly 49(4): 401–414, 2003.
Meyer, R. K., Improved decision procedures for pure relevant logic, in C. A. Anderson, and M. Zelëny, (eds.), Logic, Meaning and Computation: Essays in Memory of Alonzo Church, Kluwer Academic Publishers, Dordrecht, 2001, pp. 191–217.
Meyer, R. K., and H. Ono, The finite model property for BCK and BCIW, Studia Logica 53(1): 107–118, 1994.
Negri, S., Proofs and countermodels in non-classical logics, Logica Universalis 8(1): 25–60, 2014.
Negri, S., and J. von Plato, Structural Proof Theory, Cambridge University Press, New York, 2001.
Urquhart, A., Semantics for relevant logics, Journal of Symbolic Logic 37(1): 159–169, 1972.
Urquhart, A., The undecidability of entailment and relevant implication, Journal of Symbolic Logic 49(4): 1059–1073, 1984.
Urquhart, A., Relevance logic: Problems open and closed, Australasian Journal of Logic 13(1): 11–20, 2016.
Urquhart, A. I. F., Completeness of weak implication, Theoria 37(3): 274–282, 1971.
Urquhart, A. I. F., The Semantics of Entailment, Ph.D. thesis, University of Pittsburgh, 1973.
Weiss, Y., A note on the relevance of semilattice relevance logic, Australasian Journal of Logic 16(6): 177–185, 2019.
Acknowledgements
The author is grateful to Alasdair Urquhart for correspondence concerning the positive semilattice logic, Graham Priest for discussions on related work, and two anonymous referees for comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Presented by Heinrich Wansing; Received November 8, 2019.
Rights and permissions
About this article
Cite this article
Weiss, Y. A Conservative Negation Extension of Positive Semilattice Logic Without the Finite Model Property. Stud Logica 109, 125–136 (2021). https://doi.org/10.1007/s11225-020-09903-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-020-09903-4