Pages that link to "Item:Q2793912"

The following pages link to Embedding classical in minimal implicational logic (Q2793912):

Displaying 8 items.

• Classifying material implications over minimal logic (Q2204373) (← links)
• An embedding of the implicative fragment of classical logic into the implicative fragment of intuitionistic logic (Q2751814) (← links)
• On a new class of implications: \((g,\min)\)-implications and several classical tautologies (Q2886928) (← links)
• Embedding from multilattice logic into classical logic and vice versa (Q3133174) (← links)
• The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
• Proof Compression and NP Versus PSPACE II (Q5147748) (← links)
• A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)