Pages that link to "Item:Q2556327"
From MaRDI portal
The following pages link to A completeness theorem for ''theories of kind W'' (Q2556327):
Displaying 7 items.
- Non-Fregean propositional logic with quantifiers (Q286706) (← links)
- Quasi-completeness in non-Fregean logic (Q758987) (← links)
- On 'generalized logics' (Q1221743) (← links)
- Translatability in non-Fregean theories (Q1226482) (← links)
- Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity (Q2350968) (← links)
- ON THE LAWS OF FORM (Q4113796) (← links)
- From Formal Theory of Knowledge to Non-Fregean Logic (Q4611706) (← links)
