scientific article; zbMATH DE number 7084843

zbMath1418.03088MaRDI QIDQ5224577

Andrzej Indrzejczak

Publication date: 24 July 2019

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

zbMATH Keywords

free logiccut eliminationsequent calculusdefinite descriptionsfirst-order modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items (8)

Tableaux for free logics with descriptions ⋮ Proof-theory and semantics for a theory of definite descriptions ⋮ RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH ⋮ A novel approach to equality ⋮ Free logics are cut-free ⋮ A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation ⋮ Free Definite Description Theory – Sequent Calculi and Cut Elimination ⋮ Definite Descriptions in Intuitionist Positive Free Logic

This page was built for publication: