Jose M. Mendez
15 articles in 1 journals
-
Axiomatizing E-> and R-> with Anderson and Belnap's "Strong and natural list of valid entailments" Published in: Bulletin of the Section of Logic 1987 / Tom 16 / Numer 1 / p. 2 - 101987Plain Text
Jose M. Mendez, Axiomatizing E-> and R-> with Anderson and Belnap's "Strong and natural list of valid entailments", Bulletin of the Section of Logic, 1987 / Tom 16 / Numer 1, s. 2 - 10
BIBTEX@Article{ authors = " Jose M. Mendez", title = "Axiomatizing E-> and R-> with Anderson and Belnap's "Strong and natural list of valid entailments"", journal = "Bulletin of the Section of Logic", issue = "1987 / Tom 16 / Numer 1", pages = "2 - 10" }
-
Urguhart's C with minimal negation Published in: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 1 / p. 15 - 201990Plain Text
Jose M. Mendez, Urguhart's C with minimal negation, Bulletin of the Section of Logic, 1990 / Tom 19 / Numer 1, s. 15 - 20
BIBTEX@Article{ authors = " Jose M. Mendez", title = "Urguhart's C with minimal negation", journal = "Bulletin of the Section of Logic", issue = "1990 / Tom 19 / Numer 1", pages = "15 - 20" }
-
Exhaustively axiomatizing S3-> and S4-> with a select list of representative theses Published in: Bulletin of the Section of Logic 1988 / Tom 17 / Numer 1 / p. 15 - 221988Plain Text
Jose M. Mendez, Exhaustively axiomatizing S3-> and S4-> with a select list of representative theses, Bulletin of the Section of Logic, 1988 / Tom 17 / Numer 1, s. 15 - 22
BIBTEX@Article{ authors = " Jose M. Mendez", title = "Exhaustively axiomatizing S3-> and S4-> with a select list of representative theses", journal = "Bulletin of the Section of Logic", issue = "1988 / Tom 17 / Numer 1", pages = "15 - 22" }
-
More on Peirce's law Published in: Bulletin of the Section of Logic 1999 / Tom 28 / Numer 1 / p. 27 - 381999Plain Text
Jose M. Mendez, Francisco Salto, More on Peirce's law, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 1, s. 27 - 38
BIBTEX@Article{ authors = " Jose M. Mendez, Francisco Salto", title = "More on Peirce's law", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 1", pages = "27 - 38" }
-
The Basic Constructive Logic for Negation-Consistency Defined with a Propositional Falsity Constant Published in: Bulletin of the Section of Logic 2007 / Tom 36 / Numer 1-2 / p. 45 - 572007Plain Text
Jose M. Mendez, Gemma Robles, Francisco Salto, The Basic Constructive Logic for Negation-Consistency Defined with a Propositional Falsity Constant, Bulletin of the Section of Logic, 2007 / Tom 36 / Numer 1-2, s. 45 - 57
BIBTEX@Article{ authors = " Jose M. Mendez, Gemma Robles, Francisco Salto", title = "The Basic Constructive Logic for Negation-Consistency Defined with a Propositional Falsity Constant", journal = "Bulletin of the Section of Logic", issue = "2007 / Tom 36 / Numer 1-2", pages = "45 - 57" }
-
The Basic Constructive Logic for Weak Consistency and the Reductio Axioms Published in: Bulletin of the Section of Logic 2009 / Tom 38 / Numer 1-2 / p. 61 - 762009Plain Text
Jose M. Mendez, Gemma Robles, The Basic Constructive Logic for Weak Consistency and the Reductio Axioms, Bulletin of the Section of Logic, 2009 / Tom 38 / Numer 1-2, s. 61 - 76
BIBTEX@Article{ authors = " Jose M. Mendez, Gemma Robles", title = "The Basic Constructive Logic for Weak Consistency and the Reductio Axioms", journal = "Bulletin of the Section of Logic", issue = "2009 / Tom 38 / Numer 1-2", pages = "61 - 76" }
-
AxiomatizingS4+ and J+ without the Suffixing, Prefixingand Self-Distribution of the Conditional Axioms Published in: Bulletin of the Section of Logic 2010 / Tom 39 / Numer 1-2 / p. 79 - 912010Plain Text
Jose M. Mendez, Gemma Robles, AxiomatizingS4+ and J+ without the Suffixing, Prefixingand Self-Distribution of the Conditional Axioms, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 1-2, s. 79 - 91
BIBTEX@Article{ authors = " Jose M. Mendez, Gemma Robles", title = "AxiomatizingS4+ and J+ without the Suffixing, Prefixingand Self-Distribution of the Conditional Axioms", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 1-2", pages = "79 - 91" }
-
The Logic B and the Reductio Axioms Published in: Bulletin of the Section of Logic 2004 / Tom 33 / Numer 2 / p. 87 - 942004Plain Text
Jose M. Mendez, Gemma Robles, The Logic B and the Reductio Axioms, Bulletin of the Section of Logic, 2004 / Tom 33 / Numer 2, s. 87 - 94
BIBTEX@Article{ authors = " Jose M. Mendez, Gemma Robles", title = "The Logic B and the Reductio Axioms", journal = "Bulletin of the Section of Logic", issue = "2004 / Tom 33 / Numer 2", pages = "87 - 94" }
-
Relational Ternary Semantics for a Logic Equivalent to Involutive Mondial t-norm Based Logic IMTL Published in: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 2 / p. 101 - 1162005Plain Text
Jose M. Mendez, Gemma Robles, Relational Ternary Semantics for a Logic Equivalent to Involutive Mondial t-norm Based Logic IMTL, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 2, s. 101 - 116
BIBTEX@Article{ authors = " Jose M. Mendez, Gemma Robles", title = "Relational Ternary Semantics for a Logic Equivalent to Involutive Mondial t-norm Based Logic IMTL", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 2", pages = "101 - 116" }
-
Restricting the Contraction Axiom in Dummett's LC: LC with the Converse Ackermann Property Published in: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 3 / p. 139 - 1462001Plain Text
Jose M. Mendez, Gemma Robles, Francisco Salto, Restricting the Contraction Axiom in Dummett's LC: LC with the Converse Ackermann Property, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 3, s. 139 - 146
BIBTEX@Article{ authors = " Jose M. Mendez, Gemma Robles, Francisco Salto", title = "Restricting the Contraction Axiom in Dummett's LC: LC with the Converse Ackermann Property", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 3", pages = "139 - 146" }
-
Constructive R Published in: Bulletin of the Section of Logic 1987 / Tom 16 / Numer 4 / p. 167 - 1751987Plain Text
Jose M. Mendez, Constructive R, Bulletin of the Section of Logic, 1987 / Tom 16 / Numer 4, s. 167 - 175
BIBTEX@Article{ authors = " Jose M. Mendez", title = "Constructive R", journal = "Bulletin of the Section of Logic", issue = "1987 / Tom 16 / Numer 4", pages = "167 - 175" }
-
A Constructive Negation Defined with aNegation Connective for Logics Including Bp+ Published in: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 3 / p. 177 - 1892005Plain Text
Jose M. Mendez, Gemma Robles, Francisco Salto, A Constructive Negation Defined with aNegation Connective for Logics Including Bp+, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 3, s. 177 - 189
BIBTEX@Article{ authors = " Jose M. Mendez, Gemma Robles, Francisco Salto", title = "A Constructive Negation Defined with aNegation Connective for Logics Including Bp+", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 3", pages = "177 - 189" }
-
A Weak Logic with the Axiom Mingle Lacking theVariable-Sharing Property Published in: Bulletin of the Section of Logic 2011 / Tom 40 / Numer 3-4 / p. 195 - 2022011Plain Text
Jose M. Mendez, Gemma Robles, Francisco Salto, A Weak Logic with the Axiom Mingle Lacking theVariable-Sharing Property, Bulletin of the Section of Logic, 2011 / Tom 40 / Numer 3-4, s. 195 - 202
BIBTEX@Article{ authors = " Jose M. Mendez, Gemma Robles, Francisco Salto", title = "A Weak Logic with the Axiom Mingle Lacking theVariable-Sharing Property", journal = "Bulletin of the Section of Logic", issue = "2011 / Tom 40 / Numer 3-4", pages = "195 - 202" }
-
Exhaustively axiomatizing RMO-> with a select list of representative theses including restricted mingle principles Published in: Bulletin of the Section of Logic 1999 / Tom 28 / Numer 4 / p. 195 - 2061999Plain Text
Jose M. Mendez, Gemma Robles, Francisco Salto, Exhaustively axiomatizing RMO-> with a select list of representative theses including restricted mingle principles, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 4, s. 195 - 206
BIBTEX@Article{ authors = " Jose M. Mendez, Gemma Robles, Francisco Salto", title = "Exhaustively axiomatizing RMO-> with a select list of representative theses including restricted mingle principles", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 4", pages = "195 - 206" }
-
A Note on Gödel-Dummet Logic LC Published in: Bulletin of the Section of Logic 2021 / Tom 50 / Numer 3 / p. 325 - 3352021Plain Text
Jose M. Mendez, Gemma Robles, A Note on Gödel-Dummet Logic LC , Bulletin of the Section of Logic, 2021 / Tom 50 / Numer 3, s. 325 - 335
BIBTEX@Article{ authors = " Jose M. Mendez, Gemma Robles", title = "A Note on Gödel-Dummet Logic LC ", journal = "Bulletin of the Section of Logic", issue = "2021 / Tom 50 / Numer 3", pages = "325 - 335" }