Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate

DOI10.1093/JIGPAL/JZR050zbMath1283.03058OpenAlexW2080931184MaRDI QIDQ4914001

Steffen Lewitzka

Publication date: 17 April 2013

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzr050

zbMATH Keywords

truth theorypropositional quantifiersnon-Fregean logicimpredicativitypropositional (self-)reference

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (3)

Reasoning about proof and knowledge ⋮ Some remarks on semantics and expressiveness of the sentential calculus with identity ⋮ Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity

This page was built for publication: Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate