The following pages link to (Q4440555):
Displaying 50 items.
- Negative modalities, consistency and determinedness (Q276032) (← links)
- Revisiting da Costa logic (Q301378) (← links)
- Proof theory and mathematical meaning of paraconsistent C-systems (Q420832) (← links)
- Hilbert-style presentations of two logics associated to tetravalent modal algebras (Q456967) (← links)
- Generalizing functional completeness in Belnap-Dunn logic (Q497416) (← links)
- Efficient reasoning with inconsistent information using C-systems (Q527198) (← links)
- Limits for paraconsistent calculi (Q701299) (← links)
- Dual erotetic calculi and the minimal \(\mathsf{LFI}\) (Q897482) (← links)
- Equivalence for the \(G_3^\prime\)-stable models semantics (Q975880) (← links)
- Non-deterministic semantics for logics with a consistency operator (Q997049) (← links)
- Rough sets and 3-valued logics (Q1005949) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- Sequent systems for negative modalities (Q1682296) (← links)
- Kripke-type semantics for \(\mathrm{CG}_3'\) (Q1744430) (← links)
- An encompassing framework for paraconsistent logic programs (Q1775864) (← links)
- Paraconsistent informational logic (Q1775866) (← links)
- Combining classical logic, paraconsistency and relevance (Q1775868) (← links)
- Anti-intuitionism and paraconsistency (Q1775870) (← links)
- On negation: Pure local rules (Q1775871) (← links)
- Negation and paraconsistent logics (Q1942343) (← links)
- Cut-free sequent calculus and natural deduction for the tetravalent modal logic (Q2062196) (← links)
- Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras (Q2082260) (← links)
- First-order logics of evidence and truth with constant and variable domains (Q2084569) (← links)
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics (Q2144181) (← links)
- A paraconsistent approach to deal with epistemic inconsistencies in argumentation (Q2146014) (← links)
- Paraconsistency and the need for infinite semantics (Q2317507) (← links)
- Deduction normalization theorem for Sette's logic and its modifications (Q2319976) (← links)
- Analysing inconsistent first-order knowledgebases (Q2389648) (← links)
- Rasiowa-Sikorski deduction systems with the rule of cut: a case study (Q2422312) (← links)
- A paraconsistent logic programming approach for querying inconsistent databases (Q2463646) (← links)
- A single proof of classical behaviour in da Costa's \(C_n\) systems (Q2520656) (← links)
- On paraconsistent extensions of \(C_1\) (Q2520660) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Tools for the Investigation of Substructural and Paraconsistent Logics (Q2938481) (← links)
- Taming Paraconsistent (and Other) Logics (Q2946751) (← links)
- On the Propagation of Consistency in Some Systems of Paraconsistent Logic (Q3295789) (← links)
- Plug and Play Negations (Q3305346) (← links)
- A Model-Theoretic Analysis of Fidel-Structures for mbC (Q3305664) (← links)
- Reasoning with different levels of uncertainty (Q3643259) (← links)
- Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework (Q3647231) (← links)
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics (Q4583342) (← links)
- Defining LFIs and LFUs in extensions of infectious logics (Q4586167) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence (Q4683207) (← links)
- On Discourses Addressed by Infidel Logicians (Q4912983) (← links)
- A family of genuine and non-algebraisable C-systems (Q5000136) (← links)
- SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC <b>QCIORE</b> (Q5001546) (← links)
- Twist-Valued Models for Three-Valued Paraconsistent Set Theory (Q5013621) (← links)
- On Axioms and Rexpansions (Q5020163) (← links)
- Credal Calculi, Evidence, and Consistency (Q5020164) (← links)
