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)
03B50: Many-valued logic
Related Items
The expressive unary truth functions of \(n\)-valued logic, Syntactic features and synonymy relations: A unified treatment of some proofs of the compactness and interpolation theorems
Cites Work