Pages that link to "Item:Q1820771"
From MaRDI portal
The following pages link to On the nonaxiomatizability of some logics by finitely many schemas (Q1820771):
Displaying 5 items.
- The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics (Q912089) (← links)
- The nonaxiomatizability of \(L(Q^ 2_{\aleph_ 1})\) by finitely many schemata (Q918971) (← links)
- Not every ``tabular'' predicate logic is finitely axiomatizable (Q1378430) (← links)
- When is a schema not a schema? On a remark by Suszko (Q2307299) (← links)
- There are reasonably nice logics (Q3981457) (← links)