Pages that link to "Item:Q2303582"
From MaRDI portal
The following pages link to Analytic calculi for monadic PNmatrices (Q2303582):
Displaying 9 items.
- Finite two-dimensional proof systems for non-finitely axiomatizable logics (Q2104551) (← links)
- Proof search on bilateralist judgments over non-deterministic semantics (Q2142069) (← links)
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics (Q2144181) (← links)
- Computational properties of partial non-deterministic matrices and their logics (Q2151408) (← links)
- An unexpected Boolean connective (Q2169126) (← links)
- On Axioms and Rexpansions (Q5020163) (← 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)
