Pages that link to "Item:Q346768"

The following pages link to A square of oppositions in intuitionistic logic with strong negation (Q346768):

Displaying 5 items.

• The Vatican square (Q346752) (← links)
• Logical squares for classical logic sentences (Q346765) (← links)
• The Klein group, squares of opposition and the explanation of fallacies in reasoning (Q346775) (← links)
• Constructive predicate logic with strong negation and model theory (Q1104309) (← links)
• Vector logic allows counterfactual virtualization by the square root of NOT (Q5014065) (← links)