Incomplete descriptions and qualified definiteness

DOI10.4204/EPTCS.415.12MaRDI QIDQ6934036zbMATH OpenFDO

Authors Bartosz Więckowski

Publication date 3 September 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4204/EPTCS.415.12

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites work

• A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation
• From Foundations to Ludics
• scientific article; zbMATH DE number 3503198 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Negative predication and distinctness
• Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
• The logicality of equality

Cited in

(1)

• Qualified definiteness

This page was built for publication: Incomplete descriptions and qualified definiteness

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