Fibring non-truth-functional logics: Completeness preservation

DOI10.1023/A:1022301711366zbMATH Open1015.03010MaRDI QIDQ1868482FDOQ1868482

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)

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

zbMATH Keywords

completenesscombining logicsfibringnon-truth-functional logics

Mathematics Subject Classification ID

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

Cited In (9)

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

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)