Pages that link to "Item:Q2520659"

The following pages link to How many times do we need an assumption to prove a tautology in minimal logic? Examples on the compression power of classical reasoning (Q2520659):

Displaying 1 item.

• A unified procedure for provability and counter-model generation in minimal implicational logic (Q2397231) (← links)