Fibring non-truth-functional logics: Completeness preservation

DOI10.1023/A:1022301711366zbMath1015.03010MaRDI QIDQ1868482

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

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

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

Related Items (7)

On a paraconsistentization functor in the category of consequence structures ⋮ An NP-complete fragment of fibring logic ⋮ A survey on categories of logics and algebraizable logics ⋮ Behavioral algebraization of logics ⋮ Combining Valuations with Society Semantics ⋮ Behavioral algebraization of da Costa's C-systems ⋮ What is a non-truth-functional logic?

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