The expressive unary truth functions of n-valued logic

DOI10.1305/NDJFL/1107220676zbMATH Open1098.03032OpenAlexW2037678188MaRDI QIDQ558444FDOQ558444

Authors: 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

Recommendations

• The expressive truth conditions of two-valued logic
• Expressive three-valued truth functions
• On bases of many-valued truth functions
• Minimally incomplete sets of Łukasiewiczian truth functions
• On expressibility of functions of many-valued logic in some logical-functional languages

zbMATH Keywords

many-valued logicsabstract deductive systems

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (9)

• Spectra and satisfiability for logics with successor and a unary function
• Title not available (Why is that?)
• Uniformity of a certain systems of functions of many-valued logic
• Expressive three-valued truth functions
• Involutive uninorm logic with the \(n\)-potency axiom
• The expressive truth conditions of two-valued logic
• Title not available (Why is that?)
• The value of the one value: \textit{exactly true logic} revisited
• The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q558444)