Fibring non-truth-functional logics: Completeness preservation

DOI10.1023/A:1022301711366MaRDI QIDQ1868482zbMATHFDO

Authors Carlos Caleiro, Walter Carnielli, Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas

Publication date 27 April 2003

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

zbMATH Keywords

completenesscombining logicsfibringnon-truth-functional logics

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Abstract deductive systems (03B22)

Recommendations

• Fibring: Completeness preservation
• On Graph-theoretic Fibring of Logics
• Fibring Logics with Topos Semantics
• scientific article; zbMATH DE number 1219632
• scientific article; zbMATH DE number 868086

Cited in

(9)

• Behavioral algebraization of da Costa's \({\mathcal C}\)-systems
• Fibring: Completeness preservation
• Preservation by fibring of the finite model property
• An NP-complete fragment of fibring logic
• Behavioral algebraization of logics
• What is a non-truth-functional logic?
• Combining valuations with society semantics
• A survey on categories of logics and algebraizable logics
• On a paraconsistentization functor in the category of consequence structures

This page was built for publication: Fibring non-truth-functional logics: Completeness preservation

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