Pages that link to "Item:Q5381035"
From MaRDI portal
The following pages link to REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS (Q5381035):
Displaying 7 items.
- Computational properties of partial non-deterministic matrices and their logics (Q2151408) (← links)
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) (Q5020161) (← links)
- On Axioms and Rexpansions (Q5020163) (← links)
- Comments on the Papers (Q5020174) (← links)
- On non-deterministic functional completeness (Q6623946) (← links)
- Tableau systems for some Ivlev-like (quantified) modal logics (Q6623948) (← links)
- Monadicity of non-deterministic logical matrices is undecidable (Q6659898) (← links)