Possible-translations algebraization for paraconsistent logics

MaRDI QIDQ3435238zbMATH OpenFDO

Authors Juliana Bueno-Soler, Walter Carnielli

Publication date 25 April 2007

zbMATH Keywords

finitely algebraizable logicsparaconsistent logicspossible-translations semantics

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Other algebras related to logic (03G25)

Recommendations

• scientific article; zbMATH DE number 1735924
• Possible-translations semantics for some weak classically-based paraconsistent logics
• Paraconsistent logics and translations
• P1 algebras
• scientific article; zbMATH DE number 4197962

Cited in

(10)

• Defining behaviorizeable relations to enable inference in semi-automatic program synthesis
• Reconciling first-order logic to algebra
• Possible-translations semantics for some weak classically-based paraconsistent logics
• scientific article; zbMATH DE number 1735924 (Why is no real title available?)
• A survey on categories of logics and algebraizable logics
• AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS
• Algebraization of logics defined by literal‐paraconsistent or literal‐paracomplete matrices
• Truth as translation. Part A
• Conservative translations revisited
• Faithful Logic Embeddings in HOL — Deep and Shallow (Isabelle/HOL dataset)

This page was built for publication: Possible-translations algebraization for paraconsistent logics

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