Pages that link to "Item:Q3647293"

The following pages link to Behavioral algebraization of da Costa's <i>C</i>-systems (Q3647293):

Displaying 3 items.

• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
• Algebraic Valuations as Behavioral Logical Matrices (Q3638271) (← links)
• AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS (Q5059925) (← links)