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

Other Versions

No versions found

Links

PhilArchive



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

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

Petr Cintula, Carles Noguera, Logic and Implication. An Introduction to the General Algebraic Study of Non-classical Logics, vol. 57 of Trends in Logic, Springer, 2021, pp. 465+xxii; ISBN: 978-3-030-85674-8 (Hardcover) 117.69€, ISBN: 978-3-030- 85675-5 (eBook) 93.08 €. [REVIEW]Ramon Jansana - 2023 - Studia Logica 111 (4):709-715.
Logics of Order and Related Notions.Janusz Czelakowski & Adam Olszewski - 2022 - Studia Logica 110 (6):1417-1464.
Verified completeness in Henkin-style for intuitionistic propositional logic.Huayu Guo, Dongheng Chen & Bruno Bentzen - 2023 - In Bruno Bentzen, Beishui Liao, Davide Liga, Reka Markovich, Bin Wei, Minghui Xiong & Tianwen Xu (eds.), Logics for AI and Law: Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, September 8-9 and 11-12, 2023, Hangzhou. College Publications. pp. 36-48.
Arnoud Bayart's Modal Completeness Theorems — Translated with an Introduction and Commentary.M. J. Cresswell - 2015 - Logique Et Analyse 229 (1):89-142.
Henkin Leon. The completeness of the first-order functional calculus.W. Ackermann - 1950 - Journal of Symbolic Logic 15 (1):68-68.
Fibring Modal First-Order Logics: Completeness Preservation.Amilcar Sernadas, Cristina Sernadas & Alberto Zanardo - 2002 - Logic Journal of the IGPL 10 (4):413-451.
A Henkin-style completeness proof for the pure implicational calculus.George F. Schumm - 1975 - Notre Dame Journal of Formal Logic 16 (3):402-404.
A simple Henkin-style completeness proof for Gödel 3-valued logic G3.Gemma Robles - 2014 - Logic and Logical Philosophy 23 (4):371-390.
Characterizing equivalential and algebraizable logics by the Leibniz operator.Burghard Herrmann - 1997 - Studia Logica 58 (2):305-323.
Combining Algebraizable Logics.A. Jánossy, Á Kurucz & Á. E. Eiben - 1996 - Notre Dame Journal of Formal Logic 37 (2):366-380.

Analytics

Added to PP
2016-06-30

Downloads
29 (#764,401)

6 months
7 (#671,981)

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.
On the predicate logics of continuous t-norm BL-algebras.Franco Montagna - 2005 - Archive for Mathematical Logic 44 (1):97-114.

View all 9 references / Add more references