Otros recursos con las palabras clave 03B46
Resultados 1 - 7 de 7 de 03B46 . (0,08 segundos)
Documentos:
1.
(100%)
Algebraic Study of Two Deductive Systems of Relevance Logic
- Font, Josep Maria; Rodríguez, Gonzalo
In this paper two deductive systems (i.e., two consequence
relations) associated with relevance logi
...
(application/pdf) - 21-nov-2008
2.
(100%)
Real reduced models for relevant logics without ${\rm WI}$.
- Giambrone, Steve
(application/pdf) - 21-nov-2008
3.
(100%)
A structurally complete fragment of relevant logic.
- Slaney, John K.; Meyer, Robert K.
(application/pdf) - 21-nov-2008
4.
(100%)
Relevance and paraconsistency---a new approach. II. The formal systems.
- Avron, Arnon
(application/pdf) - 21-nov-2008
5.
(100%)
Relevance and paraconsistency---a new approach. III. Cut-free Gentzen-type systems.
- Avron, Arnon
(application/pdf) - 21-nov-2008
6.
(100%)
The admissibility of $\gamma$ in ${\rm R}4$.
- Mares, Edwin D.; Meyer, Robert K.
(application/pdf) - 21-nov-2008
7.
(100%)
On interpreting truth tables and relevant truth table logic.
- Sylvan, Richard
(application/pdf) - 21-nov-2008