A Henkin-style proof of completeness for first-order algebraizable logics

&
Journal of Symbolic Logic 80 (1):341-358 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2014.19

Links

PhilArchive



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

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

Characterizing equivalential and algebraizable logics by the Leibniz operator.Burghard Herrmann - 1997 - Studia Logica 58 (2):305-323.
Fibring Modal First-Order Logics: Completeness Preservation.Amilcar Sernadas, Cristina Sernadas & Alberto Zanardo - 2002 - Logic Journal of the IGPL 10 (4):413-451.
Proofs and Countermodels in Non-Classical Logics.Sara Negri - 2014 - Logica Universalis 8 (1):25-60.
Completeness: from Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
Combining Algebraizable Logics.A. Jánossy, Á Kurucz & Á. E. Eiben - 1996 - Notre Dame Journal of Formal Logic 37 (2):366-380.
Equivalential and algebraizable logics.Burghard Herrmann - 1996 - Studia Logica 57 (2-3):419 - 436.
Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2013 - Journal of Philosophical Logic (2-3):1-30.
Weakly algebraizable logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.
Duality and Completeness for US-Logics.Fabio Bellissima & Saverio Cittadini - 1998 - Notre Dame Journal of Formal Logic 39 (2):231-242.
A Henkin-style completeness proof for the pure implicational calculus.George F. Schumm - 1975 - Notre Dame Journal of Formal Logic 16 (3):402-404.
Anshakov-Rychkov Algebras.Olga Ambas - 2001 - Notre Dame Journal of Formal Logic 42 (4):211-224.
Algebraizable logics with a strong conjunction and their semi-lattice based companions.Ramon Jansana - 2012 - Archive for Mathematical Logic 51 (7-8):831-861.
Löwenheim–Skolem theorems for non-classical first-order algebraizable logics: Table 1.Pilar Dellunde, Àngel García-Cerdaña & Carles Noguera - 2016 - Logic Journal of the IGPL 24 (3):321-345.
Completeness results for some two-dimensional logics of actuality.David R. Gilbert & Edwin D. Mares - 2012 - Review of Symbolic Logic 5 (2):239-258.
Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.

Analytics

Added to PP
2016-06-30

Downloads
17 (#846,424)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.
The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.
An Algebraic Approach to Non-Classical Logics.Anne Preller - 1977 - Journal of Symbolic Logic 42 (3):432-432.

View all 10 references / Add more references