المؤلفون: Lorenzo Boccafogli

المصدر: Principia: An International Journal of Epistemology, Vol 28, Iss 1 (2024)

مصطلحات موضوعية: Philosophy of Logic, Hermeneutics, Dialectics, Paradox, Paraconsistency, Philosophy. Psychology. Religion, Philosophy (General), B1-5802

وصف الملف: electronic resource

العلاقة: https://periodicos.ufsc.br/index.php/principia/article/view/96707Test; https://doaj.org/toc/1808-1711Test

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

المؤلفون: Boccafogli, Lorenzo

المصدر: Principia: an international journal of epistemology; Vol. 28 No. 1 (2024): Special Issue: What can we do in Philosophy using Logic?; 79-102 ; Principia: an international journal of epistemology; Vol. 28 Núm. 1 (2024): Número especial: ¿Qué podemos hacer en Filosofía usando la Lógica?; 79-102 ; Principia: an international journal of epistemology; v. 28 n. 1 (2024): Edição Especial: O que podemos fazer em Filosofia usando Lógica?; 79-102 ; 1808-1711

مصطلحات موضوعية: Philosophy of Logic, Hermeneutics, Dialectics, Paradox, Paraconsistency

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

العلاقة: https://periodicos.ufsc.br/index.php/principia/article/view/96707/55532Test; https://periodicos.ufsc.br/index.php/principia/article/view/96707Test

الإتاحة: https://doi.org/10.5007/1808-1711.2024.e96707Test
https://periodicos.ufsc.br/index.php/principia/article/view/96707Test

المؤلفون: Cruz, Ana, Madeira, Alexandre, Barbosa, L. S.

المساهمون: Universidade do Minho

مصطلحات موضوعية: Paraconsistency, Transition systems, Ciências Naturais::Ciências da Computação e da Informação

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

العلاقة: Cruz, A., Madeira, A., & Barbosa, L. S. (2023, March 23). Paraconsistent Transition Systems. Electronic Proceedings in Theoretical Computer Science. Open Publishing Association. http://doi.org/10.4204/eptcs.376.3Test; 2075-2180; https://arxiv.org/abs/2303.13254v1Test

الإتاحة: https://hdl.handle.net/1822/90283Test

المؤلفون: Cunha, Juliana Andreia Marques Prazeres da

مصطلحات موضوعية: Category theory, Specification, Transition systems, Institutions, Paraconsistency, Dynamic logic, Hybrid logic, Modal logic

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

الإتاحة: http://hdl.handle.net/10773/40670Test

المؤلفون: Cunha, Juliana, Madeira, Alexandre, Barbosa, L. S.

المساهمون: Universidade do Minho

مصطلحات موضوعية: Paraconsistency, Algebraic specification, Ciências Naturais::Ciências da Computação e da Informação

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

العلاقة: Cunha, J., Madeira, A., Barbosa, L.S. (2023). Structured Specification of Paraconsistent Transition Systems. In: Hojjat, H., Ábrahám, E. (eds) Fundamentals of Software Engineering. FSEN 2023. Lecture Notes in Computer Science, vol 14155 . Springer, Cham. https://doi.org/10.1007/978-3-031-42441-0_1Test; 978-3-031-42440-3; 0302-9743; 978-3-031-42441-0

الإتاحة: https://hdl.handle.net/1822/90282Test

المؤلفون: Barbosa, L. S., Madeira, Alexandre

المساهمون: Universidade do Minho

مصطلحات موضوعية: Paraconsistency, Quantum circuits, paraconsistent logic, quantum decoherence, Ciências Naturais::Ciências da Computação e da Informação

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

العلاقة: Barbosa, L. S., & Madeira, A. (2023, March 13). Capturing Qubit Decoherence through Paraconsistent Transition Systems. Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming. ACM. http://doi.org/10.1145/3594671.3594689Test; 9798400707551; 979-8-4007-0755-1

الإتاحة: https://hdl.handle.net/1822/90285Test

المؤلفون: JOSÉ RENATO SALATIEL

المصدر: Manuscrito, Vol 45, Iss 4, Pp 79-106 (2023)

مصطلحات موضوعية: Charles S. Peirce, Logic, Many-valued logics, Paraconsistency, Three-valued logic, BC1-199, Philosophy (General), B1-5802

وصف الملف: electronic resource

العلاقة: http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452022000400079&tlng=enTest; https://doaj.org/toc/2317-630XTest

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

المؤلفون: Deguchi, Yasuo, author, Garfield, Jay L., author, Priest, Graham, author, Sharf, Robert H., author

الإتاحة: https://doi.org/10.1093/oso/9780197526187.001.0001Test

المؤلفون: Ana Cruz, Alexandre Madeira, Barbosa, L. S.

المساهمون: Universidade do Minho

مصطلحات موضوعية: Paraconsistency, Paraconsistent logic, Ciências Naturais::Ciências da Computação e da Informação

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

العلاقة: Cruz, A., Madeira, A., & Soares Barbosa, L. (2022, April 14). A Logic for Paraconsistent Transition Systems. Electronic Proceedings in Theoretical Computer Science. Open Publishing Association. http://doi.org/10.4204/eptcs.358.20Test; 2075-2180; https://arxiv.org/abs/2204.06737v1Test

الإتاحة: https://hdl.handle.net/1822/90281Test

المؤلفون: Cruz, Ana Luzia

المساهمون: Barbosa, L. S., Madeira, Alexandre Leite Castro, Universidade do Minho

مصطلحات موضوعية: Paraconsistency, Transition systems, Modal logic, Quantum computation, Paraconsistência, Sistemas de transição, Lógica modal, Computação quântica, Engenharia e Tecnologia::Outras Engenharias e Tecnologias

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

العلاقة: 203047125

الإتاحة: https://hdl.handle.net/1822/81065Test