Subformula semantics for strong negation systems

DOI10.1007/BF00263542zbMath0693.03004OpenAlexW1976817847MaRDI QIDQ584239

Seiki Akama

Publication date: 1990

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00263542

zbMATH Keywords

sequent calculusKripke modelssemantics for strong negation systemssubformula modelssubformula property

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Tableaux for logic programming with strong negation ⋮ Why Paraconsistent Logics?

This page was built for publication: Subformula semantics for strong negation systems