Pages that link to "Item:Q3342528"
From MaRDI portal
The following pages link to ARBITRARY TRUTH-VALUE FUNCTIONS AND NATURAL DEDUCTION (Q3342528):
Displaying 7 items.
- Correspondence analysis for some fragments of classical propositional logic (Q828774) (← links)
- Natural deduction and arbitrary objects (Q1061731) (← links)
- On sequence-conclusion natural deduction systems (Q1062053) (← links)
- Classes of valuations closed under operations Galois-dual to Boolean sentence connectives (Q1922666) (← links)
- THE SUBFORMULA PROPERTY IN CLASSICAL NATURAL DEDUCTION ESTABLISHED CONSTRUCTIVELY (Q4899967) (← links)
- Functional Completeness in CPL via Correspondence Analysis (Q5241402) (← links)
- Non-transitive correspondence analysis (Q6156626) (← links)