Cuts and gluts

DOI10.3166/JANCL.15.249-263zbMath1185.03044OpenAlexW2060516664MaRDI QIDQ3647229

Marcel Crabbé

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.15.249-263

zbMATH Keywords

gapscut-eliminationcomprehension axiomglutsvalidity with respect to paraconsistent models

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Paraconsistent logics (03B53)

Cites Work

• Unnamed Item
• Naive set theory with extensionality in partial logic and in paradoxical logic
• Axiomatisation of substitution
• The Hauptsatz for Stratified Comprehension: A Semantic Proof
• On the Notion of Substitution

This page was built for publication: Cuts and gluts