Pages that link to "Item:Q4943507"
From MaRDI portal
The following pages link to On the expressive power of three-valued and four-valued languages (Q4943507):
Displaying 18 items.
- Generalizing functional completeness in Belnap-Dunn logic (Q497416) (← links)
- Maximal and premaximal paraconsistency in the framework of three-valued semantics (Q631512) (← links)
- Some useful 16-valued logics: How a computer network should think (Q815018) (← links)
- De Morgan clones and four-valued logics (Q829759) (← links)
- Normal forms and functional completeness for four-valued languages (Q908219) (← links)
- Four-valued paradefinite logics (Q1685565) (← links)
- Interpolation methods for Dunn logics and their extensions (Q1685574) (← links)
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 (Q2209169) (← links)
- A class of implicative expansions of Kleene's strong logic, a subclass of which is shown functionally complete via the precompleteness of Łukasiewicz's 3-valued logic Ł3 (Q2236505) (← links)
- Three algebraic representation levels of the language (Q2737558) (← links)
- Partial and paraconsistent three-valued logics (Q2987760) (← links)
- ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION (Q4557169) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- (Q5020976) (← links)
- О выразительных возможностях отдельных расширений четырехзначной логики Белнапа (Q5061420) (← links)
- BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES (Q5107540) (← links)
- From Paraconsistent Logic to Dialetheic Logic (Q5213760) (← links)
- Three-Valued Paraconsistent Propositional Logics (Q5241519) (← links)