Pages that link to "Item:Q813081"
From MaRDI portal
The following pages link to A non-deterministic view on non-classical negations (Q813081):
Displaying 20 items.
- Informational semantics, non-deterministic matrices and feasible deduction (Q281148) (← links)
- Semantics and proof-theory of depth bounded Boolean logics (Q385021) (← links)
- Efficient reasoning with inconsistent information using C-systems (Q527198) (← links)
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics (Q744990) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- An informational view of classical logic (Q897935) (← links)
- What is a non-truth-functional logic? (Q1037600) (← links)
- Self-extensional three-valued paraconsistent logics (Q1682293) (← links)
- A hierarchy of weak double negations (Q2016059) (← links)
- Paraconsistency and the need for infinite semantics (Q2317507) (← links)
- Eigenvariables, bracketing and the decidability of positive minimal predicate logic (Q2503325) (← links)
- Kripke Semantics for Basic Sequent Systems (Q3010359) (← links)
- Strict Canonical Constructive Systems (Q3585998) (← links)
- ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION (Q4557169) (← links)
- On Axioms and Rexpansions (Q5020163) (← links)
- (Q5441070) (← links)
- Connexive negation (Q6127198) (← links)
- Double negation as minimal negation (Q6190088) (← links)
- On Ivlev's semantics for modality (Q6623952) (← links)
