Q3762316
type: Item
instance of: scholarly article
zbMATH Open document ID: 0624.03049
author: Ryszard Ładniak
publication date: 1986-01-01T00:00:00Z
Mathematics Subject Classification ID: 03G25
zbMATH DE Number: 4012609
zbMATH Keywords: definitionally complete logics
zbMATH Keywords: definitionally complete algebra
MaRDI profile type: Publication
Recommended article: A completeness theorem for higher order logics
Recommended article: Q4870082
Recommended article: Completeness theory for propositional logics
Recommended article: Q3815294
Recommended article: Theory of completeness for logical spaces
Recommended article: A completeness theorem for dynamic logic
Recommended article: An inclusion theorem for defeasible logics
Recommended article: Definability theorems in normal extensions of the provability logic
Recommended article: Q3760524
Recommended article: Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique
description: scientific article