Fraïssé’s theorem for logics of formal inconsistency

DOI10.1093/jigpal/jzy073zbMath1477.03092OpenAlexW2914403345MaRDI QIDQ3386912

Bruno Mendonça, Walter Alexandre Carnielli

Publication date: 8 January 2021

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzy073

zbMATH Keywords

paraconsistencymodel theorylogics of formal inconsistencyFraïssé's theoremback and forth equivalence

Mathematics Subject Classification ID

Paraconsistent logics (03B53)