A syntactical study of the subminimal logic with Nelson negation

From MaRDI portal

Revision as of 01:46, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2479743

Jump to:navigation, search

zbMath1143.03006MaRDI QIDQ2479743

Mitio Takano

Publication date: 3 April 2008

Published in: Nihonkai Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

Nelson negation subminimal logic normalizable

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: A syntactical study of the subminimal logic with Nelson negation

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2479743&oldid=15174675"