scientific article; zbMATH DE number 847946
From MaRDI portal
Publication:4866992
zbMath0845.03001MaRDI QIDQ4866992
Publication date: 3 September 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
embeddingsalgebraic semanticscut-eliminationassociative Lambek calculus of syntactic typesrule of restricted permutationsubalgebra semantics
Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (1)
This page was built for publication: