Pages that link to "Item:Q1049690"

The following pages link to \(\in_I\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity (Q1049690):

Displaying 7 items.

• \(\in_K\): a non-Fregean logic of explicit knowledge (Q633160) (← links)
• Tableau-based decision procedure for non-Fregean logic of sentential identity (Q2055842) (← links)
• Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity (Q2350968) (← links)
• Semantically closed intuitionistic abstract logics (Q2893315) (← links)
• Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate (Q4914001) (← links)
• An ‘<i>i</i>’ for an <i>i</i>, a Truth for a Truth† (Q5149971) (← links)
• Decidability of intuitionistic sentential logic with identity via sequent calculus (Q6659904) (← links)