Pages that link to "Item:Q4608553"
From MaRDI portal
The following pages link to Four-Valued Logics BD and DM4: Expansions (Q4608553):
Displaying 4 items.
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE (Q5059699) (← links)
- О выразительных возможностях отдельных расширений четырехзначной логики Белнапа (Q5061420) (← links)
- Double negation as minimal negation (Q6190088) (← links)
