Pages that link to "Item:Q5214733"

From MaRDI portal

← Characteristic Formulas Over Intermediate Logics (Q5214733)

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 Characteristic Formulas Over Intermediate Logics (Q5214733):

Displaying 2 items.

Yankov Characteristic Formulas (An Algebraic Account) (Q5886458) (← links)
A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics (Q5886462) (← links)

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