Pages that link to "Item:Q3025337"
From MaRDI portal
The following pages link to Non-deterministic Multiple-valued Structures (Q3025337):
Displaying 20 items.
- A Note on Calculi for Non-deterministic Many-valued Logics (Q5038570) (← links)
- Implication, Equivalence, and Negation (Q5059689) (← links)
- A Note on Ciuciura’s mbC1 (Q5126191) (← links)
- Tutorial on Inconsistency-Adaptive Logics (Q5241516) (← links)
- Three-Valued Paraconsistent Propositional Logics (Q5241519) (← links)
- Three-Valued Logic for Reasoning about Covering-Based Rough Sets (Q5245184) (← links)
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 (Q5305554) (← links)
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS (Q5381035) (← links)
- 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06 (Q5421032) (← links)
- Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency (Q5425994) (← links)
- Towards an algorithmic construction of cut-elimination procedures (Q5458060) (← links)
- Quasi-canonical systems and their semantics (Q6088602) (← links)
- Axiomatizing non-deterministic many-valued generalized consequence relations (Q6088603) (← links)
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth (Q6562366) (← links)
- On non-deterministic functional completeness (Q6623946) (← links)
- Tableau systems for some Ivlev-like (quantified) modal logics (Q6623948) (← links)
- Plurivaluationism, semantic nondeterminism and communication (Q6623949) (← links)
- On Ivlev's semantics for modality (Q6623952) (← links)
- Rule-elimination theorems (Q6633055) (← links)
- Monadicity of non-deterministic logical matrices is undecidable (Q6659898) (← links)
