Pages that link to "Item:Q997049"
From MaRDI portal
The following pages link to Non-deterministic semantics for logics with a consistency operator (Q997049):
Displaying 31 items.
- Non-deterministic semantics in polynomial format (Q281146) (← links)
- Efficient reasoning with inconsistent information using C-systems (Q527198) (← links)
- Maximal and premaximal paraconsistency in the framework of three-valued semantics (Q631512) (← links)
- The method of polynomial ring calculus and its potentialities (Q897932) (← links)
- Multi-valued semantics: why and how (Q1037597) (← links)
- On combined connectives (Q1941724) (← links)
- Validity, dialetheism and self-reference (Q2054126) (← links)
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics (Q2144181) (← links)
- Paraconsistency and the need for infinite semantics (Q2317507) (← links)
- Translating non-classical logics into classical logic by using hidden variables (Q2399603) (← links)
- Semantics for conditional literals via the SM operator (Q2694573) (← links)
- A Model-Theoretic Analysis of Fidel-Structures for mbC (Q3305664) (← links)
- (Q3325017) (← links)
- Possible-translations semantics for some weak classically-based paraconsistent logics (Q3647284) (← links)
- (Q4268462) (← links)
- Non deterministic classical logic: the $\lambda\mu^{++}$-calculus (Q4530146) (← links)
- (Q4530473) (← links)
- On polynomial semantics for propositional logics (Q4586158) (← links)
- Defining LFIs and LFUs in extensions of infectious logics (Q4586167) (← links)
- A family of genuine and non-algebraisable C-systems (Q5000136) (← links)
- On Axioms and Rexpansions (Q5020163) (← links)
- Credal Calculi, Evidence, and Consistency (Q5020164) (← links)
- Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency (Q5020166) (← links)
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS (Q5381035) (← links)
- Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency (Q5425994) (← links)
- (Q5446288) (← links)
- A constructive semantics for non‐deducibility (Q5448614) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473745) (← links)
- Monteiro's algebraic notion of maximal consistent theory for Tarskian logics (Q6079419) (← links)
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth (Q6562366) (← links)
- Tableau systems for some Ivlev-like (quantified) modal logics (Q6623948) (← links)
