Pages that link to "Item:Q6088603"

From MaRDI portal

← Axiomatizing non-deterministic many-valued generalized consequence relations (Q6088603)

Jump to:navigation, search

The following pages link to Axiomatizing non-deterministic many-valued generalized consequence relations (Q6088603):

Displaying 3 items.

Finite two-dimensional proof systems for non-finitely axiomatizable logics (Q2104551) (← links)
Computational properties of partial non-deterministic matrices and their logics (Q2151408) (← links)
On Axioms and Rexpansions (Q5020163) (← links)

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