scientific article; zbMATH DE number 1310972
From MaRDI portal
Publication:4254825
zbMath0936.03010MaRDI QIDQ4254825
Publication date: 29 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenesscut eliminationsequent calculusextensionalityintuitionistic logicnegationbivalent semanticsparaconsistent logictruth-functionalitybivalencestructuralityabsolutely free algebrasnormal logicconnective logicexcessive theoriespure negation
Cut-elimination and normal-form theorems (03F05) Abstract deductive systems (03B22) Paraconsistent logics (03B53)
Related Items (5)
Logic prizes \textit{et cætera} ⋮ Universal logic: evolution of a project ⋮ The Lvov-Warsaw School: A True Mythology ⋮ The relativity and universality of logic ⋮ Non Truth-Functional Many-Valuedness
This page was built for publication:
