О выразительных возможностях отдельных расширений четырехзначной логики Белнапа

DOI10.21146/2074-1472-2020-26-2-116-143OpenAlexW3112071257MaRDI QIDQ5061420

Leonid Yur'evich Devyatkin

Publication date: 12 January 2023

Published in: Logical Investigations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21146/2074-1472-2020-26-2-116-143

zbMATH Keywords

De Morgan algebraBelnap's four-valued logicclosed classes of functiontetravalent modal logictruth logic trvon Wright's truth logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Cites Work

• Classical negation and expansions of Belnap-Dunn logic
• Generalizing functional completeness in Belnap-Dunn logic
• The value of the four values
• 40 years of FDE: an introductory overview
• Four-valued paradefinite logics
• First-degree entailment and its relatives
• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
• Four-Valued Logics BD and DM4: Expansions
• On the expressive power of three-valued and four-valued languages
• da Costa Meets Belnap and Nelson
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: О выразительных возможностях отдельных расширений четырехзначной логики Белнапа