The following pages link to (Q5752543):
Displaying 14 items.
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics (Q2144181) (← links)
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations (Q2228348) (← links)
- Swap structures semantics for Ivlev-like modal logics (Q2317515) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Finite non-deterministic semantics for some modal systems (Q4586135) (← links)
- Errata and Addenda to ‘Finite non-deterministic semantics for some modal systems’ (Q4586170) (← links)
- On Axioms and Rexpansions (Q5020163) (← links)
- (Q5457383) (← links)
- Non-transitive correspondence analysis (Q6156626) (← links)
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth (Q6562366) (← links)
- On non-deterministic functional completeness (Q6623946) (← links)
- Non-deterministic logic of generalized classical truth values (Q6623947) (← links)
- Tableau systems for some Ivlev-like (quantified) modal logics (Q6623948) (← links)
- Plurivaluationism, semantic nondeterminism and communication (Q6623949) (← links)
