Pages that link to "Item:Q4608553"
From MaRDI portal
The following pages link to Four-Valued Logics BD and DM4: Expansions (Q4608553):
Displaying 8 items.
- De Morgan clones and four-valued logics (Q829759) (← links)
- The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) (Q1712572) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4 (Q4644573) (← links)
- О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE (Q5059699) (← links)
- О выразительных возможностях отдельных расширений четырехзначной логики Белнапа (Q5061420) (← links)
- A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4 (Q6111082) (← links)
- Double negation as minimal negation (Q6190088) (← links)
