Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions

DOI10.1080/11663081.1999.10510958zbMath1033.03017OpenAlexW2031598858MaRDI QIDQ4443421

Publication date: 13 January 2004

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1999.10510958

zbMATH Keywords

De Morgan lattice bilattice four-valued logics equational axiomatizations algebraizable sequential consequence operations sequential axiomatizations

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50) Equational classes, universal algebra in model theory (03C05) Abstract deductive systems (03B22)

Related Items (27)

A relative interpolation theorem for infinitary universal Horn logic and its applications ⋮ On all strong Kleene generalizations of classical logic ⋮ A Gentzen calculus for nothing but the truth ⋮ О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Bilattices with implications ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ An infinity of super-Belnap logics ⋮ Distributive-lattice semantics of sequent calculi with structural rules ⋮ Many-place sequent calculi for finitely-valued logics ⋮ Interpolation methods for Dunn logics and their extensions ⋮ Four-Valued Logics BD and DM4: Expansions ⋮ n-valued maximal paraconsistent matrices ⋮ Generalizing functional completeness in Belnap-Dunn logic ⋮ Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules ⋮ Fuzzy semantics for multiple-conclusion sequential calculi with structural rules ⋮ Subquasivarieties of implicative locally-finite quasivarieties ⋮ Regular bilattices ⋮ From Paraconsistent Logic to Dialetheic Logic ⋮ Paraconsistent Modal Logics ⋮ Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations ⋮ Implicational classes of De Morgan lattices ⋮ Definitional equivalence and algebraizability of generalized logical systems ⋮ Normalisation for Some Quite Interesting Many-Valued Logics ⋮ Subprevarieties versus extensions. Application to the logic of paradox ⋮ Gentzen-type methods for bilattice negation ⋮ Nelson's negation on the base of weaker versions of intuitionistic negation

Cites Work

This page was built for publication: Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions