Pages that link to "Item:Q5215504"
From MaRDI portal
The following pages link to Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis (Q5215504):
Displaying 7 items.
- Correspondence analysis for some fragments of classical propositional logic (Q828774) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- (Q4263171) (← links)
- Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss (Q4646655) (← links)
- Normalisation for Some Quite Interesting Many-Valued Logics (Q5013635) (← links)
- Functional Completeness in CPL via Correspondence Analysis (Q5241402) (← links)
- On Vidal's trivalent explanations for defective conditional in mathematics (Q5742699) (← links)