91 results on '"Méndez, José M."'
Search Results
2. Photocatalytic fixation of NOx in soils
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. Strengthening Brady's Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators
9. An Interpretation of Łukasiewicz's 4-Valued Modal Logic
10. BRADY'S DEEP RELEVANT LOGIC DR PLUS THE QUALIFIED FACTORIZATION PRINCIPLES HAS THE DEPTH RELEVANT CONDITION
11. Blocking the Routes to Triviality with Depth Relevance
12. Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3
13. Curry's Paradox, Generalized Modus Ponens Axiom and Depth Relevance
14. A note on functional relations in a certain class of implicative expansions of FDE related to Brady's 4-valued logic BN4.
15. A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes
16. ADDING THE DISJUNCTIVE SYLLOGISM TO RELEVANT LOGICS INCLUDING TW PLUS THE CONTRACTION AND REDUCTIO RULES
17. A Routley-Meyer Type Semantics for Relevant Logics Including $B^{r}$ Plus the Disjunctive Syllogism
18. Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency
19. The Basic Constructive Logic for Absolute Consistency
20. Exhaustively Axiomatizing $S3_ \to ^ \circ \,and\,S4_ \to ^ \circ $
21. The Basic Constructive Logic for a Weak Sense of Consistency
22. Enseñanza de contenidos históricos mediante diagramas multicausales
23. El sistema Bp+: una lógica positiva mínima para la negación mínima
24. RELEVANCE LOGICS, PARADOXES OF CONSISTENCY AND THE K RULE
25. 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
26. Two versions of minimal intuitionism with the CAP. A note
27. CONSTRUCTIVE NEGATION DEFINED WITH A FALSITY CONSTANT FOR POSITIVE LOGICS WITH THE CAP DEFINED WITH A TRUTH CONSTANT
28. Converse Ackermann Property and Minimal Negation
29. A 2 SET-UP BINARY ROUTLEY SEMANTICS FOR GÖDELIAN 3-VALUED LOGIC G3 AND ITS PARACONSISTENT COUNTERPART G3Ł≤.
30. A 2 SET-UP BINARY ROUTLEY SEMANTICS FOR GÖDELIAN 3-VALUED LOGIC G3 AND ITS PARACONSISTENT COUNTERPART G3Ł≤.
31. Intuitionistic Propositional Logic with the Converse Ackermann Property
32. FOUR KINDS OF SUBMINIMAL NEGATION WITHIN THE CONTEXT OF THE BASIC POSITIVE LOGIC B+
33. TWO EXTENSIONS OF LEWIS' S3 WITH PEIRCE LAW
34. A Natural Negation Completion of Urquhart's Many-Valued Logic C
35. A Routley-Meyer Type Semantics for Relevant Logics Including Br Plus the Disjunctive Syllogism
36. remark on functional completeness of binary expansions of Kleene's strong 3-valued logic.
37. Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation.
38. Partiality and its dual in natural implicative expansions of Kleene's strong 3-valued matrix with only one designated value.
39. A NOTE ON THE SEMANTICS OF MINIMAL INTUITIONISM
40. Converse Ackermann Property and Semiclassical Negation
41. EXHAUSTIVELY AXIOMATIZING RMO→WITH AN APPROPIATE EXTENSION OF ANDERSON AND BELNAP'S "STRONG AND NATURAL LIST OF VALID ENTAILMENTS"
42. SYSTEMS WITH THE CONVERSE ACKERMANN PROPERTY
43. Una crítica inmanente de la lógica de la relevancia
44. A Routley-Meyer Semantics for Converse Ackermann Property
45. The Compatibility of Relevance and Mingle
46. Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value.
47. Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values.
48. Converse Ackermann Croperty and semiclassical negation
49. A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4.
50. The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.