Algebraic Completeness Results for Dummett's LC and Its Extensions

&
Mathematical Logic Quarterly 17 (1):225-230 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19710170126

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

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.
Completeness theorem for Dummett's LC quantified and some of its extensions.Giovanna Corsi - 1992 - Studia Logica 51 (2):317 - 335.
Completeness and conservative extension results for some Boolean relevant logics.Steve Giambrone & Robert K. Meyer - 1989 - Studia Logica 48 (1):1 - 14.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
A Note on Natural Extensions in Abstract Algebraic Logic.Petr Cintula & Carles Noguera - 2015 - Studia Logica 103 (4):815-823.
Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of Q.Alexandra Shlapentokh - 1994 - Annals of Pure and Applied Logic 68 (3):299-325.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Distinguished algebraic semantics for t -norm based fuzzy logics: Methods and algebraic equivalencies.Petr Cintula, Francesc Esteva, Joan Gispert, Lluís Godo, Franco Montagna & Carles Noguera - 2009 - Annals of Pure and Applied Logic 160 (1):53-81.
Canonical Extensions and Relational Completeness of Some Substructural Logics.J. Michael Dunn, Mai Gehrke & Alessandra Palmigiano - 2005 - Journal of Symbolic Logic 70 (3):713 - 740.
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.
Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics.Hiroakira Ono - 2012 - Studia Logica 100 (1-2):339-359.
End Extensions of Models of Weak Arithmetic Theories.Costas Dimitracopoulos & Vasileios S. Paschalis - 2016 - Notre Dame Journal of Formal Logic 57 (2):181-193.
On the standard and rational completeness of some axiomatic extensions of the monoidal t-Norm logic.Francesc Esteva, Joan Gispert, Lluís Godo & Franco Montagna - 2002 - Studia Logica 71 (2):199 - 226.

Analytics

Added to PP
2013-11-24

Downloads
38 (#417,623)

6 months
8 (#352,539)

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

Quantification and RM.J. Michael Dunn - 1976 - Studia Logica 35 (3):315 - 322.

View all 15 citations / Add more citations

References found in this work

A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
Extensions of the Lewis system S5.Schiller Joe Scroggs - 1951 - Journal of Symbolic Logic 16 (2):112-120.
Finite limitations on Dummet's LC.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):170-174.
On finitely many-valued logics.Rolf Schock - 1964 - Logique Et Analyse 25 (26):43-58.

View all 6 references / Add more references