Cuts and gluts

DOI10.3166/JANCL.15.249-263MaRDI QIDQ3647229zbMATH OpenOpenAlexFDO

Authors 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

comprehension axiomcut-eliminationgapsglutsvalidity with respect to paraconsistent models

Mathematics Subject Classification ID

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

Recommendations

• Cuts, gluts and gaps
• Cuts and bounds
• Cut Elimination In Situ
• Cut as consequence
• Cut-off kinks
• Contact cuts
• Cutting the mix
• Slices and transfers
• scientific article; zbMATH DE number 1552525
• Slicing, skinning, and grafting

Cites work

• Axiomatisation of substitution
• scientific article; zbMATH DE number 3484054 (Why is no real title available?)
• Naive set theory with extensionality in partial logic and in paradoxical logic
• On the Notion of Substitution
• The Hauptsatz for Stratified Comprehension: A Semantic Proof

Cited in

(1)

• Extended cuts

This page was built for publication: Cuts and gluts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3647229)