Pages that link to "Item:Q1219802"
From MaRDI portal
The following pages link to Investigations into the system of intuitionistic logic (Q1219802):
Displaying 6 items.
- Generalizing functional completeness in Belnap-Dunn logic (Q497416) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX (Q4600826) (← links)
- Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis (Q5215504) (← links)
- GÖDEL ON MANY-VALUED LOGIC (Q6074936) (← links)