Pages that link to "Item:Q5241402"
From MaRDI portal
The following pages link to Functional Completeness in CPL via Correspondence Analysis (Q5241402):
Displaying 4 items.
- Correspondence analysis for some fragments of classical propositional logic (Q828774) (← links)
- Two-sided sequent calculi for \textit{FDE}-like four-valued logics (Q2698547) (← links)
- The Method of Socratic Proofs Meets Correspondence Analysis (Q5241406) (← links)
- Non-transitive correspondence analysis (Q6156626) (← links)
