Wyniki
-
Constructive R
Jose M. Mendez
Bulletin of the Section of Logic , 16 /4 (1987) s. 167-175 -
Exhaustively axiomatizing S3-> and S4-> with a select list of representative theses
Jose M. Mendez
Bulletin of the Section of Logic , 17 /1 (1988) s. 15-22 -
Urguhart's C with minimal negation
Jose M. Mendez
Bulletin of the Section of Logic , 19 /1 (1990) s. 15-20 -
Full models for sentential logic
Josep Maria Font, Ramon Jansana
Bulletin of the Section of Logic , 24 /3 (1995) s. 123-131 -
iH-Propositional Calculus
A.V. Figallo, G. Ramon, S. Saad
Bulletin of the Section of Logic , 35 /4 (2006) s. 157-162 -
More on Peirce's law
Francisco Salto, Jose M. Mendez
Bulletin of the Section of Logic , 28 /1 (1999) s. 27-38 -
The Logic B and the Reductio Axioms
Gemma Robles, Jose M. Mendez
Bulletin of the Section of Logic , 33 /2 (2004) s. 87-94 -
Relational Ternary Semantics for a Logic Equivalent to Involutive Mondial t-norm Based Logic IMTL
Gemma Robles, Jose M. Mendez
Bulletin of the Section of Logic , 34 /2 (2005) s. 101-116 -
The Basic Constructive Logic for Weak Consistency and the Reductio Axioms
Gemma Robles, Jose M. Mendez
Bulletin of the Section of Logic , 38 /1-2 (2009) s. 61-76 -
AxiomatizingS4+ and J+ without the Suffixing, Prefixingand Self-Distribution of the Conditional Axioms
Gemma Robles, Jose M. Mendez
Bulletin of the Section of Logic , 39 /1-2 (2010) s. 79-91 -
Exhaustively axiomatizing RMO-> with a select list of representative theses including restricted mingle principles
Francisco Salto, Gemma Robles, Jose M. Mendez
Bulletin of the Section of Logic , 28 /4 (1999) s. 195-206 -
Restricting the Contraction Axiom in Dummett's LC: LC with the Converse Ackermann Property
Francisco Salto, Jose M. Mendez, Gemma Robles
Bulletin of the Section of Logic , 30 /3 (2001) s. 139-146 -
A Constructive Negation Defined with aNegation Connective for Logics Including Bp+
Gemma Robles, Francisco Salto, Jose M. Mendez
Bulletin of the Section of Logic , 34 /3 (2005) s. 177-189 -
The Basic Constructive Logic for Negation-Consistency Defined with a Propositional Falsity Constant
Jose M. Mendez, Gemma Robles, Francisco Salto
Bulletin of the Section of Logic , 36 /1-2 (2007) s. 45-57 -
A Weak Logic with the Axiom Mingle Lacking theVariable-Sharing Property
Gemma Robles, Francisco Salto, Jose M. Mendez
Bulletin of the Section of Logic , 40 /3-4 (2011) s. 195-202 -
On some higher-order predicate calculi
Elias H. Alves, Jose E. de Almeida Moura
Bulletin of the Section of Logic , 7 /2 (1978) s. 84