scientific article; zbMATH DE number 1867299
From MaRDI portal
Publication:4793387
zbMath1024.03005MaRDI QIDQ4793387
Publication date: 19 November 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)
Related Items (6)
Tableaux for free logics with descriptions ⋮ Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic ⋮ Talking about nothing ⋮ 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: