On bivalent semantics and natural deduction for some infectious logics

DOI10.1093/JIGPAL/JZAA071zbMath1494.03065OpenAlexW3130851428MaRDI QIDQ5066807

Alex Belikov

Publication date: 30 March 2022

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

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

zbMATH Keywords

natural deductionconjunctionbivalent semanticsinformational semanticsdisjunctioninfectious logicsgaps and glutsvariable inclusion property

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

This page was built for publication: On bivalent semantics and natural deduction for some infectious logics