Pages that link to "Item:Q754187"
From MaRDI portal
The following pages link to Every quotient algebra for \(C_1\) is trivial (Q754187):
Displaying 10 items.
- Behavioral algebraization of logics (Q1005974) (← links)
- Paraconsistent algebras (Q1068074) (← links)
- P1 algebras (Q1317897) (← links)
- Replacement in logic (Q1947034) (← links)
- Equivalential and algebraizable logics (Q2563460) (← links)
- Behavioral algebraization of da Costa's <i>C</i>-systems (Q3647293) (← links)
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS (Q5059925) (← links)
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT (Q5099785) (← links)
- A Survey of Annotated Logics (Q5213771) (← links)
- Idempotent full paraconsistent negations are not algebraizable (Q5937811) (← links)
