175 results on '"Robles, Gemma"'
Search Results
2. A Variant with the Variable-Sharing Property of Brady’s 4-Valued Implicative Expansion BN4 of Anderson and Belnap’s Logic FDE
3. The Class of All Natural Implicative Expansions of Kleene's Strong Logic Functionally Equivalent to Łkasiewicz's 3-Valued Logic Ł3
4. A Class of Implicative Expansions of Kleene’s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz’s 3-Valued Logic Ł3
5. Basic Quasi-Boolean Expansions of Relevance Logics
6. A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3DH
7. The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer's basic logic Bd.
8. A Variety of DeMorgan Negations in Relevant Logics
9. The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer’s basic logic Bd
10. Correction to: A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4
11. An Interpretation of Łukasiewicz's 4-Valued Modal Logic
12. BRADY'S DEEP RELEVANT LOGIC DR PLUS THE QUALIFIED FACTORIZATION PRINCIPLES HAS THE DEPTH RELEVANT CONDITION
13. On some extensions and expansions of the basic logics
14. A Routley-Meyer Semantics for Łukasiewicz 3-valued Logic
15. The basic positive logicB+.EB+-models
16. The basic constructive logicsRBcandRBc2
17. The basic positive logicBK+. The basic constructive logicsBKSandBK
18. Curry’s Paradox, Generalized Contraction Rule and Depth Relevance
19. Extensions and expansions of the basic logics
20. Logics definitionally equivalent to the basic constructive logics. The logicsBcSf,Bcf,BKSf, andBKf
21. Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP
22. A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\)
23. Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3
24. Curry's Paradox, Generalized Modus Ponens Axiom and Depth Relevance
25. A note on functional relations in a certain class of implicative expansions of FDE related to Brady's 4-valued logic BN4.
26. Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators
27. A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes
28. Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP.
29. A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4
30. Relational Semantics for the Paraconsistent and Paracomplete 4-valued Logic PŁ4
31. Blocking the Routes to Triviality with Depth Relevance
32. ADDING THE DISJUNCTIVE SYLLOGISM TO RELEVANT LOGICS INCLUDING TW PLUS THE CONTRACTION AND REDUCTIO RULES
33. A Routley-Meyer Type Semantics for Relevant Logics Including $B^{r}$ Plus the Disjunctive Syllogism
34. EXTENSIONS OF THE BASIC CONSTRUCTIVE LOGIC FOR NEGATION-CONSISTENCY B Kc4 DEFINED WITH A FALSITY CONSTANT
35. RELEVANCE LOGICS, PARADOXES OF CONSISTENCY AND THE K RULE
36. El sistema Bp₊: una lógica positiva mínima para la negación mínima / The system Bp₊: a minimal positive logic for minimal negation
37. Two versions of minimal intuitionism with the CAP. A note
38. CONSTRUCTIVE NEGATION DEFINED WITH A FALSITY CONSTANT FOR POSITIVE LOGICS WITH THE CAP DEFINED WITH A TRUTH CONSTANT
39. A 2 SET-UP BINARY ROUTLEY SEMANTICS FOR GÖDELIAN 3-VALUED LOGIC G3 AND ITS PARACONSISTENT COUNTERPART G3Ł≤.
40. A 2 SET-UP BINARY ROUTLEY SEMANTICS FOR GÖDELIAN 3-VALUED LOGIC G3 AND ITS PARACONSISTENT COUNTERPART G3Ł≤.
41. A Routley–Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent Counterpart
42. A Note on Gödel-Dummet Logic LC
43. A Routley-Meyer Type Semantics for Relevant Logics Including Br Plus the Disjunctive Syllogism
44. Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency
45. The Basic Constructive Logic for Absolute Consistency
46. The Basic Constructive Logic for Negation-Consistency
47. Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation
48. The basic constructive logic for a weak sense of consistency
49. A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3$$_{\text {DH}}$$
50. Correction to: A note on functional relations in a certain class of implicative expansions of FDE related to Brady's 4-valued logic BN4.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.