scientific article; zbMATH DE number 7585722
From MaRDI portal
Publication:5104714
Publication date: 15 September 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Tableaux for free logics with descriptions ⋮ Proof-theory and semantics for a theory of definite descriptions ⋮ RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH ⋮ Free logics are cut-free ⋮ Free Definite Description Theory – Sequent Calculi and Cut Elimination ⋮ Definite Descriptions in Intuitionist Positive Free Logic ⋮ A binary quantifier for definite descriptions for cut free free logics
This page was built for publication:
