The following pages link to (Q5224895):
Displaying 4 items.
- О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE (Q5059699) (← links)
- RELEVANCE FOR THE CLASSICAL LOGICIAN (Q5107541) (← links)
- (Meta)inferential levels of entailment beyond the Tarskian paradigm (Q6088599) (← links)
- Proof-theoretic pluralism (Q6088951) (← links)
