Pages that link to "Item:Q6088603"
From MaRDI portal
The following pages link to Axiomatizing non-deterministic many-valued generalized consequence relations (Q6088603):
Displaying 7 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)
- From many-valued consequence to many-valued connectives (Q6088601) (← links)
- Finite Hilbert systems for weak Kleene logics (Q6642819) (← links)
- Monadicity of non-deterministic logical matrices is undecidable (Q6659898) (← links)
- On logics of perfect paradefinite algebras (Q6661152) (← links)