Pages that link to "Item:Q792325"
From MaRDI portal
The following pages link to Logical matrices and non-structural consequence operators (Q792325):
Displaying 8 items.
- Many-valued computational logics (Q912083) (← links)
- A note on matrices for systems of nonsense-logics (Q918962) (← links)
- Nonmonotonic theories and their axiomatic varieties (Q1910893) (← links)
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics (Q2144181) (← links)
- (Q3329445) (← links)
- (Q4914850) (← links)
- Some Remarks on Heyting Matrices (Q5903071) (← links)
- From Inconsistency to Incompatibility (Q6107289) (← links)