Essert, Mario; Kuzmanović, Ivana; Vazler, Ivan; Žilić, Tihomir Theory of \(M\)-system. (English) Zbl 1492.03010 Log. J. IGPL 25, No. 5, 836-858 (2017). MSC: 03B50 03B80 91F20 94C60 PDFBibTeX XMLCite \textit{M. Essert} et al., Log. J. IGPL 25, No. 5, 836--858 (2017; Zbl 1492.03010) Full Text: DOI
Jobczyk, Krystian; Ligeza, Antoni Dynamic epistemic preferential logic of action. (English) Zbl 1486.68182 Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 16th international conference, ICAISC 2017, Zakopane, Poland, June 11–15, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10246, 243-254 (2017). MSC: 68T27 03B42 03B50 68T42 PDFBibTeX XMLCite \textit{K. Jobczyk} and \textit{A. Ligeza}, Lect. Notes Comput. Sci. 10246, 243--254 (2017; Zbl 1486.68182) Full Text: DOI
Petrukhin, Yaroslav Igorevich Correspondence analysis for logic of rational agent. (English) Zbl 1465.03065 Chelyabinskiĭ Fiz.-Mat. Zh. 2, No. 3, 329-337 (2017). MSC: 03B50 PDFBibTeX XMLCite \textit{Y. I. Petrukhin}, Chelyabinskiĭ Fiz.-Mat. Zh. 2, No. 3, 329--337 (2017; Zbl 1465.03065) Full Text: MNR
Wang, Xiaobing; Liu, Dongmiao; Zhao, Liang; Xue, Yina Runtime verification monitor construction for three-valued PPTL. (English) Zbl 1461.68122 Liu, Shaoying (ed.) et al., Structured object-oriented formal language and method. 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10189, 144-159 (2017). MSC: 68Q60 03B44 03B50 03D05 68Q45 PDFBibTeX XMLCite \textit{X. Wang} et al., Lect. Notes Comput. Sci. 10189, 144--159 (2017; Zbl 1461.68122) Full Text: DOI
Boričić, Marija A note on entropy of logic. (English) Zbl 1474.03080 Yugosl. J. Oper. Res. 27, No. 3, 385-390 (2017). MSC: 03B50 94A17 37A35 PDFBibTeX XMLCite \textit{M. Boričić}, Yugosl. J. Oper. Res. 27, No. 3, 385--390 (2017; Zbl 1474.03080) Full Text: DOI
Aschieri, Federico; Ciabattoni, Agata; Genco, Francesco A. Gödel logic. From natural deduction to parallel computation. (English) Zbl 1452.03065 Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 16, 12 p. (2017). MSC: 03B50 03B20 03B40 PDFBibTeX XMLCite \textit{F. Aschieri} et al., in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 16, 12 p. (2017; Zbl 1452.03065) Full Text: arXiv Link
Keisler, H. Jerome Randomizations of scattered sentences. (English) Zbl 1433.03097 Iovino, José (ed.), Beyond first order model theory. Boca Raton, FL: CRC Press. 189-220 (2017). MSC: 03C95 03C15 03C50 03C66 03B48 03B50 PDFBibTeX XMLCite \textit{H. J. Keisler}, in: Beyond first order model theory. Boca Raton, FL: CRC Press. 189--220 (2017; Zbl 1433.03097)
Caicedo, Xavier Maximality of continuous logic. (English) Zbl 1433.03095 Iovino, José (ed.), Beyond first order model theory. Boca Raton, FL: CRC Press. 105-130 (2017). MSC: 03C90 03B50 03C45 03C50 PDFBibTeX XMLCite \textit{X. Caicedo}, in: Beyond first order model theory. Boca Raton, FL: CRC Press. 105--130 (2017; Zbl 1433.03095)
Pelletier, Francis Jeffry The logic for metaphysical conceptions of vagueness. (English) Zbl 1430.03018 Prosorov, Oleg (ed.), Proceedings of the international conference on philosophy, mathematics, linguistics: aspects of interaction (PhML-2012), Euler International Mathematical Institute St. Petersburg, St. Petersburg, Russia, May 22–25, 2012. London: College Publications. Stud. Log. (Lond.) 70, 157-176 (2017). MSC: 03A05 03B50 03B52 PDFBibTeX XMLCite \textit{F. J. Pelletier}, Stud. Log. (Lond.) 70, 157--176 (2017; Zbl 1430.03018)
Fermüller, Christian G.; Majer, Ondrej Equilibrium semantics for IF logic and many-valued connectives. (English) Zbl 1428.03053 Hansen, Helle Hvid (ed.) et al., Logic, language, and computation. 11th international Tbilisi symposium, TbiLLC 2015, Tbilisi, Georgia, September 21–26, 2015. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 10148, 290-312 (2017). MSC: 03B60 03B50 PDFBibTeX XMLCite \textit{C. G. Fermüller} and \textit{O. Majer}, Lect. Notes Comput. Sci. 10148, 290--312 (2017; Zbl 1428.03053) Full Text: DOI
Codara, Pietro; Valota, Diego On Gödel algebras of concepts. (English) Zbl 1428.03050 Hansen, Helle Hvid (ed.) et al., Logic, language, and computation. 11th international Tbilisi symposium, TbiLLC 2015, Tbilisi, Georgia, September 21–26, 2015. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 10148, 251-262 (2017). MSC: 03B50 68T30 PDFBibTeX XMLCite \textit{P. Codara} and \textit{D. Valota}, Lect. Notes Comput. Sci. 10148, 251--262 (2017; Zbl 1428.03050) Full Text: DOI
Li, Yongming; Droste, Manfred; Lei, Lihui Model checking of linear-time properties in multi-valued systems. (English) Zbl 1428.68188 Inf. Sci. 377, 51-74 (2017). MSC: 68Q60 03B50 68Q45 68Q85 PDFBibTeX XMLCite \textit{Y. Li} et al., Inf. Sci. 377, 51--74 (2017; Zbl 1428.68188) Full Text: DOI arXiv
Shapiro, Lionel LP, K3 and FDE as substructural logics. (English) Zbl 1418.03113 Arazim, Pavel (ed.) et al., The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2016. London: College Publications. 257-272 (2017). MSC: 03B47 03B50 PDFBibTeX XMLCite \textit{L. Shapiro}, in: The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20--24, 2016. London: College Publications. 257--272 (2017; Zbl 1418.03113)
Sedlár, Igor Non-classical PDL on the cheap. (English) Zbl 1418.03143 Arazim, Pavel (ed.) et al., The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2016. London: College Publications. 239-255 (2017). MSC: 03B70 03B50 03B25 68Q60 PDFBibTeX XMLCite \textit{I. Sedlár}, in: The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20--24, 2016. London: College Publications. 239--255 (2017; Zbl 1418.03143)
Kubyshkina, Ekaterina Ignorance without \(K\)(nowledge). (English) Zbl 1418.03053 Arazim, Pavel (ed.) et al., The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2016. London: College Publications. 109-123 (2017). MSC: 03B42 03B45 03B50 PDFBibTeX XMLCite \textit{E. Kubyshkina}, in: The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20--24, 2016. London: College Publications. 109--123 (2017; Zbl 1418.03053)
Li, Shunqin \(\Gamma \)-truth degree being relative to locally finite theory in logic system \({L_n}\). (Chinese. English summary) Zbl 1424.03004 Fuzzy Syst. Math. 31, No. 4, 11-16 (2017). MSC: 03B50 03B52 PDFBibTeX XMLCite \textit{S. Li}, Fuzzy Syst. Math. 31, No. 4, 11--16 (2017; Zbl 1424.03004)
Gao, Xiaoli; Hui, Xiaojing; Zhu, Naidiao The theory of \(k\) randomized truth degree of axiomatic extension of Goguen propositional logic system. (Chinese. English summary) Zbl 1424.03003 Fuzzy Syst. Math. 31, No. 3, 6-15 (2017). MSC: 03B50 03B48 03B52 PDFBibTeX XMLCite \textit{X. Gao} et al., Fuzzy Syst. Math. 31, No. 3, 6--15 (2017; Zbl 1424.03003)
Zhou, Hongjun; Lan, Shumin; Ma, Qin A state of art survey of probabilistically quantitative logic. (Chinese. English summary) Zbl 1424.03002 Fuzzy Syst. Math. 31, No. 1, 1-17 (2017). MSC: 03B48 03B50 03-02 PDFBibTeX XMLCite \textit{H. Zhou} et al., Fuzzy Syst. Math. 31, No. 1, 1--17 (2017; Zbl 1424.03002)
Li, Wei; Sui, Yuefei The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\). (English) Zbl 1404.03022 Front. Comput. Sci. 11, No. 5, 887-894 (2017). MSC: 03B50 PDFBibTeX XMLCite \textit{W. Li} and \textit{Y. Sui}, Front. Comput. Sci. 11, No. 5, 887--894 (2017; Zbl 1404.03022) Full Text: DOI
Baaz, Matthias; Preining, Norbert Gödel logics and the fully boxed fragment of FO-LTL. (English) Zbl 1402.03025 Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 404-416 (2017). MSC: 03B44 03B50 03B70 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{N. Preining}, EPiC Ser. Comput. 46, 404--416 (2017; Zbl 1402.03025) Full Text: DOI
Avron, Arnon; Beziau, Jean-Yves Self-extensional three-valued paraconsistent logics have no implication. (English) Zbl 1405.03063 Log. J. IGPL 25, No. 2, 183-194 (2017). MSC: 03B53 03B50 PDFBibTeX XMLCite \textit{A. Avron} and \textit{J.-Y. Beziau}, Log. J. IGPL 25, No. 2, 183--194 (2017; Zbl 1405.03063) Full Text: DOI
Aguzzoli, Stefano; Bianchi, Matteo Minimally many-valued extensions of the monoidal t-norm based logic MTL. (English) Zbl 1401.03048 Petrosino, Alfredo (ed.) et al., Fuzzy logic and soft computing applications. 11th international workshop, WILF 2016, Naples, Italy, December 19–21, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-52961-5/pbk; 978-3-319-52962-2/ebook). Lecture Notes in Computer Science 10147. Lecture Notes in Artificial Intelligence, 106-115 (2017). MSC: 03B50 03B52 PDFBibTeX XMLCite \textit{S. Aguzzoli} and \textit{M. Bianchi}, Lect. Notes Comput. Sci. 10147, 106--115 (2017; Zbl 1401.03048) Full Text: DOI
Boffa, Stefania; Gerla, Brunella Sequences of orthopairs given by refinements of coverings. (English) Zbl 1401.03089 Petrosino, Alfredo (ed.) et al., Fuzzy logic and soft computing applications. 11th international workshop, WILF 2016, Naples, Italy, December 19–21, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-52961-5/pbk; 978-3-319-52962-2/ebook). Lecture Notes in Computer Science 10147. Lecture Notes in Artificial Intelligence, 95-105 (2017). MSC: 03E72 03G25 PDFBibTeX XMLCite \textit{S. Boffa} and \textit{B. Gerla}, Lect. Notes Comput. Sci. 10147, 95--105 (2017; Zbl 1401.03089) Full Text: DOI
Dubois, François; Toffano, Zeno Eigenlogic: a quantum view for multiple-valued and fuzzy systems. (English) Zbl 1401.03103 de Barros, Jose Acacio (ed.) et al., Quantum interaction. 10th international conference, QI 2016, San Francisco, CA, USA, July 20–22, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-52288-3/pbk; 978-3-319-52289-0/ebook). Lecture Notes in Computer Science 10106, 239-251 (2017). MSC: 03G12 03B50 03B52 81P10 PDFBibTeX XMLCite \textit{F. Dubois} and \textit{Z. Toffano}, Lect. Notes Comput. Sci. 10106, 239--251 (2017; Zbl 1401.03103) Full Text: DOI arXiv
Shyshats’ka, O. V. The five-valued logics: construction and interpretation. (Ukrainian. English summary) Zbl 1413.03004 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2017, No. 4, 147-151 (2017). MSC: 03B50 PDFBibTeX XMLCite \textit{O. V. Shyshats'ka}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2017, No. 4, 147--151 (2017; Zbl 1413.03004)
Gerasimov, A. S. Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form. (Russian, English) Zbl 1413.03003 Mat. Tr. 20, No. 2, 3-34 (2017); translation in Sib. Adv. Math. 28, No. 2, 79-100 (2018). MSC: 03B50 03B52 PDFBibTeX XMLCite \textit{A. S. Gerasimov}, Mat. Tr. 20, No. 2, 3--34 (2017; Zbl 1413.03003); translation in Sib. Adv. Math. 28, No. 2, 79--100 (2018) Full Text: DOI
Augusto, Luis M. Logical consequences. Theory and applications: an introduction. (English) Zbl 06946272 Studies in Logic (London) 66. Mathematical Logic and Foundations.. London: College Publications (ISBN 978-1-84890-236-7/pbk). xi, 213 p. (2017). MSC: 03-01 03B22 03B47 03B50 03B53 PDFBibTeX XMLCite \textit{L. M. Augusto}, Logical consequences. Theory and applications: an introduction. London: College Publications (2017; Zbl 06946272)
Restall, Greg First degree entailment, symmetry and paradox. (English) Zbl 1419.03026 Log. Log. Philos. 26, No. 1, 3-18 (2017). MSC: 03B53 03B47 03B50 03A05 PDFBibTeX XMLCite \textit{G. Restall}, Log. Log. Philos. 26, No. 1, 3--18 (2017; Zbl 1419.03026) Full Text: DOI
Karpenko, Alexander; Tomova, Natalya Bochvar’s three-valued logic and literal paralogics: their lattice and functional equivalence. (English) Zbl 1477.03074 Log. Log. Philos. 26, No. 2, 207-235 (2017). MSC: 03B50 03B53 PDFBibTeX XMLCite \textit{A. Karpenko} and \textit{N. Tomova}, Log. Log. Philos. 26, No. 2, 207--235 (2017; Zbl 1477.03074) Full Text: DOI
Petrukhin, Yaroslav Natural deduction for three-valued regular logics. (English) Zbl 1417.03181 Log. Log. Philos. 26, No. 2, 197-206 (2017). MSC: 03B50 PDFBibTeX XMLCite \textit{Y. Petrukhin}, Log. Log. Philos. 26, No. 2, 197--206 (2017; Zbl 1417.03181) Full Text: DOI
Salomaa, Arto Depth of closed classes of truth functions in many-valued logic. (English) Zbl 1436.03155 Konstantinidis, Stavros (ed.) et al., The role of theory in computer science. Essays dedicated to Janusz Brzozowski. Hackensack, NJ: World Scientific. 203-216 (2017). Reviewer: Albert Hoogewijs (Gent) MSC: 03B50 PDFBibTeX XMLCite \textit{A. Salomaa}, in: The role of theory in computer science. Essays dedicated to Janusz Brzozowski. Hackensack, NJ: World Scientific. 203--216 (2017; Zbl 1436.03155) Full Text: DOI
Carnielli, Walter; Lima-Marques, Mamede Society semantics and the logic way to collective intelligence. (English) Zbl 1398.03052 J. Appl. Non-Class. Log. 27, No. 3-4, 255-268 (2017). MSC: 03A10 03B50 03B53 03B60 68T30 PDFBibTeX XMLCite \textit{W. Carnielli} and \textit{M. Lima-Marques}, J. Appl. Non-Class. Log. 27, No. 3--4, 255--268 (2017; Zbl 1398.03052) Full Text: DOI
Radzki, Mateusz M. On the Rosser-Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz. (English) Zbl 1398.03111 J. Appl. Non-Class. Log. 27, No. 1-2, 27-32 (2017). MSC: 03B50 PDFBibTeX XMLCite \textit{M. M. Radzki}, J. Appl. Non-Class. Log. 27, No. 1--2, 27--32 (2017; Zbl 1398.03111) Full Text: DOI
Augusto, Luis M. Many-valued logics. A mathematical and computational introduction. (English) Zbl 1435.03002 Studies in Logic (London) 67. London: College Publications (ISBN 978-1-84890-250-3/pbk). xiii, 325 p. (2017). Reviewer: Albert Hoogewijs (Gent) MSC: 03-02 03B50 03B70 PDFBibTeX XMLCite \textit{L. M. Augusto}, Many-valued logics. A mathematical and computational introduction. London: College Publications (2017; Zbl 1435.03002)
Gispert, Joan Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic. (English) Zbl 1392.03034 Fuzzy Sets Syst. 317, 61-67 (2017). MSC: 03B50 06D35 06B20 PDFBibTeX XMLCite \textit{J. Gispert}, Fuzzy Sets Syst. 317, 61--67 (2017; Zbl 1392.03034) Full Text: DOI
Zhou, Hongjun; Ma, Qin; Lan, Shumin Characterizations of homomorphic nuclei on NMG-algebras. (Chinese. English summary) Zbl 1399.03034 J. Softw. 28, No. 10, 2539-2547 (2017). MSC: 03G25 03B50 PDFBibTeX XMLCite \textit{H. Zhou} et al., J. Softw. 28, No. 10, 2539--2547 (2017; Zbl 1399.03034) Full Text: DOI
Ciuciura, Janusz Deontic paradoxes and tableau system for Kalinowski’s deontic logic \(K1\). (English) Zbl 1423.03057 Bull. Sect. Log., Univ. Łódź, Dep. Log. 46, No. 3-4, 283-291 (2017). MSC: 03B45 03B50 PDFBibTeX XMLCite \textit{J. Ciuciura}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 46, No. 3--4, 283--291 (2017; Zbl 1423.03057) Full Text: DOI
Blasio, Carolina; Marcos, João; Wansing, Heinrich An inferentially many-valued two-dimensional notion of entailment. (English) Zbl 1423.03068 Bull. Sect. Log., Univ. Łódź, Dep. Log. 46, No. 3-4, 233-262 (2017). MSC: 03B50 03B22 PDFBibTeX XMLCite \textit{C. Blasio} et al., Bull. Sect. Log., Univ. Łódź, Dep. Log. 46, No. 3--4, 233--262 (2017; Zbl 1423.03068) Full Text: DOI
Shalack, Vladimir Ivanovich Some remarks on A. Tamminga’s paper “Correspondence analysis for strong three-valued logic”. (English) Zbl 1388.03027 Log. Issled. 23, No. 2, 96-97 (2017). MSC: 03B50 PDFBibTeX XMLCite \textit{V. I. Shalack}, Log. Issled. 23, No. 2, 96--97 (2017; Zbl 1388.03027) Full Text: DOI
Smetanin, Yu. M. Verification of the logical sequence in nonclassical multivalued logic. (Russian. English summary) Zbl 1388.03028 Izv. Inst. Mat. Inform., Udmurt. Gos. Univ. 50, 62-82 (2017). MSC: 03B50 03G25 03B70 06A15 PDFBibTeX XMLCite \textit{Yu. M. Smetanin}, Izv. Inst. Mat. Inform., Udmurt. Gos. Univ. 50, 62--82 (2017; Zbl 1388.03028) Full Text: DOI
Gao, Xiaoli; Hui, Xiaojing; Zhu, Naidiao Theory and property of \(\Gamma - k\) truth degree on axiomatic extension of Goguen propositional logic system. (Chinese. English summary) Zbl 1399.03004 J. Softw. 28, No. 7, 1629-1639 (2017). MSC: 03B50 PDFBibTeX XMLCite \textit{X. Gao} et al., J. Softw. 28, No. 7, 1629--1639 (2017; Zbl 1399.03004) Full Text: DOI
Øgaard, Tore Fjetland Skolem functions in non-classical logics. (English) Zbl 1422.03056 Australas. J. Log. 14, No. 1, Spec. Iss., 181-225 (2017). MSC: 03B60 03B47 03B50 03B53 PDFBibTeX XMLCite \textit{T. F. Øgaard}, Australas. J. Log. 14, No. 1, 181--225 (2017; Zbl 1422.03056) Full Text: Link
Standefer, Shawn Non-classical circular definitions. (English) Zbl 1422.03012 Australas. J. Log. 14, No. 1, Spec. Iss., 147-180 (2017). MSC: 03A05 03B50 03B47 PDFBibTeX XMLCite \textit{S. Standefer}, Australas. J. Log. 14, No. 1, 147--180 (2017; Zbl 1422.03012) Full Text: Link
Kochergin, Vadim V.; Mikhaĭlovich, Anna V. The minimum number of negations in circuits for systems of multi-valued functions. (English. Russian original) Zbl 1441.94117 Discrete Math. Appl. 27, No. 5, 295-302 (2017); translation from Diskretn. Mat. 28, No. 4, 80-90 (2016). MSC: 94C11 03B50 PDFBibTeX XMLCite \textit{V. V. Kochergin} and \textit{A. V. Mikhaĭlovich}, Discrete Math. Appl. 27, No. 5, 295--302 (2017; Zbl 1441.94117); translation from Diskretn. Mat. 28, No. 4, 80--90 (2016) Full Text: DOI
Zinchenko, Anna Sergeevna; Panteleev, Vladimir Innokent’evich On classes of hyperfunctions of rank 2 generated by maximal multiclones. (Russian. English summary) Zbl 1382.08002 Izv. Irkutsk. Gos. Univ., Ser. Mat. 21, 61-76 (2017). MSC: 08A40 03B50 PDFBibTeX XMLCite \textit{A. S. Zinchenko} and \textit{V. I. Panteleev}, Izv. Irkutsk. Gos. Univ., Ser. Mat. 21, 61--76 (2017; Zbl 1382.08002) Full Text: Link
Sudbery, Anthony The logic of the future in quantum theory. (English) Zbl 1385.81009 Synthese 194, No. 11, 4429-4453 (2017). MSC: 81P05 81P10 03B44 03B50 PDFBibTeX XMLCite \textit{A. Sudbery}, Synthese 194, No. 11, 4429--4453 (2017; Zbl 1385.81009) Full Text: DOI arXiv
Smith, Nicholas J. J. Undead argument: the truth-functionality objection to fuzzy theories of vagueness. (English) Zbl 1426.03021 Synthese 194, No. 10, 3761-3787 (2017). Reviewer: Antonín Dvořák (Ostrava) MSC: 03B52 03A05 03B65 03B50 PDFBibTeX XMLCite \textit{N. J. J. Smith}, Synthese 194, No. 10, 3761--3787 (2017; Zbl 1426.03021) Full Text: DOI
Czelakowski, Janusz Infinite valued Łukasiewicz logic. (English) Zbl 1486.03123 Bull. Sect. Log., Univ. Łódź, Dep. Log. 46, No. 1-2, 47-64 (2017). MSC: 03G20 06D30 60A05 03B50 PDFBibTeX XMLCite \textit{J. Czelakowski}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 46, No. 1--2, 47--64 (2017; Zbl 1486.03123) Full Text: DOI
Karpenko, Alexander S. Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions. (English) Zbl 1423.03070 Bull. Sect. Log., Univ. Łódź, Dep. Log. 46, No. 1-2, 33-45 (2017). MSC: 03B50 03G25 PDFBibTeX XMLCite \textit{A. S. Karpenko}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 46, No. 1--2, 33--45 (2017; Zbl 1423.03070) Full Text: DOI
Milne, Peter A refinement of the Craig-Lyndon interpolation theorem for classical first-order logic with identity. (English) Zbl 1417.03180 Log. Anal., Nouv. Sér. 60, No. 240, 389-420 (2017). MSC: 03B50 03B53 03B10 03C40 PDFBibTeX XMLCite \textit{P. Milne}, Log. Anal., Nouv. Sér. 60, No. 240, 389--420 (2017; Zbl 1417.03180) Full Text: DOI
Li, Zhiqiang; Chen, Sai; Song, Xiaoyu; Perkowski, Marek; Chen, Hanwu; Zhu, Wei Quantum circuit synthesis using a new quantum logic gate library of NCV quantum gates. (English) Zbl 1390.81117 Int. J. Theor. Phys. 56, No. 4, 1023-1038 (2017). MSC: 81P68 94C05 03B50 PDFBibTeX XMLCite \textit{Z. Li} et al., Int. J. Theor. Phys. 56, No. 4, 1023--1038 (2017; Zbl 1390.81117) Full Text: DOI
Horváth, Eszter K.; Šešelja, Branimir; Tepavčević, Andreja Cut approach to invariance groups of lattice-valued functions. (English) Zbl 1420.06022 Soft Comput. 21, No. 4, 853-859 (2017). MSC: 06E30 06E75 03B50 PDFBibTeX XMLCite \textit{E. K. Horváth} et al., Soft Comput. 21, No. 4, 853--859 (2017; Zbl 1420.06022) Full Text: DOI
Beckmann, Arnold; Preining, Norbert Deciding logics of linear Kripke frames with scattered end pieces. (English) Zbl 1400.03053 Soft Comput. 21, No. 1, 191-197 (2017). Reviewer: Albert Hoogewijs (Gent) MSC: 03B50 03B52 PDFBibTeX XMLCite \textit{A. Beckmann} and \textit{N. Preining}, Soft Comput. 21, No. 1, 191--197 (2017; Zbl 1400.03053) Full Text: DOI Link
Metcalfe, George; Tsinakis, Constantine Density revisited. (English) Zbl 1396.03060 Soft Comput. 21, No. 1, 175-189 (2017). MSC: 03B52 03B50 03F05 PDFBibTeX XMLCite \textit{G. Metcalfe} and \textit{C. Tsinakis}, Soft Comput. 21, No. 1, 175--189 (2017; Zbl 1396.03060) Full Text: DOI
Flaminio, Tommaso; Godo, Lluís Layers of zero probability and stable coherence over Łukasiewicz events. (English) Zbl 1396.03043 Soft Comput. 21, No. 1, 113-123 (2017). MSC: 03B50 03B48 06D35 60A05 PDFBibTeX XMLCite \textit{T. Flaminio} and \textit{L. Godo}, Soft Comput. 21, No. 1, 113--123 (2017; Zbl 1396.03043) Full Text: DOI Link
Spada, Luca An expansion of basic logic with fixed points. (English) Zbl 1396.03050 Soft Comput. 21, No. 1, 29-37 (2017). MSC: 03B50 03G25 06D35 PDFBibTeX XMLCite \textit{L. Spada}, Soft Comput. 21, No. 1, 29--37 (2017; Zbl 1396.03050) Full Text: DOI
Proceedings of the 47th IEEE international symposium on multiple-valued logic, ISMVL 2017, Novi Sad, Serbia, May 22–24, 2017. (English) Zbl 1380.94001 Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-5090-5495-4/print; 978-1-5090-5496-1/ebook). xv, 292 p. (2017). MSC: 94-06 03-06 03B50 94C10 00B25 PDFBibTeX XMLCite Proceedings of the 47th IEEE international symposium on multiple-valued logic, ISMVL 2017, Novi Sad, Serbia, May 22--24, 2017. Los Alamitos, CA: IEEE Computer Society (2017; Zbl 1380.94001) Full Text: Link
Chemla, Emmanuel; Égré, Paul; Spector, Benjamin Characterizing logical consequence in many-valued logic. (English) Zbl 1386.03021 J. Log. Comput. 27, No. 7, 2193-2226 (2017). Reviewer: Matteo Bianchi (Milano) MSC: 03B50 PDFBibTeX XMLCite \textit{E. Chemla} et al., J. Log. Comput. 27, No. 7, 2193--2226 (2017; Zbl 1386.03021) Full Text: DOI
Kamide, Norihiro; Shramko, Yaroslav Embedding from multilattice logic into classical logic and vice versa. (English) Zbl 1444.03090 J. Log. Comput. 27, No. 5, 1549-1575 (2017). MSC: 03B50 03F05 03F03 03G10 PDFBibTeX XMLCite \textit{N. Kamide} and \textit{Y. Shramko}, J. Log. Comput. 27, No. 5, 1549--1575 (2017; Zbl 1444.03090) Full Text: DOI
Běhounek, Libor A minimalistic many-valued theory of types. (English) Zbl 1396.03014 J. Log. Comput. 27, No. 5, 1307-1332 (2017). MSC: 03B40 03B15 03B50 PDFBibTeX XMLCite \textit{L. Běhounek}, J. Log. Comput. 27, No. 5, 1307--1332 (2017; Zbl 1396.03014) Full Text: DOI
Bagheri, Seyed-Mohammad; Safari, Roghieh Completeness for linear continuous logic. (English) Zbl 1444.03133 J. Log. Comput. 27, No. 4, 985-998 (2017). MSC: 03C90 03B50 03F03 PDFBibTeX XMLCite \textit{S.-M. Bagheri} and \textit{R. Safari}, J. Log. Comput. 27, No. 4, 985--998 (2017; Zbl 1444.03133) Full Text: DOI
Petrukhin, Yaroslav; Shangin, Vasily Automated correspondence analysis for the binary extensions of the logic of paradox. (English) Zbl 1387.03009 Rev. Symb. Log. 10, No. 4, 756-781 (2017). Reviewer: Manfred Kerber (Birmingham) MSC: 03B35 03B50 03B53 68T15 PDFBibTeX XMLCite \textit{Y. Petrukhin} and \textit{V. Shangin}, Rev. Symb. Log. 10, No. 4, 756--781 (2017; Zbl 1387.03009) Full Text: DOI
Petrukhin, Yaroslav I. Natural deduction for Fitting’s four-valued generalizations of Kleene’s logics. (English) Zbl 1385.03032 Log. Univers. 11, No. 4, 525-532 (2017). Reviewer: Matteo Bianchi (Milano) MSC: 03B50 03B22 03F03 PDFBibTeX XMLCite \textit{Y. I. Petrukhin}, Log. Univers. 11, No. 4, 525--532 (2017; Zbl 1385.03032) Full Text: DOI
Hernández-Tello, Alejandro; Arrazola Ramírez, José; Osorio Galindo, Mauricio The pursuit of an implication for the logics L3A and L3B. (English) Zbl 1420.03043 Log. Univers. 11, No. 4, 507-524 (2017). MSC: 03B53 03B50 PDFBibTeX XMLCite \textit{A. Hernández-Tello} et al., Log. Univers. 11, No. 4, 507--524 (2017; Zbl 1420.03043) Full Text: DOI
González, Luciano J.; Lattanzi, M. B.; Petrovich, A. G. An alternative definition of quantifiers on four-valued Łukasiewicz algebras. (English) Zbl 1414.03014 Log. Univers. 11, No. 4, 439-463 (2017). Reviewer: Matteo Bianchi (Milano) MSC: 03G20 03B50 06D30 06D35 PDFBibTeX XMLCite \textit{L. J. González} et al., Log. Univers. 11, No. 4, 439--463 (2017; Zbl 1414.03014) Full Text: DOI
Baaz, Matthias; Lolic, Anela First-order interpolation of non-classical logics derived from propositional interpolation. (English) Zbl 1496.03097 Dixon, Clare (ed.) et al., Frontiers of combining systems. 11th international symposium, FroCoS 2017, Brasília, Brazil, September 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10483, 265-280 (2017). MSC: 03B50 03F03 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{A. Lolic}, Lect. Notes Comput. Sci. 10483, 265--280 (2017; Zbl 1496.03097) Full Text: DOI
Zhou, Li; Zhang, Jialu Łukasiewicz semantic MV-topology for MV-algebra and its application to Łukasiewicz propositional logic. (English) Zbl 1376.06015 J. Intell. Fuzzy Syst. 33, No. 1, 377-387 (2017). MSC: 06D35 06B30 03B50 PDFBibTeX XMLCite \textit{L. Zhou} and \textit{J. Zhang}, J. Intell. Fuzzy Syst. 33, No. 1, 377--387 (2017; Zbl 1376.06015) Full Text: DOI
Greco, Giuseppe; Palmigiano, Alessandra Lattice logic properly displayed. (English) Zbl 1496.03103 Kennedy, Juliette (ed.) et al., Logic, language, information, and computation. 24th international workshop, WoLLIC 2017, London, UK, July 18–21, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10388, 153-169 (2017). MSC: 03B50 03B47 03B52 03F05 PDFBibTeX XMLCite \textit{G. Greco} and \textit{A. Palmigiano}, Lect. Notes Comput. Sci. 10388, 153--169 (2017; Zbl 1496.03103) Full Text: DOI arXiv
Wintein, Stefan; Muskens, Reinhard Interpolation methods for Dunn logics and their extensions. (English) Zbl 1417.03184 Stud. Log. 105, No. 6, 1319-1347 (2017). MSC: 03B50 03B53 PDFBibTeX XMLCite \textit{S. Wintein} and \textit{R. Muskens}, Stud. Log. 105, No. 6, 1319--1347 (2017; Zbl 1417.03184) Full Text: DOI
Shramko, Yaroslav; Zaitsev, Dmitry; Belikov, Alexander First-degree entailment and its relatives. (English) Zbl 1417.03182 Stud. Log. 105, No. 6, 1291-1317 (2017). MSC: 03B50 03B47 03B53 PDFBibTeX XMLCite \textit{Y. Shramko} et al., Stud. Log. 105, No. 6, 1291--1317 (2017; Zbl 1417.03182) Full Text: DOI
Přenosil, Adam Cut elimination, identity elimination, and interpolation in super-Belnap logics. (English) Zbl 1417.03287 Stud. Log. 105, No. 6, 1255-1289 (2017). MSC: 03F05 03B50 03B53 PDFBibTeX XMLCite \textit{A. Přenosil}, Stud. Log. 105, No. 6, 1255--1289 (2017; Zbl 1417.03287) Full Text: DOI arXiv
Odintsov, Sergei P.; Wansing, Heinrich Disentangling FDE-based paraconsistent modal logics. (English) Zbl 1417.03160 Stud. Log. 105, No. 6, 1221-1254 (2017). MSC: 03B45 03B53 03B50 PDFBibTeX XMLCite \textit{S. P. Odintsov} and \textit{H. Wansing}, Stud. Log. 105, No. 6, 1221--1254 (2017; Zbl 1417.03160) Full Text: DOI
Kamide, Norihiro; Shramko, Yaroslav; Wansing, Heinrich Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant. (English) Zbl 1417.03179 Stud. Log. 105, No. 6, 1193-1219 (2017). MSC: 03B50 03B20 03B47 PDFBibTeX XMLCite \textit{N. Kamide} et al., Stud. Log. 105, No. 6, 1193--1219 (2017; Zbl 1417.03179) Full Text: DOI
Kamide, Norihiro Paraconsistent double negations as classical and intuitionistic negations. (English) Zbl 1417.03193 Stud. Log. 105, No. 6, 1167-1191 (2017). MSC: 03B53 03B20 03B50 03F05 PDFBibTeX XMLCite \textit{N. Kamide}, Stud. Log. 105, No. 6, 1167--1191 (2017; Zbl 1417.03193) Full Text: DOI
Fitting, Melvin Paraconsistent logic, evidence, and justification. (English) Zbl 1417.03192 Stud. Log. 105, No. 6, 1149-1166 (2017). MSC: 03B53 03B42 03B50 PDFBibTeX XMLCite \textit{M. Fitting}, Stud. Log. 105, No. 6, 1149--1166 (2017; Zbl 1417.03192) Full Text: DOI
Ferguson, Thomas M. Rivals to Belnap-Dunn logic on interlaced trilattices. (English) Zbl 1417.03177 Stud. Log. 105, No. 6, 1123-1148 (2017). MSC: 03B50 03G10 03G25 PDFBibTeX XMLCite \textit{T. M. Ferguson}, Stud. Log. 105, No. 6, 1123--1148 (2017; Zbl 1417.03177) Full Text: DOI
Arieli, Ofer; Avron, Arnon Four-valued paradefinite logics. (English) Zbl 1417.03190 Stud. Log. 105, No. 6, 1087-1122 (2017). MSC: 03B53 03B50 03B47 PDFBibTeX XMLCite \textit{O. Arieli} and \textit{A. Avron}, Stud. Log. 105, No. 6, 1087--1122 (2017; Zbl 1417.03190) Full Text: DOI
Albuquerque, Hugo; Přenosil, Adam; Rivieccio, Umberto An algebraic view of super-Belnap logics. (English) Zbl 1417.03175 Stud. Log. 105, No. 6, 1051-1086 (2017). MSC: 03B50 03B53 03G27 03B47 PDFBibTeX XMLCite \textit{H. Albuquerque} et al., Stud. Log. 105, No. 6, 1051--1086 (2017; Zbl 1417.03175) Full Text: DOI
Omori, Hitoshi; Wansing, Heinrich 40 years of FDE: an introductory overview. (English) Zbl 1417.03027 Stud. Log. 105, No. 6, 1021-1049 (2017). MSC: 03-03 03-06 03B50 03B47 03B53 00B15 PDFBibTeX XMLCite \textit{H. Omori} and \textit{H. Wansing}, Stud. Log. 105, No. 6, 1021--1049 (2017; Zbl 1417.03027) Full Text: DOI
Ferguson, Thomas Macaulay Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry. (English) Zbl 1441.03002 Trends in Logic – Studia Logica Library 49. Cham: Springer (ISBN 978-3-319-70820-1/hbk; 978-3-319-70821-8/ebook). xiii, 198 p. (2017). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03-02 03B47 03B50 03B53 03B55 03B60 03A05 PDFBibTeX XMLCite \textit{T. M. Ferguson}, Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry. Cham: Springer (2017; Zbl 1441.03002) Full Text: DOI
Skurt, Daniel A note on two’s company: “The humbug of many logical values”. (English) Zbl 1386.03023 Log. Univers. 11, No. 3, 401-407 (2017). Reviewer: Matteo Bianchi (Milano) MSC: 03B50 PDFBibTeX XMLCite \textit{D. Skurt}, Log. Univers. 11, No. 3, 401--407 (2017; Zbl 1386.03023) Full Text: DOI
Kamide, Norihiro; Shramko, Yaroslav Modal multilattice logic. (English) Zbl 1404.03018 Log. Univers. 11, No. 3, 317-343 (2017). MSC: 03B45 03B50 03B53 PDFBibTeX XMLCite \textit{N. Kamide} and \textit{Y. Shramko}, Log. Univers. 11, No. 3, 317--343 (2017; Zbl 1404.03018) Full Text: DOI
Avron, Arnon Self-extensional three-valued paraconsistent logics. (English) Zbl 1420.03042 Log. Univers. 11, No. 3, 297-315 (2017). MSC: 03B53 03B50 03F05 PDFBibTeX XMLCite \textit{A. Avron}, Log. Univers. 11, No. 3, 297--315 (2017; Zbl 1420.03042) Full Text: DOI
Caleiro, Carlos; Viganò, Luca Compositional meaning in logic. (English) Zbl 1420.03006 Log. Univers. 11, No. 3, 283-295 (2017). MSC: 03-06 00B15 03B22 03B45 03B47 03B50 03B53 03F05 03G27 PDFBibTeX XMLCite \textit{C. Caleiro} and \textit{L. Viganò}, Log. Univers. 11, No. 3, 283--295 (2017; Zbl 1420.03006) Full Text: DOI Link
Omori, Hitoshi; Szmuc, Damian Conjunction and disjunction in infectious logics. (English) Zbl 1495.03047 Baltag, Alexandru (ed.) et al., Logic, rationality, and interaction. 6th international workshop, LORI 2017, Sapporo, Japan, September 11–14, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10455, 268-283 (2017). MSC: 03B60 03B50 PDFBibTeX XMLCite \textit{H. Omori} and \textit{D. Szmuc}, Lect. Notes Comput. Sci. 10455, 268--283 (2017; Zbl 1495.03047) Full Text: DOI Link
Kamide, Norihiro; Omori, Hitoshi An extended first-order Belnap-Dunn logic with classical negation. (English) Zbl 1496.03104 Baltag, Alexandru (ed.) et al., Logic, rationality, and interaction. 6th international workshop, LORI 2017, Sapporo, Japan, September 11–14, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10455, 79-93 (2017). MSC: 03B50 03B47 03B53 03F05 PDFBibTeX XMLCite \textit{N. Kamide} and \textit{H. Omori}, Lect. Notes Comput. Sci. 10455, 79--93 (2017; Zbl 1496.03104) Full Text: DOI
Liu, Fangfang; You, Jia-Huai Three-valued semantics for hybrid MKNF knowledge bases revisited. (English) Zbl 1420.68204 Artif. Intell. 252, 123-138 (2017). MSC: 68T30 03B50 68T27 68T35 PDFBibTeX XMLCite \textit{F. Liu} and \textit{J.-H. You}, Artif. Intell. 252, 123--138 (2017; Zbl 1420.68204) Full Text: DOI
Albuquerque, Hugo; Font, Josep Maria; Jansana, Ramon The strong version of a sentential logic. (English) Zbl 1417.03303 Stud. Log. 105, No. 4, 703-760 (2017). MSC: 03G27 03B47 03B45 03B50 PDFBibTeX XMLCite \textit{H. Albuquerque} et al., Stud. Log. 105, No. 4, 703--760 (2017; Zbl 1417.03303) Full Text: DOI
Mio, Matteo; Simpson, Alex Łukasiewicz \(\mu\)-calculus. (English) Zbl 1380.68281 Fundam. Inform. 150, No. 3-4, 317-346 (2017). MSC: 68Q60 03B44 03B50 68Q85 PDFBibTeX XMLCite \textit{M. Mio} and \textit{A. Simpson}, Fundam. Inform. 150, No. 3--4, 317--346 (2017; Zbl 1380.68281) Full Text: DOI arXiv
Makarov, A. V.; Makarov, V. V. Countability of the set of closed overclasses of some minimal classes in the partly ordered set \(\mathcal{L}_{2}^{3}\) of all closed classes of three-valued logic that can be mapped homomorphically onto two-valued logic. (English. Russian original) Zbl 1423.03071 Mosc. Univ. Math. Bull. 72, No. 1, 35-36 (2017); translation from Vestn. Mosk. Univ., Ser. I 72, No. 1, 62-64 (2017). MSC: 03B50 PDFBibTeX XMLCite \textit{A. V. Makarov} and \textit{V. V. Makarov}, Mosc. Univ. Math. Bull. 72, No. 1, 35--36 (2017; Zbl 1423.03071); translation from Vestn. Mosk. Univ., Ser. I 72, No. 1, 62--64 (2017) Full Text: DOI
Taimanov, Vladimir A. On bases of closed classes of vector functions of many-valued logic. (English. Russian original) Zbl 1396.03051 Discrete Math. Appl. 27, No. 2, 117-121 (2017); translation from Diskretn. Mat. 28, No. 2, 127-132 (2016). MSC: 03B50 PDFBibTeX XMLCite \textit{V. A. Taimanov}, Discrete Math. Appl. 27, No. 2, 117--121 (2017; Zbl 1396.03051); translation from Diskretn. Mat. 28, No. 2, 127--132 (2016) Full Text: DOI
Marchenkov, Sergey S. On FE-precomplete classes in countable-valued logic. (English. Russian original) Zbl 1376.39009 Discrete Math. Appl. 27, No. 2, 103-107 (2017); translation from Diskretn. Mat. 28, No. 2, 51-57 (2016). MSC: 39B72 03B50 PDFBibTeX XMLCite \textit{S. S. Marchenkov}, Discrete Math. Appl. 27, No. 2, 103--107 (2017; Zbl 1376.39009); translation from Diskretn. Mat. 28, No. 2, 51--57 (2016) Full Text: DOI
Selezneva, Svetlana N. On the number of functions of \(k\)-valued logic which are polynomials modulo composite \(k\). (English. Russian original) Zbl 1395.05015 Discrete Math. Appl. 27, No. 1, 7-14 (2017); translation from Diskretn. Mat. 28, No. 2, 81-91 (2016). MSC: 05A15 03B50 11T06 PDFBibTeX XMLCite \textit{S. N. Selezneva}, Discrete Math. Appl. 27, No. 1, 7--14 (2017; Zbl 1395.05015); translation from Diskretn. Mat. 28, No. 2, 81--91 (2016) Full Text: DOI
Akiba, Ken A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach. (English) Zbl 1417.03185 J. Philos. Log. 46, No. 4, 419-441 (2017). MSC: 03B52 03B50 PDFBibTeX XMLCite \textit{K. Akiba}, J. Philos. Log. 46, No. 4, 419--441 (2017; Zbl 1417.03185) Full Text: DOI
Devyatkin, Leonid Yuryevich Non-classical modifications of many-valued matrices of the classical propositional logic. II. (Russian. English summary) Zbl 1417.03176 Log. Issled. 23, No. 1, 11-47 (2017). MSC: 03B50 03B53 03B22 PDFBibTeX XMLCite \textit{L. Y. Devyatkin}, Log. Issled. 23, No. 1, 11--47 (2017; Zbl 1417.03176) Full Text: DOI
Thimm, Matthias Measuring inconsistency with many-valued logics. (English) Zbl 1419.68134 Int. J. Approx. Reasoning 86, 1-23 (2017). MSC: 68T27 03B50 03B52 68T30 PDFBibTeX XMLCite \textit{M. Thimm}, Int. J. Approx. Reasoning 86, 1--23 (2017; Zbl 1419.68134) Full Text: DOI
Baratella, Stefano A predicate extension of real valued logic. (English) Zbl 1381.03023 Arch. Math. Logic 56, No. 5-6, 585-605 (2017). Reviewer: Matteo Bianchi (Milano) MSC: 03B50 PDFBibTeX XMLCite \textit{S. Baratella}, Arch. Math. Logic 56, No. 5--6, 585--605 (2017; Zbl 1381.03023) Full Text: DOI Link
Lanzet, Ran A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL. (English) Zbl 1421.03013 Rev. Symb. Log. 10, No. 3, 549-582 (2017). MSC: 03B65 03B50 03B10 PDFBibTeX XMLCite \textit{R. Lanzet}, Rev. Symb. Log. 10, No. 3, 549--582 (2017; Zbl 1421.03013) Full Text: DOI
Petrukhin, Ya. I. Natural deduction system for three-valued Heyting’s logic. (English. Russian original) Zbl 1396.03048 Mosc. Univ. Math. Bull. 72, No. 3, 133-136 (2017); translation from Vestn. Mosk. Univ., Ser. I 72, No. 3, 63-66 (2017). MSC: 03B50 03B22 PDFBibTeX XMLCite \textit{Ya. I. Petrukhin}, Mosc. Univ. Math. Bull. 72, No. 3, 133--136 (2017; Zbl 1396.03048); translation from Vestn. Mosk. Univ., Ser. I 72, No. 3, 63--66 (2017) Full Text: DOI
Ciucci, Davide; Dubois, Didier A two-tiered propositional framework for handling multisource inconsistent information. (English) Zbl 1491.68199 Antonucci, Alessandro (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10369, 398-408 (2017). MSC: 68T27 03B42 03B50 68T30 68T37 PDFBibTeX XMLCite \textit{D. Ciucci} and \textit{D. Dubois}, Lect. Notes Comput. Sci. 10369, 398--408 (2017; Zbl 1491.68199) Full Text: DOI Link