المؤلفون: Skura, Tomasz^{Aff1, IDs11225024101028_cor1}

المصدر: Studia Logica: An International Journal for Symbolic Logic. :1-24

المؤلفون: Bernreiter, Michael^{Aff1, IDs10817024096955_cor1}, Lolic, Anela, Maly, Jan, Woltran, Stefan

المصدر: Journal of Automated Reasoning. 68(2)

المؤلفون: Skura, Tomasz^{Aff1, IDs11787023003388_cor1}

المصدر: Logica Universalis. 17(4):433-441

المؤلفون: Pulcini, Gabriele^{Aff1, IDs11787023003379_cor1}, Varzi, Achille C.

المصدر: Logica Universalis. 17(4):411-432

المؤلفون: Wybraniec-Skardowska, Urszula^Aff16

المساهمون: Andréka, Hajnal, Editorial board^Aff1, Béziau, Jean-Yves, Series Editor^Aff2, Burgin, Mark, Editorial board^Aff3, Diaconescu, Razvan, Editorial board^Aff4, Herzig, Andreas, Editorial board^Aff5, Koslow, Arnold, Editorial board^Aff6, Lee, Jui-Lin, Editorial board^Aff7, Maksimova, Larisa, Editorial board^Aff8, Malinowski, Grzegorz, Editorial board^Aff9, Paoli, Francesco, Editorial Board Member^Aff10, Sarenac, Darko, Editorial board^Aff11, Schroeder-Heister, Peter, Editorial board^Aff12, Vasyukov, Vladimir, Editorial board^Aff13, Garrido, Ángel, editor^Aff14, Wybraniec-Skardowska, Urszula, editor^Aff15

المصدر: The Lvov-Warsaw School. Past and Present. :575-597

المؤلفون: Goranko, Valentin, 1959

المصدر: Axioms. 8(4)

مصطلحات موضوعية: deductive refutability, refutation systems, hybrid deduction–refutation rules, derivative hybrid rules, soundness, completeness, natural deduction, meta-proof theory, matematisk logik, Mathematical Logic, filosofi, Philosophy

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-177315
https://doi.org/10.3390/axioms8040118
https://su.diva-portal.org/smash/get/diva2:1381489/FULLTEXT01.pdf

المؤلفون: Maurer, Michael

مصطلحات موضوعية: refutation systems, proof systems, complementary calculi, natural deduction, automated theorem prover, automated deduction

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::50e3740d884b2af195df2cdd78cbcb55

المؤلفون: Valentin Goranko

المصدر: Axioms, Vol 8, Iss 4, p 118 (2019)

مصطلحات موضوعية: deductive refutability, refutation systems, hybrid deduction–refutation rules, derivative hybrid rules, soundness, completeness, natural deduction, meta-proof theory, Mathematics, QA1-939

وصف الملف: electronic resource

Relation: https://www.mdpi.com/2075-1680/8/4/118; https://doaj.org/toc/2075-1680

URL الوصول: https://doaj.org/article/c9ff38dcb1f64c3b8058fd39d841cea6

المؤلفون: Avellone, Alessandro^Aff1, Ferrari, Mauro^Aff1

المساهمون: Carbonell, J. G., editor, Siekmann, J., editor, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Miglioli, P., editor, Moscato, U., editor, Mundici, D., editor, Ornaghi, M., editor

المصدر: Theorem Proving with Analytic Tableaux and Related Methods : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings. 1071:48-64

المؤلفون: Rożko, Karolina

URL الوصول: http://europeana.eu/portal/record/9200418/BibliographicResource_3000125946668.html