Pages that link to "Item:Q3032233"

From MaRDI portal

← An extension of ono's completeness result (Q3032233)

Jump to:navigation, search

The following pages link to An extension of ono's completeness result (Q3032233):

Displaying 2 items.

Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas (Q1208113) (← links)
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics (Q1208117) (← links)

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