# Search results for: Gemma Robles

Bulletin of the Section of Logic > 2021 > 50 > 3 > 325-335

Logic and Logical Philosophy > 2016 > 25 > 2 > 173-201

Logic and Logical Philosophy > 2016 > 25 > 2 > 173–201

Journal of Philosophical Logic > 2016 > 45 > 1 > 73-87

*A*is a theorem iff

*A*is true conforming to

*both*the reductionist (rt) and possibilist (pt) theses defined as follows: rt: the value (in a bivalent sense) of modal formulas is equivalent to the value of their...

Journal of Logic, Language and Information > 2016 > 25 > 2 > 163-189

Logica Universalis > 2015 > 9 > 4 > 501-522

Logic and Logical Philosophy > 2014 > 23 > 4 > 371–390

Journal of Philosophical Logic > 2014 > 43 > 2-3 > 303-332

Journal of Logic, Language and Information > 2014 > 23 > 4 > 493-526

Studia Logica > 2014 > 102 > 1 > 185-217

Logica Universalis > 2013 > 7 > 4 > 507-532

Reports on Mathematical Logic > 2012 > 47 > 147–171

Logic and Logical Philosophy > 2010 > 19 > 4 > 341–351

Journal of Philosophical Logic > 2010 > 39 > 2 > 139-158

*γ*) and Ackermann’s logics of ‘strenge Implikation’ Π and Π

^{′}are among the logics considered.

Journal of Logic, Language and Information > 2009 > 18 > 2 > 199-216

_{Kc6}, which is adequate to this sense of consistency in the ternary relational semantics without a set of designated points, is defined. Then, it is shown how to define a series of logics by extending B

_{Kc6}up to contractionless intuitionistic logic. All logics defined in this paper...

Journal of Logic, Language and Information > 2009 > 18 > 3 > 357-402

*F*-consistency have been defined by the authors. The aim of this paper is (a) to define alternative (to the standard one) concepts of paraconsistency...

Journal of Logic, Language and Information > 2008 > 17 > 1 > 89-107

_{Kc1}adequate to this sense of consistency in the ternary relational semantics without a set of designated points. Then we show how to define a series of logics extending B

_{Kc1}within the spectrum delimited by contractionless...