scientific article; zbMATH DE number 2217307

zbMath1096.03021MaRDI QIDQ5699230

Maurizio Negri

Publication date: 26 April 2006

Full work available at URL: https://eudml.org/doc/195535

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completenesssequent calculusDe Morgan algebras with a single fixed-point negationextension of Kleene's 3-valued logic

Mathematics Subject Classification ID

Many-valued logic (03B50) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Related Items (2)

A completeness proof for a regular predicate logic with undefined truth value ⋮ A probability measure for partial events

This page was built for publication: