The expressive unary truth functions of \(n\)-valued logic

DOI10.1305/NDJFL/1107220676zbMath1098.03032OpenAlexW2037678188MaRDI QIDQ558444

Stephen Pollard

Publication date: 6 July 2005

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1107220676

zbMATH Keywords

many-valued logicsabstract deductive systems

Mathematics Subject Classification ID

Many-valued logic (03B50) Abstract deductive systems (03B22)

Cites Work

• Compactness theorems for finitely-many-valued sentential logics
• Theory of logical calculi. Basic theory of consequence operations
• An algebraic approach to non-classical logics
• Contractions of closure systems
• What is negation?
• The expressive truth conditions of two-valued logic
• On compactness in many-valued logic. I
• Unnamed Item
• Unnamed Item

This page was built for publication: The expressive unary truth functions of \(n\)-valued logic