The following pages link to The independence of connectives (Q5513757):
Displayed 11 items.
- On a synonymy relation for extensional first order theories. I: A notion of synonymy (Q594088) (← links)
- What is a non-truth-functional logic? (Q1037600) (← links)
- The deducibilities of S5 (Q1159660) (← links)
- Matrix approach in methodology of sentential calculi (Q1229698) (← links)
- Algebraic study of Sette's maximal paraconsistent logic (Q1344874) (← links)
- Algebraic study of two deductive systems of relevance logic (Q1893139) (← links)
- Replacement in logic (Q1947034) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 (Q2499308) (← links)
- Zero-place operations and functional completeness, and the definition of new connectives (Q3141184) (← links)
- For Want of an ‘And’: A Puzzle about Non-Conservative Extension (Q5317773) (← links)