Authors: Tsai, Cheng-chih

Superior Title: Teaching Philosophy. 2024, Vol. 37 Issue 2, p69-93. 25p.

Subject Terms: *NATURAL deduction (Logic), *TRUTH tables (Mathematical logic), *MILITARY archaeology, *NATURAL language processing, *SUBROUTINES (Computer programs)

Authors: Więckowski, Bartosz^Aff4

Contributors: Hansson, Sven Ove, Editor-in-Chief^Aff1, Piecha, Thomas, editor^Aff2, Wehmeier, Kai F., editor^Aff3

Superior Title: Peter Schroeder-Heister on Proof-Theoretic Semantics. 29:399-423

Authors: Indrzejczak, Andrzej

Superior Title: History & Philosophy of Logic; May2024, Vol. 45 Issue 2, p142-160, 19p

Subject Terms: REASONING, THOUGHT & thinking, REASON, MATHEMATICS, NATURAL deduction (Logic), PROOF theory

Authors: CHENG-CHIH TSAI

Superior Title: Teaching Philosophy; Mar2024, Vol. 47 Issue 1, p69-93, 25p

Subject Terms: INTRODUCTORY courses (Education), STUDY & teaching of logic, NATURAL deduction (Logic), METALANGUAGE, INFERENCE (Logic)

Authors: Elnashar, Amr¹ amr92_@aucegypt.edu, Lotfallah, Wafik Boulos¹ lotfallah@aucegypt.edu

Superior Title: Journal of Philosophical Logic. Oct2018, Vol. 47 Issue 5, p803-815. 13p.

Subject Terms: *NATURAL deduction (Logic), *PROOF theory, *PROPOSITIONAL calculus, *INFERENCE (Logic), *BOOLEAN algebra

Authors: Francez, Nissim¹ francez@cs.technion.ac.il

Superior Title: Logic & Logical Philosophy. Sep2018, Vol. 27 Issue 3, p351-373. 23p.

Authors: Coniglio, Marcelo E., Figallo, Martin

Superior Title: Logic and Logical Philosophy; Vol. 33 No. 2 (2024): June; 171-203 ; Logic and Logical Philosophy; Tom 33 Nr 2 (2024): Czerwiec; 171-203 ; 2300-9802 ; 1425-3305

Subject Terms: tetravalent modal logic, natural deduction, tableaux, normal proofs, paraconsistent logics, paracomplete logics, Belnap-Dunn logic

File Description: application/pdf

Relation: https://apcz.umk.pl/LLP/article/view/42397/37491; https://apcz.umk.pl/LLP/article/view/42397

Availability: https://apcz.umk.pl/LLP/article/view/42397

Authors: Borisavljevic, Mirjana^{Aff1, IDs11225022100234_cor1}

Superior Title: Studia Logica: An International Journal for Symbolic Logic. 111(3):391-429

Authors: Petrukhin, Yaroslav^{Aff1, IDs1084902209382x_cor1}, Shangin, Vasily

Superior Title: Journal of Logic, Language and Information. 32(2):247-273

Authors: Kozhemiachenko, Daniil¹ kodaniil@yandex.ru

Superior Title: Logic & Logical Philosophy. Mar2018, Vol. 27 Issue 1, p67-84. 18p.

Authors: Petrukhin, Yaroslav¹ yaroslav.petrukhin@mail.ru

Superior Title: Logic & Logical Philosophy. Mar2018, Vol. 27 Issue 1, p53-66. 14p.

Authors: Shangin, Vasily^{Aff1, Aff2, IDs11229023042762_cor1}

Superior Title: Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science. 202(2)

Authors: Greg Restall

Superior Title: Bulletin of the Section of Logic, Vol 52, Iss 2, Pp 109-143 (2023)

Subject Terms: proof, natural deduction, classical logic, bilateralism, substructural logics, Logic, BC1-199

File Description: electronic resource

Relation: https://czasopisma.uni.lodz.pl/bulletin/article/view/14404; https://doaj.org/toc/0138-0680; https://doaj.org/toc/2449-836X

Access URL: https://doaj.org/article/404db0f1d79b471abf246f1d476aee77

Authors: Cordes, Moritz¹ cordesm@uni-greifswald.de, Reinmuth, Friedrich¹ reinmuthf@uni-greifswald.de

Superior Title: Logic & Logical Philosophy. Jun2017, Vol. 26 Issue 2, p163-196. 34p.

Authors: Petrukhin, Yaroslav¹ yaroslav.petrukhin@mail.ru

Superior Title: Logic & Logical Philosophy. Jun2017, Vol. 26 Issue 2, p197-206. 10p.

Authors: von Plato, Jan¹ jan.vonplato@helsinki.fi

Superior Title: Bulletin of the Section of Logic. 2017, Vol. 46 Issue 1/2, p65-73. 9p.

Subject Terms: *NATURAL deduction (Logic), *PROBLEM solving, *MATHEMATICAL formulas, *MATHEMATICAL logic, *LINEAR systems

Authors: Więckowski, Bartosz^{Aff1, IDs11787022003219_cor1}

Superior Title: Logica Universalis. 17(1):103-138

Authors: Galafassi, Cristiano^{Aff1, IDs40593021002877_cor1}, Galafassi, Fabiane Flores Penteado, Vicari, Rosa Maria, Reategui, Eliseo Berni

Superior Title: International Journal of Artificial Intelligence in Education: Official Journal of the International AIED Society. 33(1):35-58

Authors: Ludlow, Peter, author, Živanović, Sašo, author

Availability: https://doi.org/10.1093/oso/9780199591534.001.0001

Authors: Makridis, Odysseus^Aff3

Contributors: Bufacchi, Vittorio, Series Editor^Aff1, Makridis, Odysseus^Aff2

Superior Title: Symbolic Logic. :115-287