Results for 'Francisco Antonio Maya Mar��n'

1000+ found
Order:
  1. Consideraciones sobre la relación jurídica tributaria en venezuela.Francisco Antonio Maya Marín & Fabiola Guerrero Govea - 2013 - Civitas: Revista de Ciencias Juridicas, Politicas y Sociales 1 (1):1-17.
    La relación existente entre el Estado y los ciudadanos remonta épocas antiguas, donde se le exigía la contribución para el pago de los gastos de la monarquía, con el desarrollo del hombre moderno nace la Relación Jurídica Tributaria, donde esta representa la personificación tanto de la potestad de imposición como del deber de contribución, mejor conocidos y aceptados como Sujeto Activo y Sujeto Pasivo, a través de las distintas acepciones, en tal sentido se analiza esta relación a la luz del (...)
    No categories
     
    Export citation  
     
    Bookmark  
  2.  48
    Is There a Simple, Pedestrian Arithmetic Sentence Which is Independent of Zfc?Francisco Antonio Doria - 2000 - Synthese 125 (1-2):69-76.
    We show that the P 2 0 sentence, and explore some of theconsequences of that fact. This paper summarizes recent workby the author with N. C. A. da Costa on the P
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  3.  26
    Apresentação (Presentation) - Horizonte, v. 12, n. 33, jan./mar. 2014 - Dossiê: Religião, Política e Violência (Religion, Politics and Violence). [REVIEW]Antonio Geraldo Cantarela - 2014 - Horizonte 12 (33):5-7.
    Apresentação: Horizonte, v. 12, n. 33, jan./mar. 2014 Dossiê: Religião, Política e Violência.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  6
    Apresentação v. 10, n. 25, jan./mar. 2012.Antonio Geraldo Cantarela - 2012 - Horizonte 10 (25):5-7.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  5.  12
    Apresentação - Dossiê "Religião e Saúde" - v. 14, n. 41, Jan./Mar. 2016.Antonio Geraldo Cantarela - 2016 - Horizonte 14 (41):5-7.
    Presentation: Dossier "Religion and Health" - Vol. 14, No. 41, Jan./Mar. 2016.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  11
    Apresentação dossiê Religiões Afro-brasileiras (v. 11, n. 29, jan./mar. 2013).Antonio Geraldo Cantarela - 2013 - Horizonte 11 (29):5-9.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  43
    Resenhas v. 4 n. 8.Amauri Carlos Ferreira, Antônio Francisco da Silva, Ivonei Antônio de Oliveira, João Batista Libanio, Lindomar Rocha Mota & Roberlei Panasiewicz - 2006 - Horizonte 4 (8):153-171.
    SENA, Luzia (Org.). Ensino religioso e formação docente . (Religious teaching and teacher qualification) Amauri Carlos Ferreira SANGENIS, Luiz Fernando Conde. Gênese do pensamento único em educação: franciscanismo e jesuitismo na história da educação brasileira. (Genesis of an only thought in education: franciscanism and Jesuitism in the history of Brazilian education) Antônio Francisco da Silva TREVISAN, A. Santo Tomás de Aquino – O Credo: tradução, prefácio, introdução e notas. (Saint Thomas of Aquinas – The Creed: translation, preface, introduction and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  15
    Dissertações e Teses v. 3 n.6.Ibraim Vitor de Oliveira, Roberlei Panasiewicz, Rodrigo Coppe Caldeira & Antônio Francisco da Silva - 2005 - Horizonte 3 (6):133-138.
    OLIVEIRA, Ibraim Vitor de. Arché e Telos. Niilismo filosófico e crise da linguagem em Fr. Nietzsche e M. Heidegger. PANASIEWICZ, Roberlei. A virada hermenêutica da teologia e o pluralismo religioso: um estudo sobre a contribuição da Teologia Hermenêutica de Claude Geffré à Teologia das Religiões. CALDEIRA, Rodrigo Coppe. O influxo ultramontano no Brasil e o pensamento de Plínio Corrêa de Oliveira. SILVA, Antônio Francisco da. Álvaro Negromonte: modernidade, religião e educação. Uma tentativa de aproximação entre o público e o (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  12
    Algebraization of the Three‐Valued BCK‐Logic.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2002 - Mathematical Logic Quarterly 48 (2):163-178.
    In this paper a definition of n-valued system in the context of the algebraizable logics is proposed. We define and study the variety V3, showing that it is definitionally equivalent to the equivalent quasivariety semantics for the “Three-valued BCK-logic”. As a consequence we find an axiomatic definition of the above system.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. The Origins of a Modern View of Causation: Descartes and His Predecessors on Efficient Causes.Helen N. Hattab - 1998 - Dissertation, University of Pennsylvania
    This dissertation presents a new interpretation of Rene Descartes' views on body/body causation by examining them within their historical context. Although Descartes gives the impression that his views constitute a complete break with those of his predecessors, he draws on both Scholastic Aristotelian concepts of the efficient cause and existing anti-Aristotelian views. ;The combination of Aristotelian and anti-Aristotelian elements in Descartes' theory of causation creates a tension in his claims about the relationship between the first cause, God, and the secondary (...)
     
    Export citation  
     
    Bookmark   2 citations  
  11.  39
    Mathematics is Dramatically Incomplete.Francisco Antonio Doria - 1992 - Theoria 7 (1/2/3):411-422.
    We state and comment our recent results on the incompleteness of elementary real analysis and their relevance for the axiomatized sciences.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  18
    On Formal Treatments for General Relativity.Francisco Antonio Doria & Manuel Doria - 2009 - Philosophia Naturalis 46 (1):115-132.
  13. El derecho en el pensamiento de Ortega y Gasset.Francisco Antonio Pacheco - 1976 - Revista de Filosofía de la Universidad de Costa Rica 39:139-190.
     
    Export citation  
     
    Bookmark  
  14.  2
    El Aleph, Or a Monster Lurks in the Belly of Computer Science.Francisco Antonio Doria - 2018 - In Wuppuluri Shyam & Francisco Antonio Dorio (eds.), The Map and the Territory: Exploring the Foundations of Science, Thought and Reality. Springer. pp. 403-417.
    In 1962 Tibor Radó uncovered a monster hiding in the midst of innocent-looking Turing machines.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  7
    Theoretical Physics: A Primer for Philosophers of Science.Francisco Antonio Doria - 2009 - Principia: An International Journal of Epistemology 13 (2):195-232.
    We give a overview of the main areas in theoretical physics, with emphasis on their relation to Lagrangian formalism in classical mechanics. This review covers classical mechanics; the road from classical mechanics to Schrödinger’s quantum mechanics; electromagnetism, special and general relativity, and gauge field theory and the Higgs mechanism. We shun mathematical rigor in favor of a straightforward presentation.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  16. Theoretical Physics: A Primer for Philosophers of Science.Francisco Antonio Doria - 2009 - Principia: An International Journal of Epistemology 13 (2):195-232.
    We give a overview of the main areas in theoretical physics, with emphasis on their relation to Lagrangian formalism in classical mechanics. This review covers classical mechanics; the road from classical mechanics to Schrodinger's quantum mechanics; electromagnetism, special and general relativity, and (very briefly) gauge field theory and the Higgs mechanism. We shun mathematical rigor in favor of a straightforward presentation.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  17.  74
    Informal Versus Formal Mathematics.Francisco Antonio Doria - 2007 - Synthese 154 (3):401-415.
    We discuss Kunen’s algorithmic implementation of a proof for the Paris–Harrington theorem, and the author’s and da Costa’s proposed “exotic” formulation for the P = NP hypothesis. Out of those two examples we ponder the relation between mathematics within an axiomatic framework, and intuitive or informal mathematics.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  18.  6
    Estudio descriptivo y comparativo del comportamiento rítmico del habla en lectura en el español de Chile.Francisco Antonio Nocetti, Hernán Emilio Pérez & Mauricio A. Figueroa Candia - 2019 - Logos: Revista de Lingüística, Filosofía y Literatura 29 (1):60-77.
    Este artículo presenta un estudio descriptivo, cuyo propósito es determinar si el comportamiento rítmico del habla en lectura en voz alta de personas profesionales de ocho ciudades diferentes de Chile coincide con la clasificación dada históricamente al español como lengua de ritmo silábico, clasificación que además en general se extiende a todas las lenguas romances. Varios estudios tradicionales afirman que el español es una lengua de tendencia hacia el ritmo silábico, no obstante, también existen otros trabajos, antiguos y recientes, que (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  15
    CANDIOTTO, Cesar. Foucault e a crítica da verdade.Francisco Antonio Silva Filho - 2016 - Cadernos Do Pet Filosofia 7 (14):109-110.
    Resenha do livro "Foucault e a crítica da verdade", de César Candiotto.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  5
    Fundamentos Dialéticos Do Desenvolvimento Profissional Docente.Francisco Antonio Machado Araujo & Maria Vilani Cosme de Carvalho - 2022 - Educação E Filosofia 36 (77).
    Resumo: Este texto objetiva desenvolver discussão sobre os fundamentos dialéticos do desenvolvimento profissional docente. Estrutura-se na revisão de literatura com base em ideias de autores que abordam estudos sobre o desenvolvimento profissional docente e no conceito de desenvolvimento fundamentado nas leis gerais do Materialismo Histórico Dialético. Dentre os resultados constatados com o estudo, destaca-se a compreensão de que os autores analisados realizam discussão do desenvolvimento profissional docente como processo de constituição do ser professor relacionado a aquisição de saberes e competências (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  37
    El cura Francisco Antonio Florido y su aporte al proceso de Independencia de Colombia: aproximaciones a las facetas de un patriota integral.Roger Pita Pico - 2017 - 'Ilu. Revista de Ciencias de Las Religiones 22:301-322.
    In the framework of the commemoration of the Bicentennial of the Independence of Colombia and, using the method of historical prosopography, this article aims to analyze the contribution of the Franciscan Father Francisco Antonio Florido as a social and political actor in the process of consolidation of the Bases of the republican project through three specific facets in its role as chaplain in the military campaigns, in its protagonism in the political celebrations and in the promotion to the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  2
    The Map and the Territory: Exploring the Foundations of Science, Thought and Reality.Shyam Wuppuluri & Francisco Antonio Doria (eds.) - 2018 - Springer.
    This volume presents essays by pioneering thinkers including Tyler Burge, Gregory Chaitin, Daniel Dennett, Barry Mazur, Nicholas Humphrey, John Searle and Ian Stewart. Together they illuminate the Map/Territory Distinction that underlies at the foundation of the scientific method, thought and the very reality itself. It is imperative to distinguish Map from the Territory while analyzing any subject but we often mistake map for the territory. Meaning for the Reference. Computational tool for what it computes. Representations are handy and tempting that (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  1
    Candiotto, Cesar. Foucault E a Crítica da Verdade. 2a Ed. Belo Horizonte: Autêntica, 2010. 174 P. Isbn: 9788575264973.Francisco Antonio da Silva Filho - 2016 - Cadernos Do Pet Filosofia 17 (14):109-110.
    Cesar Candiotto, é licenciado em Filosofia pela PUCPR, bacharel em Teologia pela Pontificia Universidad Católica de Chile, mestre em Educação pela PUCPR e doutor em Filosofia pela PUC-SP, com estágio doutoral na Université Paris XII e no Centre Michel Foucault. Além da obra analisada, o autor tem outras obras publicadas, como Mente, cognição, linguagem e Ética: abordagens e perspectivas, e capítulos de livros sobre o pensamento francês contemporâneo, principalmente sobre Michel Foucault. É professor do curso de Filosofia e do programa (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  6
    Gamification as Online Teaching Strategy During COVID-19: A Mini-Review.Francisco Antonio Nieto-Escamez & María Dolores Roldán-Tapia - 2021 - Frontiers in Psychology 12.
    The ongoing pandemic caused by coronavirus disease 2019 has enforced a shutdown of educative institutions of all levels, including high school and university students, and has forced educators and institutions to adapt teaching strategies in a hasty way. This work reviews the use of gamification-based teaching during the pandemic lockdown through a search in Scopus, PsycINFO, ERIC, and Semantic Scholar databases. A total of 11 papers from Chemistry, Business, Computer Science, Biology, and Medical areas have been identified and included in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  1
    Knowledge Building by Full Integration With Virtual Reality Environments and Its Effects on Personal and Social Life.Araci Hack Catapan & Francisco Antonio Pereira Fialho - 1999 - Bulletin of Science, Technology and Society 19 (3):237-243.
    It is primordial to insist on a continuous education that is open, flexible, and personalized, allowing the individual to update and make his or her knowledge adequate throughout life. The creation of distributed environments for constructivist learning is a challenge. Research in this field is needed for the development of cooperative learning tools able to facilitate and motivate learning. The development of intelligent didactic systems is complex, demanding the support of knowledge coming from different fields. That is why to develop (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  1
    Two Algorithms for NP-Complete Problems and Their Relevance to Economics.C. A. Cosenza & Francisco Antonio Doria - 2018 - In Wuppuluri Shyam & Francisco Antonio Dorio (eds.), The Map and the Territory: Exploring the Foundations of Science, Thought and Reality. Springer. pp. 419-429.
    Maps and territory suggest problems which have to do with the opening of pathways in some poorly explored domain.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. O papel do filósofo: uma perspectiva africana.Francisco Antonio de Vasconcelos - 2022 - Griot : Revista de Filosofia 22 (3):93-101.
    The desire to understand what, after all, it is up to philosophy to accomplish and, as a consequence, what role is reserved for the philosopher, in the game of life and knowledge, although quite old, having received a lot of attention throughout the 20th century, continues to be very current. So, in this exhibition, we will also deal with that, however, making a cut, the African continent. Thus, our main objective here is to discuss philosophical praxis, based on the principle (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  4
    Teoría de la comprensión en Francisco Antonio Encina.Hugo Herrera - 2020 - Alpha: Revista de Artes, Letras y Filosofia 1 (50):163-177.
    En este artículo pretendo probar que en el pensamiento de Francisco Antonio Encina existe una reflexión sobre la comprensión. Esa reflexión, a diferencia de lo que han sostenido algunos autores, tiene un talante filosófico, en el sentido de que en ella se exponen pertinentemente los polos entre los que se realiza la comprensión, los extremos hacia los que puede inclinarse la actividad comprensiva y las condiciones básicas que ha de reunir una comprensión de los asuntos humanos calificable como (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. Depresión, desregulación emocional y estrategias de afrontamiento en adolescentes con conductas de autolesión.Gildardo Bautista Hernández Bautista Hernández, Jose Angel Vera Noriega, Francisco Antonio Machado Moreno & Claudia Karina Rodríguez Carvajal - 2021 - Acta Colombiana de Psicología 25 (1):137-150.
    In Mexico, there is little research on the study of self-injury and even less on possible explanatory models. With this in mind, this study aimed to determine the relationship between self-injury and depression, emotional dysregulation, and coping styles, to generate an explanatory model of the problem. The study was carried out using a quantitative, cross-sectional, explanatory scope, design and a sample of 5835 adolescents enrolled in 62 public high schools in the state of Sonora. Logistic regressions were performed for data (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. A True Polymath: A Tribute to Francisco Antonio Doria.Jose Acacio de Barros & Decio Krause (eds.) - 2020 - College Publications.
    No categories
     
    Export citation  
     
    Bookmark  
  31. Leopoldo Nachbin: Some Personal Recollections Francisco Antonio Doria.Some Personal Recollections - 1996 - Logique Et Analyse 39 (154):31-33.
  32. On the Incompleteness of Axiomatized Models for the Empirical Sciences.Newton C. A. da Costa & Francisco Antonio Doria - 1992 - Philosophica 50.
     
    Export citation  
     
    Bookmark   4 citations  
  33.  4
    José Antonio FORTEA, La Catedral de San Agustín de Hipona. Una Reconstrucción Histórica Del Templo, la Vida y la Ciudad de Un Obispo Del Norte de África En El Siglo V. Revista Agustiniana, Guadarrama, Madrid 2016. [REVIEW]Pablo Antonio Morillo Rey - 2020 - Isidorianum 26 (51-52):417-418.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  13
    Assessment of Emotional Experience and Emotional Recognition in Complicated Grief.Manuel Fernández-Alcántara, Francisco Cruz-Quintana, M. N. Pérez-Marfil, Andrés Catena-Martínez, Miguel Pérez-García & Oliver H. Turnbull - 2016 - Frontiers in Psychology 7.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. Realismo e indeterminación cardinal.Francisco Salto Alemany & Antonio Manuel Liz Gutiérrez - 2004 - Laguna 15:177-194.
    En este trabajo se argumenta que no es posible contar objetos reales. Aunque a primera vista esta tesis pueda resultar desconcertante, o un simple ejercicio de «arte conceptual», las razones que la apoyan son fundadas y muy naturales. Se examinan algunas consecuencias importantes de dicha tesis y se ponen en conexión con diversos planteamientos de H. Putnam, P. Unger y E. Sosa.
    No categories
     
    Export citation  
     
    Bookmark  
  36.  23
    Una revisión crítica del debate sobre las necesidades humanas desde el enfoque centrado en la persona.Antonio Elizalde, Manuel Martí Vilar & Francisco Martínez Salvá - 2006 - Polis 15.
    El artículo presenta algunos de los diferentes modelos teórico-explicativos sobre las necesidades humanas; revisa el estado del arte en las publicaciones recientes, y evalúa críticamente las limitaciones y potenciales que ellas tienen, desde una mirada sistémica y fenoménica desde un enfoque centrado en la persona.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. Una revisión crítica del debate sobre las necesidades humanas desde el enfoque centrado en la persona.[En línea].Antonio Elizalde, Manuel MARTÍ & Francisco A. MARTÍNEZ - 2006 - Polis 5:15.
     
    Export citation  
     
    Bookmark  
  38. ALTAREJOS, Francisco; IBÁÑEZ-MARTÍN, José Antonio; JORDÁN, José Antonio; JOVER, Gonzalo, Ética docente, Editorial Ariel, 2003, Pamplona, 186 pp. [REVIEW]Ana María Lazarte - 2005 - Anuario Filosófico 38 (3):862-865.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  1
    Lelio Antonio francisco Fernández druetta.Andrés Lema-Hincapié - 2021 - Ideas Y Valores 70 (177):15-20.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40. Antonio Hermosa: El hombre tras los hechos. Naturaleza humana y política en la historiografía clásica. Sevilla: Athenaica, 2019, 243 pp. [REVIEW]Francisco Javier Espinosa Antón - 2020 - Araucaria 22 (43).
    Heródoto en las primeras líneas de sus Historias decía que las escribía para que "el tiempo no abatiera el recuerdo de las acciones humanas". Antonio Hermosa, catedrático de filosofía en la universidad de Sevilla, quiere traernos a la mente algunos de los hechos principales que narraron los historiadores antiguos. Frente a una historia positivista de datos y fechas, quiere promover una historia reflexiva y que el tiempo no abata los pensamientos de los historiadores clásicos ni los que a partir (...)
    No categories
     
    Export citation  
     
    Bookmark  
  41.  23
    Terrain n° 24, mars 1995, Carnets du patrimoine ethnologique, « La fabrication des saints ».Lucie Desideri - 1995 - Clio: A Journal of Literature, History, and the Philosophy of History 2:19-19.
    « Le formalisme juridique conduisant à la reconnaissance officielle d’un saint n’a cessé de se durcir entre le XIIe et le XVIIIe siècle. Il n’a été quelque peu allégé que depuis 1969, en raison peut-être de l’engorgement de l’administration pontificale face au flot grossissant des causes introduites - une quarantaine par an en moyenne - ces dernières décennies » (J. P. Albert, « Hagiographie. L’écriture qui sanctifie », pp. 75-83). Résultat : « entre 1978 et 1989, Jean Paul II a (...)
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  42.  8
    Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation Between Time and Necessity.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (1):24-38.
    In this paper the structure of pretemporal algebra is used to study some aspects of temporal algebras and modal algebras. The paper contains a computational approach to finite temporal algebras and a general splitting theorem for finite temporal algebras.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  18
    A Structure Theorem for Free Temporal Algebras.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (2):249-256.
    In this paper an algebraic version for temporal algebras of the logical filtrations for modal and temporal logics is analysed. A structure theorem for free temporal algebras and also some results with regard to the variety of temporal algebras are obtained.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  25
    Algebraization of the Three-Valued BCK-Logic.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2002 - Mathematical Logic Quarterly 48 (2):163-178.
  45.  11
    Expediente - v. 14, n. 41, jan./mar. 2016.Paulo Agostinho Nogueira Baptista - 2016 - Horizonte 14 (41):1-4.
    Expediente - v. 14, n. 41, jan./mar. 2016.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  1
    Nachweis aus Juan huarte de San Juan, prüfung der köpfe zu den wissenschaften (1785).Antonio Morillas-Esteban Francisco Arenas-Dolz - 2009 - Nietzsche Studien 38 (1):312.
  47. Discusión sobre la ponencia del profesor López Calera.Antonio Ruiz Manero, Luis Legaz Lacambra, Angel Sánchez de la Torre, Joaquín Ruiz-Giménez Cortés, Mariano Hurtado Bautista, Francisco de Paula Puy Muñoz, José Delgado Pinto, Terenciano Alvarez Pérez & Elías Díaz García - 1976 - Anales de la Cátedra Francisco Suárez 16:53-90.
     
    Export citation  
     
    Bookmark  
  48. El P. Antonio Orbe, pionero de una nueva pedagogía de la teología de los siglos II y III.Francisco Berrizbeitia - 2013 - Gregorianum 94 (2):377-387.
     
    Export citation  
     
    Bookmark  
  49.  2
    Terrain n° 24, mars 1995, Carnets du patrimoine ethnologique, « La fabrication des saints ».Lucie Desideri - 1995 - Clio 2.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  30
    Linearization of the BCK-Logic.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2000 - Studia Logica 65 (1):31-51.
    In the paper we obtain a new characterization of the BCK-algebras which are subdirect product of BCK-chains. We give an axiomatic algebraizable extension of the BCK-calculus, by means of a recursively enumerable set of axioms, such that its equivalent algebraic semantics is definitionally equivalent to the quasivariety of BCK-algebras generated by the BCK-chains. We propose the concept of "linearization of a system" and we give some examples.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 1000