Pages that link to "Item:Q3010359"

From MaRDI portal

← Kripke Semantics for Basic Sequent Systems (Q3010359)

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 Kripke Semantics for Basic Sequent Systems (Q3010359):

Displaying 3 items.

Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
The bounded proof property via step algebras and step frames (Q741087) (← links)
A connection-based characterization of bi-intuitionistic validity (Q2351153) (← links)

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