G3-style sequent calculi are introduced for a family of logics with strong negation: Gurevich logic, Nelson logic, intuitionistic propositional logic, Avron logic, De-Omori logic, and classical propositional logic. Structural properties including cut elimination are established for these calculi. In addition, a Glivenko theorem for embedding classical propositional logic into Gurevich logic is shown.
G3-style Sequent Calculi for Gurevich Logic and Its Neighbors
Negri, Sara
2024-01-01
Abstract
G3-style sequent calculi are introduced for a family of logics with strong negation: Gurevich logic, Nelson logic, intuitionistic propositional logic, Avron logic, De-Omori logic, and classical propositional logic. Structural properties including cut elimination are established for these calculi. In addition, a Glivenko theorem for embedding classical propositional logic into Gurevich logic is shown.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
