The following pages link to Logical systems with implications (Q1221757):
Displaying 10 items.
- Basic properties of the equivalence (Q786810) (← links)
- The axiomatization of S. Jaskowski's discussive system (Q1212927) (← links)
- Discussive sentential calculuc of Jaskowski (Q1220919) (← links)
- On quantity of logical values in the discussive \(D_2\) system and in modular logic (Q1221748) (← links)
- Matrix approach in methodology of sentential calculi (Q1229698) (← links)
- On three-valued implicative systems (Q1253653) (← links)
- Logics of order and related notions (Q2106877) (← links)
- About the equivalent theories of algebras with relations (Q2264658) (← links)
- On logical systems with implications and theories of algebras (Q2264664) (← links)
- Adjoint interpretations of sentential calculi (Q2266005) (← links)
