المؤلفون: Maschio S., Trotta D.

المساهمون: Maschio, S., Trotta, D.

مصطلحات موضوعية: Assemblie, Implicative algebra, Tripo

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:001134803200001; volume:175; issue:3; journal:ANNALS OF PURE AND APPLIED LOGIC; https://hdl.handle.net/11577/3504068Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85179044749

الإتاحة: https://doi.org/10.1016/j.apal.2023.103390Test
https://hdl.handle.net/11577/3504068Test

المؤلفون: Lázaro, Cristiane Alexandra, Feitosa, Hércules de Araujo, Soares, Marcelo Reicher

المصدر: Veritas (Porto Alegre); Vol. 64 No. 3 (2019): Epistemology & Philosophy of Language; e32214 ; Veritas (Porto Alegre); Vol. 64 Núm. 3 (2019): Epistemología y Filosofía del Lenguaje; e32214 ; Veritas (Porto Alegre); v. 64 n. 3 (2019): Epistemologia e Filosofia da Linguagem; e32214 ; 1984-6746 ; 0042-3955 ; 10.15448/1984-6746.2019.3

مصطلحات موضوعية: Logical consequence. Order. Implication. Implicative algebra. Implicative logic, Consecuencia lógica, Orden. Implicación. Álgebra implicativa. Lógica implicativa, Consequência lógica. Ordem. Implicação. Álgebra implicativa. Lógica implicativa

وصف الملف: application/pdf

العلاقة: https://revistaseletronicas.pucrs.br/ojs/index.php/veritas/article/view/32214/19191Test; https://revistaseletronicas.pucrs.br/ojs/index.php/veritas/article/view/32214Test

الإتاحة: https://doi.org/10.15448/1984-6746.2019.3Test
https://revistaseletronicas.pucrs.br/ojs/index.php/veritas/article/view/32214Test

المؤلفون: Basim Samir, Huda H. Merdach

المصدر: Journal of Progressive Research in Mathematics 12(4) 2010-2014

مصطلحات موضوعية: Residuated lattice, implicative algebra, Heyting algebra

العلاقة: https://zenodo.org/record/3974893Test; https://doi.org/10.5281/zenodo.3974893Test; oai:zenodo.org:3974893

الإتاحة: https://doi.org/10.5281/zenodo.3974893Test
https://doi.org/10.5281/zenodo.3974892Test
https://zenodo.org/record/3974893Test

المؤلفون: Tripti Bej, Madhumangal Pal

المصدر: International Journal of Computational Intelligence Systems, Vol 8, Iss 2 (2015)

مصطلحات موضوعية: -algebra, implicative -algebra, doubt Atanassov's intuitionistic fuzzy ideal, fuzzy subimplicative ideal, fuzzy -ideal, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://www.atlantis-press.com/article/25868593.pdfTest; https://doaj.org/toc/1875-6883Test

الوصول الحر: https://doaj.org/article/e2fc0c3039e9491fb552dfe5f39930f4Test

المؤلفون: Samir, Basim, Merdach, Huda H.

مصطلحات موضوعية: Mathematics::Logic, High Energy Physics::Lattice, Residuated lattice, implicative algebra, Heyting algebra

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::28a7cfc04af84381b25d1b74954bc1fbTest

المؤلفون: Madhumangal Pal, Tripti Bej

المصدر: International Journal of Computational Intelligence Systems, Vol 8, Iss 2 (2015)

مصطلحات موضوعية: Discrete mathematics, Ideal (set theory), General Computer Science, Fuzzy ideal, Intuitionistic fuzzy, QA75.5-76.95, algebra, lcsh:QA75.5-76.95, Algebra, Computational Mathematics, fuzzy -ideal, Electronic computers. Computer science, doubt Atanassov's intuitionistic fuzzy ideal, implicative -algebra, fuzzy subimplicative ideal, lcsh:Electronic computers. Computer science, Algebra over a field, Mathematics, Complement (set theory)

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::30011cef941696446b70701a57d5b963Test
https://doi.org/10.1080/18756891.2015.1001948Test

المؤلفون: Solovyov, S. A.

المصدر: Demonstratio Mathematica. Warsaw Technical University Institute of Mathematics.

مصطلحات موضوعية: categorical equivalence, coseparator, epimorphism, extended order algebra, extended relation algebra, implicative algebra, poset, quantale, rough sets

الوصول الحر: http://yadda.icm.edu.pl/baztech/element/bwmeta1.element.baztech-article-PWA4-0033-0020Test

المؤلفون: Castaño, Diego Nicolás

مصطلحات موضوعية: LUKASIEWICZ LOGIC, MV-ALGEBRA, IMPLICATIVE ALGEBRA, FREE ALGEBRA, PROJECTIVE, FINITELY PRESENTED, https://purl.org/becyt/ford/1.1Test, https://purl.org/becyt/ford/1Test

وصف الملف: application/pdf

العلاقة: info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s00012-017-0474-8Test; http://hdl.handle.net/11336/64648Test; Castaño, Diego Nicolás; Implicative subreducts of MV-algebras: free and weakly projective objects; Birkhauser Verlag Ag; Algebra Universalis; 78; 4; 12-2017; 579-600; CONICET Digital; CONICET

الإتاحة: https://doi.org/10.1007/s00012-017-0474-8Test
http://hdl.handle.net/11336/64648Test