Pages that link to "Item:Q965859"
From MaRDI portal
The following pages link to Expressive power and incompleteness of propositional logics (Q965859):
Displaying 7 items.
- Truth table logic, with a survey of embeddability results (Q912092) (← links)
- Some questions about expressiveness and relative completeness in Hoare's logic (Q1064046) (← links)
- Speech acts, categoricity, and the meanings of logical connectives (Q2258539) (← links)
- Are the open-ended rules for negation categorical? (Q2695402) (← links)
- (Q4198476) (← links)
- (Q4250053) (← links)
- (Q4608640) (← links)