scientific article; zbMATH DE number 1163995

MaRDI QIDQ4395622zbMATH OpenFDO

Authors Kosta Došen

Publication date 22 February 1999

zbMATH Keywords

categorical logicconsequence relationscut-elimination

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4045715
• Cut-free double sequent calculus for S5
• Admissibility of cut in congruent modal logics
• Coherence for modalities

Cited in

(5)

• Gödel on deduction
• Completeness of a cut-free calculus with equality and function constants
• Inferential Semantics
• The nature of entailment: an informational approach
• A note on synonymy in proof-theoretic semantics

This page was built for publication:

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