The expressive truth conditions of two-valued logic

DOI10.1305/ndjfl/1074396307zbMath1050.03008OpenAlexW2020989430MaRDI QIDQ1882401

Stephen Pollard

Publication date: 1 October 2004

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

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

zbMATH Keywords

closure spaceclassical truth functionsexpressive logicsirreducible set

Mathematics Subject Classification ID

Classical propositional logic (03B05) Abstract deductive systems (03B22)

Related Items (1)

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

Cites Work

• Theory of logical calculi. Basic theory of consequence operations
• Contractions of closure systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The expressive truth conditions of two-valued logic