Pages that link to "Item:Q2878747"

The following pages link to Classical propositional logic and decidability of variables in intuitionistic propositional logic (Q2878747):

Displaying 6 items.

• Embedding classical in minimal implicational logic (Q2793912) (← links)
• The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
• A note on decidability of variables in intuitionistic propositional logic (Q5109220) (← links)
• Decidable variables for constructive logics (Q6047667) (← links)
• IMPROVING STRONG NEGATION (Q6051428) (← links)