المؤلفون: Kamide, Norihiro

المصدر: 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) ISMVL Multiple-Valued Logic (ISMVL), 2023 IEEE 53rd International Symposium on. :24-29 May, 2023

Relation: 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)

المؤلفون: Indrzejczak, Andrzej

المصدر: History & Philosophy of Logic; May2024, Vol. 45 Issue 2, p142-160, 19p

مصطلحات موضوعية: REASONING, THOUGHT & thinking, REASON, MATHEMATICS, NATURAL deduction (Logic), PROOF theory

المؤلفون: Cui, Luoping^Aff9, Yu, Wensheng^Aff9

المساهمون: Filipe, Joaquim, Editorial Board Member^Aff1, Ghosh, Ashish, Editorial Board Member^Aff2, Zhou, Lizhu, Editorial Board Member^Aff3, Zhang, Lin, editor^Aff4, Yu, Wensheng, editor^Aff5, Wang, Quan, editor^Aff6, Laili, Yuanjun, editor^Aff7, Liu, Yongkui, editor^Aff8

المصدر: Intelligent Networked Things : The 6th Conference on Intelligent Networked Things, CINT 2024, Xi'an, China, May 18, 2024, Proceedings, Part I. 2138:85-94

المؤلفون: Więckowski, Bartosz^Aff4

المساهمون: Hansson, Sven Ove, Editor-in-Chief^Aff1, Piecha, Thomas, editor^Aff2, Wehmeier, Kai F., editor^Aff3

المصدر: Peter Schroeder-Heister on Proof-Theoretic Semantics. 29:399-423

المؤلفون: CHENG-CHIH TSAI

المصدر: Teaching Philosophy; Mar2024, Vol. 47 Issue 1, p69-93, 25p

مصطلحات موضوعية: INTRODUCTORY courses (Education), STUDY & teaching of logic, NATURAL deduction (Logic), METALANGUAGE, INFERENCE (Logic)

المؤلفون: Holliday, Wesley Halcrow

المصدر: Logics. 1(1)

مصطلحات موضوعية: natural deduction, introduction and elimination rules, lattices with negation, lattices with implication, representation of lattices, intuitionistic logic, orthologic, classical logic

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

URL الوصول: https://escholarship.org/uc/item/8bp759nc

المؤلفون: Borisavljevic, Mirjana^{Aff1, IDs11225022100234_cor1}

المصدر: Studia Logica: An International Journal for Symbolic Logic. 111(3):391-429

المؤلفون: Petrukhin, Yaroslav^{Aff1, IDs1084902209382x_cor1}, Shangin, Vasily

المصدر: Journal of Logic, Language and Information. 32(2):247-273

المؤلفون: Shangin, Vasily^{Aff1, Aff2, IDs11229023042762_cor1}

المصدر: Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science. 202(2)

المؤلفون: Greg Restall

المصدر: Bulletin of the Section of Logic, Vol 52, Iss 2, Pp 109-143 (2023)

مصطلحات موضوعية: proof, natural deduction, classical logic, bilateralism, substructural logics, Logic, BC1-199

وصف الملف: electronic resource

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

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