The following pages link to (Q3995890):
Displayed 34 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)
- Containment logics: algebraic completeness and axiomatization (Q2062211) (← links)
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics (Q2108580) (← links)
- Tableaux for logics of content relationship and set-assignment semantics (Q2169132) (← 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)
- On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach (Q5006834) (← links)
- THREE MODEL-THEORETIC CONSTRUCTIONS FOR GENERALIZED EPSTEIN SEMANTICS (Q5046605) (← links)
- Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems (Q5066087) (← links)
- History of Relating Logic. The Origin and Research Directions (Q5066088) (← links)
- Incorporating the Relation into the Language? (Q5066092) (← 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)
- The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) (Q6043014) (← links)
- Boolean connexive logic and content relationship (Q6127189) (← links)
- Situation-based connexive logic (Q6127191) (← links)