The following pages link to Logics of Formal Inconsistency (Q4928710):
Displaying 21 items.
- On recent applications of paraconsistent logic: an exploratory literature review (Q5243397) (← links)
- Towards a Bayesian Theory of Second-Order Uncertainty: Lessons from Non-Standard Logics (Q5250312) (← links)
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS (Q5381035) (← links)
- Inconsistency lemmas in algebraic logic (Q5396222) (← links)
- Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency (Q5425994) (← links)
- SAT-Inspired Eliminations for Superposition (Q5875949) (← links)
- An open formalism against incompleteness (Q5937853) (← links)
- Obtaining infinitely many degrees of inconsistency by adding a strictly paraconsistent negation to classical logic (Q6067098) (← links)
- Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic (Q6067099) (← links)
- From Inconsistency to Incompatibility (Q6107289) (← links)
- Non-transitive correspondence analysis (Q6156626) (← links)
- An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic (Q6163912) (← links)
- Structured specification of paraconsistent transition systems (Q6536437) (← links)
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth (Q6562366) (← links)
- A cartography of LFIs and truth (Q6623945) (← links)
- On non-deterministic functional completeness (Q6623946) (← links)
- Many-valued modalities and paraconsistency (Q6623951) (← links)
- On Ivlev's semantics for modality (Q6623952) (← links)
- A Kalmár-style completeness proof for the logics of the hierarchy \(\mathbb{I}^n\mathbb{P}^k\). (Q6648090) (← links)
- Negation-free definitions of paraconsistency (Q6659905) (← links)
- On logics of perfect paradefinite algebras (Q6661152) (← links)
