Classical implication for three-valued logic

DOI10.1007/S10849-025-09436-WMaRDI QIDQ6913383zbMATH OpenFDO

Authors Zhu-Yu Li, Pavel Naumov

Publication date 21 October 2025

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10849-025-09436-W

zbMATH Keywords

axiomatisationcompletenessthree-valued logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• A dynamic logic of data-informed knowledge
• Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\)
• scientific article; zbMATH DE number 3482296 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Introduction to mathematical logic
• Non-commutative propositional logic with short-circuit evaluation
• On a three-valued logical calculus and its application to the analysis of contradictions.
• On notation for ordinal numbers
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• Proposition algebra and short-circuit logic
• Symbolic logic.
• The Notion of Logical Consequence in the Logic of Inexact Predicates
• The pursuit of an implication for the logics L3A and L3B
• The Strong Completeness of a System for Kleene's Three‐Valued Logic

This page was built for publication: Classical implication for three-valued logic

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