Pages that link to "Item:Q2554322"
From MaRDI portal
The following pages link to Semantics for the sentential calculus with identity (Q2554322):
Displayed 10 items.
- On the minimal non-Fregean Grzegorczyk logic (Q284218) (← links)
- Grzegorczyk's logics. I (Q500021) (← links)
- Q-ultrafilters and normal ultrafilters in B-algebras (Q1089335) (← links)
- On 'generalized logics' (Q1221743) (← 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)
- A propositional logic with relative identity connective and a partial solution to the paradox of analysis (Q2642522) (← links)
- Hyperintensional logics for everyone (Q2693110) (← links)
- ON THE LAWS OF FORM (Q4113796) (← links)
- A Mystery of Grzegorczyk’s Logic of Descriptions (Q4611704) (← links)