Jose M. Mendez

15 articles in 1 journals

ARTICLE TITLE YEAR AUTHORS ACTIONS

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 - 10

1987

Jose M. Mendez

Plain 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 - 20

1990

Jose M. Mendez

Plain 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 - 22

1988

Jose M. Mendez

Plain 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 - 38

1999

Jose M. Mendez Francisco Salto

Plain 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 - 57

2007

Jose M. Mendez Gemma Robles Francisco Salto

Plain 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 - 76

2009

Jose M. Mendez Gemma Robles

Plain 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 - 91

2010

Jose M. Mendez Gemma Robles

Plain 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 - 94

2004

Jose M. Mendez Gemma Robles

Plain 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 - 116

2005

Jose M. Mendez Gemma Robles

Plain 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 - 146

2001

Jose M. Mendez Gemma Robles Francisco Salto

Plain 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 - 175

1987

Jose M. Mendez

Plain 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 - 189

2005

Jose M. Mendez Gemma Robles Francisco Salto

Plain 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 - 202

2011

Jose M. Mendez Gemma Robles Francisco Salto

Plain 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 - 206

1999

Jose M. Mendez Gemma Robles Francisco Salto

Plain 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 - 335

2021

Jose M. Mendez Gemma Robles

Plain 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" }