The following pages link to Constructible falsity (Q5789498):
Displaying 50 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Hoop twist-structures (Q334145) (← links)
- A square of oppositions in intuitionistic logic with strong negation (Q346768) (← links)
- Bilattices with implications (Q368472) (← links)
- Abstract valuation semantics (Q368484) (← links)
- Information completeness in Nelson algebras of rough sets induced by quasiorders (Q383570) (← links)
- \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics (Q454381) (← links)
- Two axiomatizations of Nelson algebras. (Q491776) (← links)
- A map of dependencies among three-valued logics (Q497633) (← links)
- Constructing situations and time (Q543532) (← links)
- Priestley duality for paraconsistent Nelson's logic (Q708928) (← links)
- Nelson algebras through Heyting ones. I (Q750474) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Gentzen-type methods for bilattice negation (Q813084) (← links)
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Dual intuitionistic logic and a variety of negations: the logic of scientific research (Q813087) (← links)
- Nelson's negation on the base of weaker versions of intuitionistic negation (Q813089) (← links)
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion (Q830398) (← links)
- Subminimal logics in light of Vakarelov's logic (Q831220) (← links)
- Equilibrium logic (Q854969) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Substantial and formal deductions in logics with vector semantics (Q885845) (← links)
- A labeled argumentation framework (Q901086) (← links)
- \(\mathcal {BCDL}\): Basic constructive description logic (Q972431) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- Behavioral algebraization of logics (Q1005974) (← links)
- Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
- Some investigations of varieties of \({\mathcal N}\)-lattices (Q1071022) (← links)
- The Craig interpolation theorem for propositional logics with strong negation (Q1071753) (← links)
- A complete negationless system (Q1221742) (← links)
- Semantical analyses of propositional systems of Fitch and Nelson (Q1237778) (← links)
- Intuitionistic logic with strong negation (Q1241438) (← links)
- Notes on \(\eta\)-lattices and constructive logic with strong negation (Q1249170) (← links)
- Informational interpretation of substructural propositional logics (Q1322438) (← links)
- On extensions of intermediate logics by strong negation (Q1386683) (← links)
- Normal modal substructural logics with strong negation (Q1425193) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- Hintikka's independence-friendly logic meets Nelson's realizability (Q1653658) (← links)
- Modal multilattice logic (Q1682294) (← links)
- Paraconsistent double negations as classical and intuitionistic negations (Q1685568) (← links)
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569) (← links)
- First-degree entailment and its relatives (Q1685573) (← links)
- Subminimal negation (Q1699743) (← links)
- Semi-intuitionistic logic with strong negation (Q1743996) (← links)
- There is more to negation than modality (Q1749806) (← links)
- Proof theory of paraconsistent quantum logic (Q1749807) (← links)
- Inconsistency-tolerant temporal reasoning with hierarchical information (Q1749966) (← links)
- Paraconsistent computation tree logic (Q1758667) (← links)
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic (Q1868338) (← links)
- Partial up an down logic (Q1903583) (← links)
