Francisco Salto
6 artykuły w 1 czasopismach
-
More on Peirce's law Opublikowano w: Bulletin of the Section of Logic 1999 / Tom 28 / Numer 1 / s. 27 - 381999CZYSTY TEKST
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 Opublikowano w: Bulletin of the Section of Logic 2007 / Tom 36 / Numer 1-2 / s. 45 - 572007CZYSTY TEKST
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" }
-
Restricting the Contraction Axiom in Dummett's LC: LC with the Converse Ackermann Property Opublikowano w: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 3 / s. 139 - 1462001CZYSTY TEKST
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" }
-
A Constructive Negation Defined with aNegation Connective for Logics Including Bp+ Opublikowano w: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 3 / s. 177 - 1892005CZYSTY TEKST
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 Opublikowano w: Bulletin of the Section of Logic 2011 / Tom 40 / Numer 3-4 / s. 195 - 2022011CZYSTY TEKST
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 Opublikowano w: Bulletin of the Section of Logic 1999 / Tom 28 / Numer 4 / s. 195 - 2061999CZYSTY TEKST
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" }
