The following pages link to Partiality and its dual (Q1840645):
Displaying 25 items.
- Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond (Q3305609) (← links)
- First-Degree Entailment and Structural Reasoning (Q3305621) (← links)
- PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS (Q3389489) (← links)
- Constructive negation, implication, and co-implication (Q3643320) (← links)
- DEFINITION OF PARTIALITY (Q3801616) (← links)
- Useful Four-Valued Extension of the Temporal Logic KtT4 (Q4556005) (← links)
- The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic (Q4586153) (← links)
- A basic quasi-Boolean logic of intuitionistic character (Q4994021) (← links)
- Normalisation for Some Quite Interesting Many-Valued Logics (Q5013635) (← links)
- R-Mingle is Nice, and so is Arnon Avron (Q5020167) (← links)
- Questions to Michael Dunn (Q5059687) (← links)
- Pure Variable Inclusion Logics (Q5066089) (← links)
- Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B (Q5066095) (← links)
- EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes (Q5066097) (← links)
- Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation (Q5156187) (← links)
- Partial balance and insensitivity (Q5186527) (← links)
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value (Q5231281) (← links)
- Inclusions for partiality (Q5740618) (← links)
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values (Q5742698) (← links)
- (Q5851944) (← links)
- THE LATTICE OF SUPER-BELNAP LOGICS (Q5880424) (← links)
- A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable (Q6098217) (← links)
- Qualitative reasoning in a two-layered framework (Q6099380) (← links)
- A possible worlds semantics for trustworthy non-deterministic computations (Q6596679) (← links)
- Cyclic negations and four-valuedness (Q6659910) (← links)
