المؤلفون: Song, Yang, Omori, Hitoshi^{Aff2, IDs11225023100750_cor2}, Arenhart, Jonas R. B., Tojo, Satoshi

المصدر: Studia Logica: An International Journal for Symbolic Logic. 112(4):893-932

المؤلفون: Pawlowski, Pawel^{Aff1, IDs10992023097334_cor1}, Skurt, Daniel^{Aff2, IDs10992023097334_cor2}

المصدر: Journal of Philosophical Logic. 53(2):351-371

المؤلفون: Lesot, Marie-Jeanne, d'Allonnes, Adrien Revault

المصدر: 2022 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) Fuzzy Systems (FUZZ-IEEE), 2022 IEEE International Conference on. :1-6 Jul, 2022

Relation: 2022 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)

المؤلفون: Dunin-Keplicz, Barbara, Szalas, Andrzej

المصدر: 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL) ISMVL Multiple-Valued Logic (ISMVL), 2020 IEEE 50th International Symposium on. :230-236 Nov, 2020

Relation: 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL)

المؤلفون: Aguzzoli, Stefano

المصدر: 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) Fuzzy Systems (FUZZ-IEEE), 2020 IEEE International Conference on. :1-8 Jul, 2020

Relation: 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)

المؤلفون: Mikheyenkova, M. A.^{Aff1, IDS105466182303029X_cor1}, Finn, V. K.^{Aff1, IDS105466182303029X_cor2}

المصدر: Pattern Recognition and Image Analysis. 33(3):407-412

المؤلفون: Cuconato, Simone^{Aff14, Aff15}

المساهمون: Kacprzyk, Janusz, Series Editor^Aff1, Gomide, Fernando, Advisory Editor^Aff2, Kaynak, Okyay, Advisory Editor^Aff3, Liu, Derong, Advisory Editor^Aff4, Pedrycz, Witold, Advisory Editor^Aff5, Polycarpou, Marios M., Advisory Editor^Aff6, Rudas, Imre J., Advisory Editor^Aff7, Wang, Jun, Advisory Editor^Aff8, Das, Asit Kumar, editor^Aff9, Nayak, Janmenjoy, editor^Aff10, Naik, Bighnaraj, editor^Aff11, Vimal, S., editor^Aff12, Pelusi, Danilo, editor^Aff13

المصدر: Computational Intelligence in Pattern Recognition : Proceedings of CIPR 2023. 725:631-640

المؤلفون: Mario Piazza, Gabriele Pulcini, Matteo Tesi

المصدر: Bulletin of the Section of Logic, Vol 52, Iss 3, Pp 275-299 (2023)

مصطلحات موضوعية: modal logic, general proof theory (including proof-theoretic semantics), many-valued logics, Logic, BC1-199

وصف الملف: electronic resource

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

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

المؤلفون: Salibra, A.^{Aff1, IDs10699020096977_cor1}, Bucciarelli, A., Ledda, A., Paoli, F.

المصدر: Foundations of Science: The official Journal of the Association for Foundations of Science, Language and Cognition. 28(1):115-142

المؤلفون: Hazen, Allen P.^Aff4, Pelletier, Francis Jeffry^Aff4

المساهمون: Hansson, Sven Ove, Editor-in-Chief^Aff1, Düntsch, Ivo, editor^Aff2, Mares, Edwin, editor^Aff3

المصدر: Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. 22:557-570