The following pages link to (Q5641129):
Displaying 13 items.
- On the minimal non-Fregean Grzegorczyk logic (Q284218) (← links)
- Non-Fregean propositional logic with quantifiers (Q286706) (← links)
- Grzegorczyk's logics. I (Q500021) (← links)
- \(\in_K\): a non-Fregean logic of explicit knowledge (Q633160) (← links)
- Possible worlds in use (Q647416) (← links)
- Number of extensions of non-Fregean logics (Q815015) (← links)
- Translatability in non-Fregean theories (Q1226482) (← links)
- Hyper-slingshot. Is fact-arithmetic possible? (Q2013330) (← links)
- A completeness theorem for ''theories of kind W'' (Q2556327) (← links)
- A Mystery of Grzegorczyk’s Logic of Descriptions (Q4611704) (← links)
- From Formal Theory of Knowledge to Non-Fregean Logic (Q4611706) (← links)
- Equality Logic (Q5147753) (← links)
- Decidability of intuitionistic sentential logic with identity via sequent calculus (Q6659904) (← links)
