Cut-free sequent-style systems for a logic associated to involutive Stone algebras

DOI10.1093/LOGCOM/EXAC061arXiv2304.11621OpenAlexW4298111153MaRDI QIDQ6189220

Liliana M. Cantú, Martín Figallo

Publication date: 8 February 2024

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

Full work available at URL: https://arxiv.org/abs/2304.11621

zbMATH Keywords

Gentzen systemsdegrees of truthlogic of formal inconsistencyinvolutive stone algebras

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

This page was built for publication: Cut-free sequent-style systems for a logic associated to involutive Stone algebras