The following pages link to (Q3995890):
Displayed 23 items.
- Shallow analysis and the slingshot argument (Q600849) (← links)
- Rough sets and 3-valued logics (Q1005949) (← links)
- Adequate formalization (Q1024867) (← links)
- Algebraic translations, correctness and algebraic compiler construction (Q1129121) (← links)
- The value of the four values (Q1274293) (← links)
- Synonymous logics (Q1404389) (← links)
- Kleene's Logic with equality (Q1603370) (← links)
- Four-valued paradefinite logics (Q1685565) (← links)
- Combining classical logic, paraconsistency and relevance (Q1775868) (← links)
- Paraconsistent logics and translations (Q1840969) (← links)
- New dimensions on translations between logics (Q1931302) (← links)
- What is a logic translation? (Q1931306) (← links)
- Distance-based paraconsistent logics (Q2270429) (← links)
- Notational variance and its variants (Q2288260) (← links)
- Boolean Connexive Logics: Semantics and tableau approach (Q3387888) (← links)
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics (Q4583342) (← links)
- AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX (Q4600826) (← links)
- A Post-style proof of completeness theorem for symmetric relatedness Logic S (Q4629294) (← links)
- Labelling ideality and subideality (Q4632306) (← links)
- Modal Boolean Connexive Logics: Semantics and Tableau Approach (Q5126195) (← links)
- Three-Valued Paraconsistent Propositional Logics (Q5241519) (← links)
- Strong Three-Valued Paraconsistent Logics (Q5241521) (← links)
- Conservative translations (Q5935991) (← links)