Pages that link to "Item:Q1575926"
From MaRDI portal
The following pages link to Connection methods in linear logic and proof nets construction (Q1575926):
Displaying 4 items.
- On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic (Q1933772) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Proof-search and proof nets in mixed linear logic (Q2703720) (← links)
- Connection calculus theorem proving with multiple built-in theories (Q5927987) (← links)