Pages that link to "Item:Q1049690"
From MaRDI portal
The following pages link to \(\in_I\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity (Q1049690):
Displayed 3 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)