Pages that link to "Item:Q3025337"
From MaRDI portal
The following pages link to Non-deterministic Multiple-valued Structures (Q3025337):
Displaying 50 items.
- Informational semantics, non-deterministic matrices and feasible deduction (Q281148) (← links)
- Canonical signed calculi with multi-ary quantifiers (Q408550) (← links)
- Efficient reasoning with inconsistent information using C-systems (Q527198) (← 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)
- An informational view of classical logic (Q897935) (← 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)
- Compositional meaning in logic (Q1682292) (← links)
- Four-valued paradefinite logics (Q1685565) (← links)
- Non-deterministic logic of informal provability has no finite characterization (Q2071578) (← links)
- Finite two-dimensional proof systems for non-finitely axiomatizable logics (Q2104551) (← links)
- Analytic tableaux for non-deterministic semantics (Q2142063) (← 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)
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations (Q2228348) (← 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)
- Paraconsistency and the need for infinite semantics (Q2317507) (← links)
- Swap structures semantics for Ivlev-like modal logics (Q2317515) (← links)
- Finite-valued semantics for canonical labelled calculi (Q2351396) (← links)
- Sufficient conditions for cut elimination with complexity analysis (Q2461191) (← links)
- Monstrous content and the bounds of discourse (Q2686088) (← 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)
- Taming Paraconsistent (and Other) Logics (Q2946751) (← links)
- Basic Constructive Connectives, Determinism and Matrix-Based Semantics (Q3010364) (← links)
- Plug and Play Negations (Q3305346) (← 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)
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics (Q4583342) (← links)
- On Discourses Addressed by Infidel Logicians (Q4912983) (← links)
- A family of genuine and non-algebraisable C-systems (Q5000136) (← 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)
- A Note on Calculi for Non-deterministic Many-valued Logics (Q5038570) (← links)
- Implication, Equivalence, and Negation (Q5059689) (← links)
