\(\in_I\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity
From MaRDI portal
Publication:1049690
DOI10.1215/00294527-2009-012zbMath1190.03016WikidataQ114007782 ScholiaQ114007782MaRDI QIDQ1049690
Publication date: 13 January 2010
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1215/00294527-2009-012
truth theory; semantic paradoxes; extension; intuitionistic logic; self-reference; intension; denotation; intensional semantics; non-Fregean logics
03B60: Other nonclassical logic
03A05: Philosophical and critical aspects of logic and foundations
03B65: Logic of natural languages
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
\(\in_K\): a non-Fregean logic of explicit knowledge, Tableau-based decision procedure for non-Fregean logic of sentential identity, Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity