Pages that link to "Item:Q1005974"
From MaRDI portal
The following pages link to Behavioral algebraization of logics (Q1005974):
Displaying 8 items.
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- Abstract valuation semantics (Q368484) (← links)
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
- Taking degrees of truth seriously (Q1015492) (← links)
- Algebraic Valuations as Behavioral Logical Matrices (Q3638271) (← links)
- Behavioral algebraization of da Costa's <i>C</i>-systems (Q3647293) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS (Q5059925) (← links)