Pages that link to "Item:Q4600826"
From MaRDI portal
The following pages link to AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX (Q4600826):
Displayed 11 items.
- Correspondence analysis for some fragments of classical propositional logic (Q828774) (← links)
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- Natural deduction for Post's logics and their duals (Q1653550) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Exactly true and non-falsity logics meeting infectious ones (Q4995617) (← links)
- (Q4999723) (← links)
- Normalisation for Some Quite Interesting Many-Valued Logics (Q5013635) (← links)
- Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis (Q5215504) (← links)
- Functional Completeness in CPL via Correspondence Analysis (Q5241402) (← links)
- The Method of Socratic Proofs Meets Correspondence Analysis (Q5241406) (← links)
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values (Q5742698) (← links)