The following pages link to (Q4342080):
Displaying 27 items.
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- A map of dependencies among three-valued logics (Q497633) (← links)
- Logical constraints on judgement aggregation (Q853812) (← links)
- Many-valued computational logics (Q912083) (← links)
- A first order logic for partial functions (Q918965) (← links)
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms (Q1349199) (← links)
- A natural negation completion of Urquhart's many-valued logic \(C\) (Q1386684) (← links)
- Quantified constraints under perturbation (Q1600045) (← links)
- Undead argument: the truth-functionality objection to fuzzy theories of vagueness (Q1708883) (← links)
- Urquhart's \({\mathbf C}\) with intuitionistic negation: Dummett's \({\mathbf {LC}}\) without the contraction axiom (Q1906670) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- Pure logic of many-many ground (Q2397816) (← links)
- Multivalued logic to transform potential into actual objects (Q2454637) (← links)
- Many-valued dynamic object-oriented inheritance and approximations (Q2670890) (← links)
- Three-Valued Logics for Incomplete Information and Epistemic Logic (Q2915066) (← links)
- Two Principles in Many-Valued Logic (Q2948588) (← links)
- (Q4360105) (← links)
- A modal theorem-preserving translation of a class of three-valued logics of incomplete information (Q4583322) (← links)
- Two kinds of non-monotonic analogical inference (Q4632312) (← links)
- A Logical Autobiography (Q5027230) (← links)
- Comments on the Contributions (Q5027252) (← links)
- (Q5078314) (← links)
- (Q5294698) (← links)
- Many-valued logics (Q5915420) (← links)
- Comments on some completeness theorems of Urquhart and Méndez \& Salto (Q5935786) (← links)
- Adding structure to MV-algebras (Q5954118) (← links)
- Modeling and shadowing paraconsistent BDI agents (Q6634281) (← links)
