Pages that link to "Item:Q3981456"
From MaRDI portal
The following pages link to Natural 3-valued logics—characterization and proof theory (Q3981456):
Displaying 50 items.
- On all strong Kleene generalizations of classical logic (Q295922) (← links)
- Semantics and proof-theory of depth bounded Boolean logics (Q385021) (← links)
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 (Q484107) (← links)
- Strict-choice validities: A note on a familiar pluralism (Q488377) (← links)
- Classical negation and expansions of Belnap-Dunn logic (Q495842) (← links)
- A strong model of paraconsistent logic (Q558738) (← links)
- Maximal and premaximal paraconsistency in the framework of three-valued semantics (Q631512) (← links)
- Ideal paraconsistent logics (Q647409) (← links)
- A non-deterministic view on non-classical negations (Q813081) (← links)
- The class of extensions of Nelson's paraconsistent logic (Q813085) (← links)
- Correspondence analysis for some fragments of classical propositional logic (Q828774) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks (Q901144) (← links)
- Equivalence for the \(G_3^\prime\)-stable models semantics (Q975880) (← links)
- Rough sets and 3-valued logics (Q1005949) (← links)
- The value of the four values (Q1274293) (← links)
- The logic of pragmatic truth (Q1277331) (← links)
- Hypersequents, logical consequence and intermediate logics for concurrency (Q1354077) (← links)
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- Second-order logic of paradox (Q1633895) (← links)
- Four-valued paradefinite logics (Q1685565) (← links)
- Interpolation methods for Dunn logics and their extensions (Q1685574) (← links)
- Models for a paraconsistent set theory (Q1775861) (← links)
- Anti-intuitionism and paraconsistency (Q1775870) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Negation and paraconsistent logics (Q1942343) (← links)
- Three new genuine five-valued logics intended to model non-trivial concepts (Q2133459) (← links)
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 (Q2209169) (← links)
- Basic quasi-Boolean expansions of relevance logics (Q2236601) (← links)
- Distance-based paraconsistent logics (Q2270429) (← links)
- Valuations: bi, tri, and tetra (Q2278844) (← links)
- JGXYZ: an ATP system for gap and glut logics (Q2305437) (← links)
- A simple sequent calculus for partial functions (Q2367544) (← links)
- A proof-theoretic foundation of abortive continuations (Q2464725) (← links)
- Bounded contraction and Gentzen-style formulation of Łukasiewicz logics (Q2563461) (← links)
- An implication based study on Łukasiewicz (Monteiro) 3-valued algebra and pre-rough algebra (Q2662715) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- A system for proper multiple-conclusion entailment (Q2987737) (← links)
- AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC (Q3195589) (← links)
- K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You (Q3305614) (← links)
- Expanding the Logic of Paradox with a Difference-Making Relevant Implication (Q3305679) (← links)
- Towards a bridge over two approaches in connexive logic (Q3387893) (← links)
- First order theory for literal-paraconsistent and literal-paracomplete matrices (Q3583806) (← links)
- Processing Information from a Set of Sources (Q3600567) (← links)
- Brief study of G'<sub>3</sub> logic (Q3643367) (← links)
- Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond (Q4531578) (← links)
- On deductive bases for paraconsistent answer set semantics (Q4583312) (← links)
- A modal theorem-preserving translation of a class of three-valued logics of incomplete information (Q4583322) (← links)
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics (Q4583342) (← links)
- Trivalent logics arising from L-models for the Lambek calculus with constants (Q4583347) (← links)
