\(\in_I\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity

DOI10.1215/00294527-2009-012zbMath1190.03016OpenAlexW2026457733WikidataQ114007782 ScholiaQ114007782MaRDI QIDQ1049690

Steffen Lewitzka

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

zbMATH Keywords

truth theorysemantic paradoxesextensionintuitionistic logicself-referenceintensiondenotationintensional semanticsnon-Fregean logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

\(\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

This page was built for publication: \(\in_I\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity