Pages that link to "Item:Q3680807"
From MaRDI portal
The following pages link to A consistent prepositional logic without any finite models (Q3680807):
Displaying 6 items.
- A consistent theory of attributes in a logic without contraction (Q1208119) (← links)
- A first-order logic with no logical constants (Q1263571) (← links)
- A Consistent Higher-Order Theory Without a (Higher-Order) Model (Q3486538) (← links)
- (Q4395548) (← links)
- (Q4698602) (← links)
- The pleasures of anticipation: Enriching intuitionistic logic (Q5957420) (← links)