Algebraic completeness results for R-mingle and its extensions

Journal of Symbolic Logic 35 (1):1-13 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200092161

Links

PhilArchive



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

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

Algebraic completeness results for r-Mingle and its extensions.J. Michael Dunn - 1970 - Journal of Symbolic Logic 35 (1):1-13.
Revisiting Constructive Mingle: Algebraic and Operational Semantics.Yale Weiss - 2022 - In Katalin Bimbo (ed.), Essays in Honor of J. Michael Dunn. College Publications. pp. 435-455.
Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R, R-Mingle, and Some Related Systems.Dolph Ulrich - 2016 - In Katalin Bimbó (ed.), J. Michael Dunn on Information Based Logics. Cham, Switzerland: Springer.
Algebraic Completeness Results for Dummett's LC and Its Extensions.J. Michael Dunn & Robert K. Meyer - 1971 - Mathematical Logic Quarterly 17 (1):225-230.
Relevance Logics and other Tools for Reasoning: Essays in Honor of J. Michael Dunn.Katalin Bimbó (ed.) - 2022 - College Publications.
Review: Robert K. Meyer, J. Michael Dunn, E, R and $gamma$. [REVIEW]David Makinson - 1971 - Journal of Symbolic Logic 36 (3):521-522.
Two proofs of the algebraic completeness theorem for multilattice logic.Oleg Grigoriev & Yaroslav Petrukhin - 2019 - Journal of Applied Non-Classical Logics 29 (4):358-381.
Book Reviews: J. Michael Dunn and Gary M. Hardegree, "Algebraic Methods in Philosophical Logic", Oxford Logic Guides, no. 41. [REVIEW]Rodolfo Ertola Biraben - 2005 - Logic and Logical Philosophy 14 (2):265-267.
J. Michael Dunn and Gary M. Hardegree. Algebraic methods in philosophical logic. Oxford logic guides, no. 41. Clarendon Press, Oxford University Press, Oxford, New York, etc., 2001, xv + 470 pp. [REVIEW]Janusz Czelakowski - 2003 - Bulletin of Symbolic Logic 9 (2):231-234.
The Lattice of Super-Belnap Logics.Adam Přenosil - 2023 - Review of Symbolic Logic 16 (1):114-163.

Analytics

Added to PP
2016-06-30

Downloads
4 (#1,644,260)

6 months
12 (#243,143)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jon Michael Dunn
PhD: University of Pittsburgh; Last affiliation: Indiana University, Bloomington

Citations of this work

Algebraic aspects of deduction theorems.Janusz Czelakowski - 1985 - Studia Logica 44 (4):369 - 387.
Fragments of R-Mingle.W. J. Blok & J. G. Raftery - 2004 - Studia Logica 78 (1-2):59-106.
Relevant Robinson's arithmetic.J. Michael Dunn - 1979 - Studia Logica 38 (4):407 - 418.

View all 17 citations / Add more citations

References found in this work

No references found.

Add more references