The following pages link to Fregean logics (Q598302):
Displaying 10 items.
- Logics from \(\sqrt{\prime}\) quasi-MV algebras (Q429939) (← links)
- Selfextensional logics with a conjunction (Q865045) (← links)
- Axiomatizing the skew Boolean propositional calculus (Q877820) (← links)
- Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
- Free equivalential algebras (Q952484) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- Update to ``A survey of abstract algebraic logic'' (Q1005985) (← links)
- Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
- Selfextensional logics with a distributive nearlattice term (Q1712939) (← links)
- Fregean logics with the multiterm deduction theorem and their algebraization (Q1770606) (← links)