On Graph-theoretic Fibring of Logics

DOI10.1093/logcom/exp024zbMath1193.03056OpenAlexW2092229471MaRDI QIDQ3656775

Marcelo E. Coniglio, João Rasga, Amílcar Sernadas, Cristina Sernadas

Publication date: 14 January 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exp024

zbMATH Keywords

combination of logicsfibringgraph-theoretic techniquespreservation resultscollapsing problem

Mathematics Subject Classification ID

Combined logics (03B62)

Related Items (2)

An NP-complete fragment of fibring logic ⋮ Fibring as biporting subsumes asymmetric combinations

This page was built for publication: On Graph-theoretic Fibring of Logics