scientific article; zbMATH DE number 1163995

zbMath0906.03055MaRDI QIDQ4395622

Kosta Došen

Publication date: 22 February 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

cut-eliminationconsequence relationscategorical logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22)

Related Items (3)

Gödel on deduction ⋮ The nature of entailment: an informational approach ⋮ Inferential Semantics

This page was built for publication: