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 -
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 -
An algebraic study of a propositional system of Nelson
Manuel M. Fidel
Bulletin of the Section of Logic , 7 /2 (1978) s. 89 -
A minimal equational base for certain varieties of BCK-algebras
Paweł M. Idziak
Bulletin of the Section of Logic , 10 /4 (1981) s. 152-157 -
A finite base for the consequence operation
Paweł M. Idziak
Bulletin of the Section of Logic , 12 /2 (1983) s. 76-89 -
Generalized complex algebras and regular identities
Paweł M. Idziak
Bulletin of the Section of Logic , 14 /2 (1985) s. 84-88 -
Paraconsistent sequential calculi
Vladimir M. Popov
Bulletin of the Section of Logic , 17 /3-4 (1988) s. 148-158