A binary quantifier for definite descriptions in Nelsonian free logic

DOI10.4204/EPTCS.415.5MaRDI QIDQ6934044zbMATH OpenFDO

Authors Yaroslav I. Petrukhin

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.5

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)

Cites work

• A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation
• A semantical study of constructible falsity
• An introduction to non-classical logic. From if to is
• Constructible falsity
• Constructible falsity and inexact predicates
• Definite descriptions in intuitionist positive free logic
• Embedding from multilattice logic into classical logic and vice versa
• scientific article; zbMATH DE number 3659563 (Why is no real title available?)
• scientific article; zbMATH DE number 3758289 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3074070 (Why is no real title available?)
• Intuitionistic logic with strong negation
• Two treatments of definite descriptions in intuitionist negative free logic

Cited in

(1)

• On a second-order version of Russellian theory of definite descriptions

This page was built for publication: A binary quantifier for definite descriptions in Nelsonian free logic

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