Pages that link to "Item:Q2878747"

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

Displaying 8 items.

• The method of axiomatic rejection for the intuitionistic propositional logic (Q750414) (← links)
• Individual concepts as propositional variables in \(ML^{\nu +1}\) (Q760420) (← links)
• 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)