Compactness theorems for finitely-many-valued sentential logics
From MaRDI portal
Publication:599810
DOI10.1007/BF02176172zbMath0415.03018MaRDI QIDQ599810
Publication date: 1978
Published in: Studia Logica (Search for Journal in Brave)
Related Items (2)
Syntactic features and synonymy relations: A unified treatment of some proofs of the compactness and interpolation theorems ⋮ The expressive unary truth functions of \(n\)-valued logic
Cites Work
This page was built for publication: Compactness theorems for finitely-many-valued sentential logics