Qualified definiteness

DOI10.18778/0138-0680.2025.16MaRDI QIDQ7228481zbMATH OpenFDO

Authors Bartosz Więckowski

Publication date 14 April 2026

Published in Bulletin of the Section of Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.18778/0138-0680.2025.16

zbMATH Keywords

uniquenessintuitionistic logicproof-theoretic semanticsidentitydefinite descriptions (generic, incomplete, nested, Haddock, predicative)

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites work

• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation
• From Foundations to Ludics
• Harmonic inferentialism and the logic of identity
• Identity and harmony
• Incomplete descriptions and qualified definiteness
• Negative predication and distinctness
• Proceedings of the 3rd Scandinavian logic symposium
• Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
• Subatomic negation
• The logicality of equality

This page was built for publication: Qualified definiteness

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