Pages that link to "Item:Q3025337"
From MaRDI portal
The following pages link to Non-deterministic Multiple-valued Structures (Q3025337):
Displayed 31 items.
- Canonical signed calculi with multi-ary quantifiers (Q408550) (← links)
- Maximal and premaximal paraconsistency in the framework of three-valued semantics (Q631512) (← links)
- Ideal paraconsistent logics (Q647409) (← links)
- Cut-elimination and quantification in canonical systems (Q817707) (← links)
- Non-deterministic semantics for logics with a consistency operator (Q997049) (← links)
- Rough sets and 3-valued logics (Q1005949) (← links)
- Proof systems for reasoning about computation errors (Q1015487) (← links)
- Multi-valued semantics: why and how (Q1037597) (← links)
- What is a non-truth-functional logic? (Q1037600) (← links)
- On non-deterministic quantification (Q2254562) (← links)
- A dissimilarity-based framework for generating inconsistency-tolerant logics (Q2254632) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Sufficient conditions for cut elimination with complexity analysis (Q2461191) (← links)
- Tools for the Investigation of Substructural and Paraconsistent Logics (Q2938481) (← links)
- ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY (Q2940892) (← links)
- Basic Constructive Connectives, Determinism and Matrix-Based Semantics (Q3010364) (← links)
- Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism (Q3392939) (← links)
- 2005–06 Winter Meeting of the Association for Symbolic Logic (Q3412464) (← links)
- Reasoning with Uncertainty by Nmatrix–Metric Semantics (Q3511449) (← links)
- Strict Canonical Constructive Systems (Q3585998) (← links)
- Processing Information from a Set of Sources (Q3600567) (← links)
- Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination (Q3605518) (← links)
- Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data (Q3638199) (← links)
- Classic-Like Analytic Tableaux for Finite-Valued Logics (Q3638289) (← links)
- Possible-translations semantics for some weak classically-based paraconsistent logics (Q3647284) (← links)
- On Discourses Addressed by Infidel Logicians (Q4912983) (← 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)
- 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)