The following pages link to (Q5816696):
Displaying 37 items.
- A method for finding new sets of axioms for classes of semigroups. (Q453187) (← links)
- Borderline vs. unknown: comparing three-valued representations of imperfect information (Q465586) (← links)
- A map of dependencies among three-valued logics (Q497633) (← links)
- Maximal and premaximal paraconsistency in the framework of three-valued semantics (Q631512) (← links)
- Simple consequence relations (Q809992) (← links)
- On dynamically non-trivial three-valued logics: Oscillatory and bifurcatory species (Q1433787) (← links)
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- Multiple-valued extensions of analogical proportions (Q1697344) (← links)
- A second pretabular classical relevance logic (Q1708106) (← links)
- Combining classical logic, paraconsistency and relevance (Q1775868) (← links)
- Deduction with uncertain conditionals (Q1857042) (← links)
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 (Q2209169) (← links)
- Missing values and dragonfly operations in fuzzy relational compositions (Q2302773) (← links)
- JGXYZ: an ATP system for gap and glut logics (Q2305437) (← links)
- An application of Peircean triadic logic: modelling vagueness (Q2322981) (← links)
- Three-Valued Logics for Incomplete Information and Epistemic Logic (Q2915066) (← links)
- Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems (Q3305420) (← links)
- A modal theorem-preserving translation of a class of three-valued logics of incomplete information (Q4583322) (← links)
- Trivalent logics arising from L-models for the Lambek calculus with constants (Q4583347) (← links)
- AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX (Q4600826) (← links)
- Exactly true and non-falsity logics meeting infectious ones (Q4995617) (← links)
- Normalisation for Some Quite Interesting Many-Valued Logics (Q5013635) (← links)
- Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion (Q5013636) (← links)
- R-Mingle is Nice, and so is Arnon Avron (Q5020167) (← links)
- Infectious and transparent emotivism (Q5074365) (← 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)
- Three-Valued Paraconsistent Propositional Logics (Q5241519) (← links)
- From Possibility Theory to Paraconsistency (Q5241526) (← links)
- Semi-implication: A Chapter in Universal Logic (Q5258962) (← links)
- Some three valued logics and its algebraic representations (Q5521469) (← links)
- A characterization of the $NB$-system (Q5586219) (← links)
- An algebra related with a propositional calculus (Q5607967) (← links)
- On Vidal's trivalent explanations for defective conditional in mathematics (Q5742699) (← links)
- On solvability of systems of partial fuzzy relational equations (Q6083058) (← links)
- Preservation of properties of residuated algebraic structure by structures for the partial fuzzy set theory (Q6099375) (← links)
- Semantic inconsistency measures using 3-valued logics (Q6114029) (← links)
- Aggregation operators on shadowed sets (Q6118665) (← links)
