Pages that link to "Item:Q2352485"

From MaRDI portal

← Terminating calculi for propositional Dummett logic with subformula property (Q2352485)

Jump to:navigation, search

What links here

⧼whatlinkshere-whatlinkshere-target⧽

Page:

⧼whatlinkshere-whatlinkshere-ns⧽

Namespace:

Invert selection

⧼whatlinkshere-whatlinkshere-filter⧽

Hide transclusions

Hide links

Hide redirects

The following pages link to Terminating calculi for propositional Dummett logic with subformula property (Q2352485):

Displaying 1 item.

SAT-based proof search in intermediate propositional logics (Q2104497) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"