BazHum - wyniki wyszukiwania

Sign in
Register

Advanced search
List of journals

Wyniki

Checked:

A Note on the Non-Involutive Routley Star

Gemma Robles
Bulletin of the Section of Logic , 37 /1 (2008) s. 19-27
A Semantical Proof of the Admissibility of the Rule Assertion in Some Relevant and Modal Logics

Gemma Robles
Bulletin of the Section of Logic , 41 /1-2 (2012) s. 51-60
Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant

Gemma Robles
Logic and Logical Philosophy , 16 /4 (2007) s. 311-322
Admissibility of Ackermann’s rule δ in relevant logics

Gemma Robles
Logic and Logical Philosophy , 22 /4 (2013) s. 411-427
A simple Henkin-style completeness proof for Gödel 3-valued logic G3

Gemma Robles
Logic and Logical Philosophy , 23 /4 (2014) s. 371-390
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
Converse Ackermann property and constructive negation defined with a negation connective

Gemma Robles, José M. Méndez
Logic and Logical Philosophy , 15 /2 (2006) s. 113-130
Relevance logics, paradoxes of consistency and the K rule II : A non-constructive negation

José M. Méndez, Gemma Robles
Logic and Logical Philosophy , 15 /3 (2006) s. 175-191
A class of simpler logical matrices for the variable-sharing property

Gemma Robles, José M. Méndez
Logic and Logical Philosophy , 20 /3 (2011) s. 241-249
A class of simpler logical matrices for the variable-sharing property

Gemma Robles, José M. Méndez
Logic and Logical Philosophy , 20 /3 (2011) s. 241-249
A Note on Gödel-Dummet Logic LC

Gemma Robles, José M. Méndez
Bulletin of the Section of Logic , 50 /3 (2021) s. 325-335
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
A modal restriction of R-Mingle with the variable-sharing property

Gemma Robles, José M. Méndez, Francisco Salto
Logic and Logical Philosophy , 19 /4 (2010) s. 341-351

Zawęź wyniki

Czasopismo:

Bulletin of the Section of Logic (13)
Logic and Logical Philosophy (8)

Autor:

Data wydania:

Między a

Język:

EN (26)
ES (2)

Subskrybuj wyniki

Polish History
Museum in Warsaw

About the project
Offer for publishers

Materials published on the website under licence CC BY-SA
Designed by: Veshch

Register

Username:

E-mail:

Password:

Confirm password:

Sign in

Sign in

Username:

Password:

Forgot password