The following pages link to (Q4093414):
Displayed 8 items.
- A method of generating modal logics defining Jaśkowski's discussive logic \(D_{2}\) (Q631522) (← links)
- Some paraconsistent sentential calculi (Q1068811) (← links)
- Modal logics connected with systems \(S4_n\) of Sobocinski (Q1240213) (← links)
- Axiomatizing Jaśkowski's discussive logic \(\mathbf{D_2}\) (Q1756595) (← links)
- The parameterized local deduction theorem for quasivarieties of algebras and its application (Q1918964) (← links)
- Adjoint interpretations of sentential calculi (Q2266005) (← links)
- A Method of Generating Modal Logics Defining Jaśkowski’s Discussive D2 Consequence (Q3295786) (← links)
- Axiomatizing a minimal discussive logic (Q6057625) (← links)