The following pages link to (Q3469090):
Displayed 19 items.
- Natural deduction and Curry's paradox (Q877241) (← links)
- Implementing the `Fool's model' of combinatory logic (Q1181718) (← links)
- How to be really contraction free (Q1313081) (← links)
- Quine and Slater on paraconsistency and deviance (Q1411358) (← links)
- Routes to triviality (Q1771203) (← links)
- From games to truth functions: a generalization of Giles's game (Q2016084) (← links)
- The Hahn embedding theorem for a class of residuated semigroups (Q2027209) (← links)
- Group representation for even and odd involutive commutative residuated chains (Q2157596) (← links)
- On the algebraizability of the implicational fragment of abelian logic (Q2259001) (← links)
- A predicate extension of real valued logic (Q2402962) (← links)
- Variations on a theme of Curry (Q2505136) (← links)
- Involutive uninorm logic with fixed point enjoys finite strong standard completeness (Q2700813) (← links)
- (Q4603449) (← links)
- Theorems of Alternatives for Substructural Logics (Q5020165) (← links)
- MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS (Q5052001) (← links)
- On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\) (Q6054061) (← links)
- Substructural logics, pluralism and collapse (Q6088957) (← links)
- Consistent theories in inconsistent logics (Q6166129) (← links)
- Revisiting Reichenbach's logic (Q6180119) (← links)