A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS

DOI10.1017/jsl.2014.19zbMath1372.03102OpenAlexW2168995070MaRDI QIDQ5251374

Carles Noguera, Petr Cintula

Publication date: 20 May 2015

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/bd8985e12d04e37809f3089b12246ba110ff3305

zbMATH Keywords

first-order logicalgebraizable logicscompleteness theoremHenkin theory

Mathematics Subject Classification ID

Classical first-order logic (03B10) Abstract deductive systems (03B22) Abstract algebraic logic (03G27)

Related Items (6)

Fraïssé classes of graded relational structures ⋮ Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ Abstract algebraic logic. An introductory chapter ⋮ A Lindström theorem in many-valued modal logic over a finite MTL-chain ⋮ Skolemization and Herbrand theorems for lattice-valued logics ⋮ Back-and-forth systems for fuzzy first-order models

Cites Work

• The proof by cases property and its variants in structural consequence relations
• Residuated lattices. An algebraic glimpse at substructural logics
• An algebraic approach to non-classical logics
• Metamathematics of fuzzy logic
• A survey of abstract algebraic logic
• On the predicate logics of continuous t-norm BL-algebras
• Proper semantics for substructural logics, from a stalker theoretic point of view
• A note on the first‐order logic of complete BL‐chains
• Algebraizable logics
• Protoalgebraic logics
• Three complexity problems in quantified fuzzy logic

This page was built for publication: A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS