Gemma Robles
21 artykuły w 2 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A Note on the Non-Involutive Routley Star Opublikowano w: Bulletin of the Section of Logic 2008 / Tom 37 / Numer 1 / s. 19 - 27ROK: 2008CZYSTY TEKSTBIBTEX
-
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 - 57ROK: 2007CZYSTY TEKSTBIBTEX
-
A Semantical Proof of the Admissibility of the Rule Assertion in Some Relevant and Modal Logics Opublikowano w: Bulletin of the Section of Logic 2012 / Tom 41 / Numer 1-2 / s. 51 - 60ROK: 2012CZYSTY TEKSTBIBTEX
-
The Basic Constructive Logic for Weak Consistency and the Reductio Axioms Opublikowano w: Bulletin of the Section of Logic 2009 / Tom 38 / Numer 1-2 / s. 61 - 76ROK: 2009CZYSTY TEKSTBIBTEX
-
AxiomatizingS4+ and J+ without the Suffixing, Prefixingand Self-Distribution of the Conditional Axioms Opublikowano w: Bulletin of the Section of Logic 2010 / Tom 39 / Numer 1-2 / s. 79 - 91ROK: 2010CZYSTY TEKSTBIBTEX
-
The Logic B and the Reductio Axioms Opublikowano w: Bulletin of the Section of Logic 2004 / Tom 33 / Numer 2 / s. 87 - 94ROK: 2004CZYSTY TEKSTBIBTEX
-
A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4 Opublikowano w: Bulletin of the Section of Logic 2016 / Tom 45 / Numer 2 / s. 93 - 110ROK: 2016CZYSTY TEKSTBIBTEX
-
Relational Ternary Semantics for a Logic Equivalent to Involutive Mondial t-norm Based Logic IMTL Opublikowano w: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 2 / s. 101 - 116ROK: 2005CZYSTY TEKSTBIBTEX
-
Converse Ackermann property and constructive negation defined with a negation connective Opublikowano w: Logic and Logical Philosophy 2006 / Tom 15 / Numer 2 / s. 113 - 130ROK: 2006CZYSTY TEKSTBIBTEX
-
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 - 146ROK: 2001CZYSTY TEKSTBIBTEX
-
Relevance logics, paradoxes of consistency and the K rule II : A non-constructive negation Opublikowano w: Logic and Logical Philosophy 2006 / Tom 15 / Numer 3 / s. 175 - 191ROK: 2006CZYSTY TEKSTBIBTEX
-
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 - 189ROK: 2005CZYSTY TEKSTBIBTEX
-
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 - 202ROK: 2011CZYSTY TEKSTBIBTEX
-
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 - 206ROK: 1999CZYSTY TEKSTBIBTEX
-
A class of simpler logical matrices for the variable-sharing property Opublikowano w: Logic and Logical Philosophy 2011 / Tom 20 / Numer 3 / s. 241 - 249ROK: 2011CZYSTY TEKSTBIBTEX
-
A class of simpler logical matrices for the variable-sharing property Opublikowano w: Logic and Logical Philosophy 2011 / Tom 20 / Numer 3 / s. 241 - 249ROK: 2011CZYSTY TEKSTBIBTEX
-
Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant Opublikowano w: Logic and Logical Philosophy 2007 / Tom 16 / Numer 4 / s. 311 - 322ROK: 2007CZYSTY TEKSTBIBTEX
-
A Note on Gödel-Dummet Logic LC Opublikowano w: Bulletin of the Section of Logic 2021 / Tom 50 / Numer 3 / s. 325 - 335ROK: 2021CZYSTY TEKSTBIBTEX
-
A modal restriction of R-Mingle with the variable-sharing property Opublikowano w: Logic and Logical Philosophy 2010 / Tom 19 / Numer 4 / s. 341 - 351ROK: 2010CZYSTY TEKSTBIBTEX
-
A simple Henkin-style completeness proof for Gödel 3-valued logic G3 Opublikowano w: Logic and Logical Philosophy 2014 / Tom 23 / Numer 4 / s. 371 - 390ROK: 2014CZYSTY TEKSTBIBTEX
-
Admissibility of Ackermann’s rule δ in relevant logics Opublikowano w: Logic and Logical Philosophy 2013 / Tom 22 / Numer 4 / s. 411 - 427ROK: 2013CZYSTY TEKSTBIBTEX
