Górnicka, Anetta; Bryll, Arkadiusz Some dual logic without tautologies. (English) Zbl 1513.03054 Sci. Issues, Jan Długosz Univ. Częst., Math. 20, 39-47 (2015). MSC: 03B50 PDFBibTeX XMLCite \textit{A. Górnicka} and \textit{A. Bryll}, Sci. Issues, Jan Długosz Univ. Częst., Math. 20, 39--47 (2015; Zbl 1513.03054) Full Text: DOI
Haeusler, Edward Hermann Propositional logics complexity and the sub-formula property. (English) Zbl 1486.03015 Dal Lago, Ugo (ed.) et al., Proceedings of the tenth international workshop on developments of computational models, DCM 2014, Vienna, Austria, July 13, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 179, 1-16 (2015). MSC: 03B05 03B42 03B45 03B50 68Q17 PDFBibTeX XMLCite \textit{E. H. Haeusler}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 179, 1--16 (2015; Zbl 1486.03015) Full Text: arXiv Link
Bakhshi, M. \(\mathsf{H}_v\mathsf{MV}\)-algebras II. (English) Zbl 1488.06023 J. Algebr. Syst. 3, No. 1, 49-64 (2015). MSC: 06D35 03B50 PDFBibTeX XMLCite \textit{M. Bakhshi}, J. Algebr. Syst. 3, No. 1, 49--64 (2015; Zbl 1488.06023) Full Text: DOI
Weingartner, Paul A 6-valued calculus which avoids the paradoxes of deontic logic. (English) Zbl 1435.03048 Béziau, Jean-Yves (ed.) et al., Conceptual clarifications. Tributes to Patrick Suppes (1922–2014). London: College Publications. Tributes 28, 217-228 (2015). MSC: 03B50 03B45 PDFBibTeX XMLCite \textit{P. Weingartner}, Tributes 28, 217--228 (2015; Zbl 1435.03048)
Schang, Fabien Eastern proto-logics. (English) Zbl 1423.03104 Beziau, Jean-Yves (ed.) et al., New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13–17, 2014. New Delhi: Springer. Springer Proc. Math. Stat. 152, 529-552 (2015). MSC: 03B53 03B50 PDFBibTeX XMLCite \textit{F. Schang}, Springer Proc. Math. Stat. 152, 529--552 (2015; Zbl 1423.03104) Full Text: DOI
Priest, Graham None of the above: the catuṣkoṭi in Indian Buddhist logic. (English) Zbl 1423.03103 Beziau, Jean-Yves (ed.) et al., New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13–17, 2014. New Delhi: Springer. Springer Proc. Math. Stat. 152, 517-527 (2015). MSC: 03B53 03B50 03-03 01A32 PDFBibTeX XMLCite \textit{G. Priest}, Springer Proc. Math. Stat. 152, 517--527 (2015; Zbl 1423.03103) Full Text: DOI
Ciucci, Davide; Dubois, Didier From possibility theory to paraconsistency. (English) Zbl 1423.03099 Beziau, Jean-Yves (ed.) et al., New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13–17, 2014. New Delhi: Springer. Springer Proc. Math. Stat. 152, 229-247 (2015). MSC: 03B53 03B50 03B45 03B42 PDFBibTeX XMLCite \textit{D. Ciucci} and \textit{D. Dubois}, Springer Proc. Math. Stat. 152, 229--247 (2015; Zbl 1423.03099) Full Text: DOI
Turunen, Esko; Rodríguez, J. Tinguaro Two consistent many-valued logics for paraconsistent phenomena. (English) Zbl 1423.03106 Beziau, Jean-Yves (ed.) et al., New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13–17, 2014. New Delhi: Springer. Springer Proc. Math. Stat. 152, 185-210 (2015). MSC: 03B53 03B50 06D35 PDFBibTeX XMLCite \textit{E. Turunen} and \textit{J. T. Rodríguez}, Springer Proc. Math. Stat. 152, 185--210 (2015; Zbl 1423.03106) Full Text: DOI
Tarafder, Sourav; Chakraborty, Mihir Kr. A paraconsistent logic obtained from an algebra-valued model of set theory. (English) Zbl 1423.03105 Beziau, Jean-Yves (ed.) et al., New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13–17, 2014. New Delhi: Springer. Springer Proc. Math. Stat. 152, 165-183 (2015). MSC: 03B53 03C90 03B50 PDFBibTeX XMLCite \textit{S. Tarafder} and \textit{M. Kr. Chakraborty}, Springer Proc. Math. Stat. 152, 165--183 (2015; Zbl 1423.03105) Full Text: DOI
Nescolarde-Selva, J.; Usó-Doménech, J. L.; Alonso-Stenberg, K. An approach to paraconsistent multivalued logic: evaluation by complex truth values. (English) Zbl 1423.03102 Beziau, Jean-Yves (ed.) et al., New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13–17, 2014. New Delhi: Springer. Springer Proc. Math. Stat. 152, 147-163 (2015). MSC: 03B53 03B50 PDFBibTeX XMLCite \textit{J. Nescolarde-Selva} et al., Springer Proc. Math. Stat. 152, 147--163 (2015; Zbl 1423.03102) Full Text: DOI
Beziau, Jean-Yves; Franceschetto, Anna Strong three-valued paraconsistent logics. (English) Zbl 1423.03097 Beziau, Jean-Yves (ed.) et al., New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13–17, 2014. New Delhi: Springer. Springer Proc. Math. Stat. 152, 131-145 (2015). MSC: 03B53 03B50 PDFBibTeX XMLCite \textit{J.-Y. Beziau} and \textit{A. Franceschetto}, Springer Proc. Math. Stat. 152, 131--145 (2015; Zbl 1423.03097) Full Text: DOI
Arieli, Ofer; Avron, Arnon Three-valued paraconsistent propositional logics. (English) Zbl 1423.03092 Beziau, Jean-Yves (ed.) et al., New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13–17, 2014. New Delhi: Springer. Springer Proc. Math. Stat. 152, 91-129 (2015). MSC: 03B53 03B50 03F05 PDFBibTeX XMLCite \textit{O. Arieli} and \textit{A. Avron}, Springer Proc. Math. Stat. 152, 91--129 (2015; Zbl 1423.03092) Full Text: DOI
Dunin-Kȩplicz, Barbara; Szałas, Andrzej A new perspective on goals. (English) Zbl 1406.03047 Ghosh, Sujata (ed.) et al., The facts matter. Essays on logic and cognition in honour of Rineke Verbrugge. London: College Publications (ISBN 978-1-84890-173-5/pbk). Tributes 25, 50-66 (2015). MSC: 03B70 68T27 03B42 03B50 PDFBibTeX XMLCite \textit{B. Dunin-Kȩplicz} and \textit{A. Szałas}, Tributes 25, 50--66 (2015; Zbl 1406.03047)
Ahmed, Tarek Sayed Varying interpolation and amalgamation in polyadic MV-algebras. (English) Zbl 1398.06009 J. Appl. Non-Class. Log. 25, No. 2, 140-192 (2015). MSC: 06D35 03G15 03B50 PDFBibTeX XMLCite \textit{T. S. Ahmed}, J. Appl. Non-Class. Log. 25, No. 2, 140--192 (2015; Zbl 1398.06009) Full Text: DOI
Schumann, Andrew \(p\)-adic valued logical calculi in simulations of the slime mould behaviour. (English) Zbl 1398.03113 J. Appl. Non-Class. Log. 25, No. 2, 125-139 (2015). MSC: 03B50 92B05 PDFBibTeX XMLCite \textit{A. Schumann}, J. Appl. Non-Class. Log. 25, No. 2, 125--139 (2015; Zbl 1398.03113) Full Text: DOI
Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M. Finite non-deterministic semantics for some modal systems. (English) Zbl 1398.03089 J. Appl. Non-Class. Log. 25, No. 1, 20-45 (2015); erratum and addendum ibid. 26, No. 4, 336-345 (2016). MSC: 03B45 03B50 PDFBibTeX XMLCite \textit{M. E. Coniglio} et al., J. Appl. Non-Class. Log. 25, No. 1, 20--45 (2015; Zbl 1398.03089) Full Text: DOI
Deniziak, Stanislaw; Wisniewski, Mariusz Symbolic functional decomposition of multivalued functions. (English) Zbl 1394.03039 J. Mult.-Val. Log. Soft Comput. 24, No. 5-6, 425-452 (2015). MSC: 03B50 03G25 PDFBibTeX XMLCite \textit{S. Deniziak} and \textit{M. Wisniewski}, J. Mult.-Val. Log. Soft Comput. 24, No. 5--6, 425--452 (2015; Zbl 1394.03039) Full Text: Link
Zhuk, Dmitriy The lattice of all clones of self-dual functions in three-valued logic. (English) Zbl 1393.08007 J. Mult.-Val. Log. Soft Comput. 24, No. 1-4, 251-316 (2015). MSC: 08A40 03B50 PDFBibTeX XMLCite \textit{D. Zhuk}, J. Mult.-Val. Log. Soft Comput. 24, No. 1--4, 251--316 (2015; Zbl 1393.08007) Full Text: Link
Ansótegui, Carlos; Bofill, Miquel; Manyà, Felip; Villaret, Mateu SAT and SMT technology for many-valued logics. (English) Zbl 1394.03038 J. Mult.-Val. Log. Soft Comput. 24, No. 1-4, 151-172 (2015). MSC: 03B50 68T20 68T27 PDFBibTeX XMLCite \textit{C. Ansótegui} et al., J. Mult.-Val. Log. Soft Comput. 24, No. 1--4, 151--172 (2015; Zbl 1394.03038) Full Text: Link
Parasa, Vamsi; Perkowski, Marek Quantum phase estimation and arbitrary accuracy iterative phase estimation using multivalued logic. (English) Zbl 1394.81021 J. Mult.-Val. Log. Soft Comput. 24, No. 1-4, 109-134 (2015). MSC: 81P10 03B50 PDFBibTeX XMLCite \textit{V. Parasa} and \textit{M. Perkowski}, J. Mult.-Val. Log. Soft Comput. 24, No. 1--4, 109--134 (2015; Zbl 1394.81021) Full Text: Link
García-Honrado, Itziar; Trillas, Enric Remarks on the symmetric difference from an inferential point of view. (English) Zbl 1394.03040 J. Mult.-Val. Log. Soft Comput. 24, No. 1-4, 35-51 (2015). MSC: 03B50 03G25 06D30 03G05 03B52 PDFBibTeX XMLCite \textit{I. García-Honrado} and \textit{E. Trillas}, J. Mult.-Val. Log. Soft Comput. 24, No. 1--4, 35--51 (2015; Zbl 1394.03040) Full Text: Link
Stanković, Radomir S.; Astola, Jaako Contributions of Arto Salomaa to multiple-valued logic. (English) Zbl 1395.01074 J. Mult.-Val. Log. Soft Comput. 24, No. 1-4, 1-19 (2015). MSC: 01A70 03-03 03B50 PDFBibTeX XMLCite \textit{R. S. Stanković} and \textit{J. Astola}, J. Mult.-Val. Log. Soft Comput. 24, No. 1--4, 1--19 (2015; Zbl 1395.01074) Full Text: Link
Beckmann, Arnold; Preining, Norbert Hyper natural deduction. (English) Zbl 1394.03068 Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 547-558 (2015). MSC: 03F03 03B50 PDFBibTeX XMLCite \textit{A. Beckmann} and \textit{N. Preining}, in: Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6--10, 2015. Los Alamitos, CA: IEEE Computer Society. 547--558 (2015; Zbl 1394.03068) Full Text: DOI
Weir, Alan A robust non-transitive logic. (English) Zbl 1382.03044 Topoi 34, No. 1, 99-107 (2015). MSC: 03B47 03B50 03B60 03A05 PDFBibTeX XMLCite \textit{A. Weir}, Topoi 34, No. 1, 99--107 (2015; Zbl 1382.03044) Full Text: DOI
Lapenta, S.; Leuştean, I. Towards understanding the Pierce-Birkhoff conjecture via MV-algebras. (English) Zbl 1373.06012 Fuzzy Sets Syst. 276, 114-130 (2015). MSC: 06D35 06B20 03B50 PDFBibTeX XMLCite \textit{S. Lapenta} and \textit{I. Leuştean}, Fuzzy Sets Syst. 276, 114--130 (2015; Zbl 1373.06012) Full Text: DOI arXiv
Bianchi, Matteo The logic of the strongest and the weakest t-norms. (English) Zbl 1373.03031 Fuzzy Sets Syst. 276, 31-42 (2015); corrigendum ibid. 284, 152-153 (2016). MSC: 03B52 03B50 03G25 06D35 06B20 PDFBibTeX XMLCite \textit{M. Bianchi}, Fuzzy Sets Syst. 276, 31--42 (2015; Zbl 1373.03031) Full Text: DOI
Odintsov, Sergei Belnap constants and Nelson logic. (English) Zbl 1376.03023 Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer (ISBN 978-3-319-15367-4/pbk; 978-3-319-15368-1/ebook). Studies in Universal Logic, 521-538 (2015). MSC: 03B50 03B53 PDFBibTeX XMLCite \textit{S. Odintsov}, in: The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer. 521--538 (2015; Zbl 1376.03023) Full Text: DOI
Batens, Diderik Two, many, and differently many. (English) Zbl 1376.03006 Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer (ISBN 978-3-319-15367-4/pbk; 978-3-319-15368-1/ebook). Studies in Universal Logic, 213-242 (2015). MSC: 03A05 03B50 PDFBibTeX XMLCite \textit{D. Batens}, in: The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer. 213--242 (2015; Zbl 1376.03006) Full Text: DOI
Yang, Eunsuk Two kinds of (binary) Kripke-style semantics for three-valued logic. (English) Zbl 1372.03047 Log. Anal., Nouv. Sér. 58, No. 231, 377-394 (2015). MSC: 03B50 PDFBibTeX XMLCite \textit{E. Yang}, Log. Anal., Nouv. Sér. 58, No. 231, 377--394 (2015; Zbl 1372.03047) Full Text: DOI
Marchioni, Enrico; Wooldridge, Michael Łukasiewicz games: a logic-based approach to quantitative strategic interactions. (English) Zbl 1367.68289 ACM Trans. Comput. Log. 16, No. 4, Article No. 33, 44 p. (2015). MSC: 68T27 03B50 68T42 91A80 PDFBibTeX XMLCite \textit{E. Marchioni} and \textit{M. Wooldridge}, ACM Trans. Comput. Log. 16, No. 4, Article No. 33, 44 p. (2015; Zbl 1367.68289) Full Text: DOI
Bofill, Miquel; Manyà, Felip; Vidal, Amanda; Villaret, Mateu The complexity of 3-valued Łukasiewicz rules. (English) Zbl 1366.68086 Torra, Vicenç (ed.) et al., Modeling decisions for artificial intelligence. 12th international conference, MDAI 2015, Skövde, Sweden, September 21–23, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23239-3/pbk; 978-3-319-23240-9/ebook). Lecture Notes in Computer Science 9321. Lecture Notes in Artificial Intelligence, 221-229 (2015). MSC: 68Q25 03B50 68Q17 PDFBibTeX XMLCite \textit{M. Bofill} et al., Lect. Notes Comput. Sci. 9321, 221--229 (2015; Zbl 1366.68086) Full Text: DOI
Libkin, Leonid SQL’s three-valued logic and certain answers. (English) Zbl 1365.68213 Arenas, Marcelo (ed.) et al., 18th international conference on database theory, ICDT’15, Brussels, Belgium, March 23–27, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-79-8). LIPIcs – Leibniz International Proceedings in Informatics 31, 94-109 (2015). MSC: 68P15 03B50 03B70 PDFBibTeX XMLCite \textit{L. Libkin}, LIPIcs -- Leibniz Int. Proc. Inform. 31, 94--109 (2015; Zbl 1365.68213) Full Text: DOI
Coppola, Cristina; Gerla, Giangiacomo Mereological foundations of point-free geometry via multi-valued logic. (English) Zbl 1375.03017 Log. Log. Philos. 24, No. 4, 535-553 (2015). MSC: 03B30 03A05 03B50 03B52 51F99 PDFBibTeX XMLCite \textit{C. Coppola} and \textit{G. Gerla}, Log. Log. Philos. 24, No. 4, 535--553 (2015; Zbl 1375.03017) Full Text: DOI
Avron, Arnon; Konikowska, Beata; Zamansky, Anna Efficient reasoning with inconsistent information using C-systems. (English) Zbl 1360.68827 Inf. Sci. 296, 219-236 (2015). MSC: 68T37 03B50 03B53 68T27 PDFBibTeX XMLCite \textit{A. Avron} et al., Inf. Sci. 296, 219--236 (2015; Zbl 1360.68827) Full Text: DOI
Di Nola, Antonio; Grigolia, Revaz; Mitskevich, Nunu Multimodal epistemic Łukasiewicz logics with application in immune system. (English) Zbl 1382.03046 Soft Comput. 19, No. 11, 3341-3351 (2015). MSC: 03B50 03B42 92C50 PDFBibTeX XMLCite \textit{A. Di Nola} et al., Soft Comput. 19, No. 11, 3341--3351 (2015; Zbl 1382.03046) Full Text: DOI
Cao, Cungen; Chen, Bo; Sui, Yuefei The \(B_{4}\)-valued propositional Belnap-Dunn logic. (English) Zbl 1352.03034 J. Intell. Fuzzy Syst. 28, No. 6, 2705-2713 (2015). MSC: 03B50 PDFBibTeX XMLCite \textit{C. Cao} et al., J. Intell. Fuzzy Syst. 28, No. 6, 2705--2713 (2015; Zbl 1352.03034) Full Text: DOI
Gregory, Howard Language and logics. An introduction to the logical foundations of language. (English) Zbl 1377.03001 Edinburgh Advanced Textbooks in Linguistics. Edinburgh: Edinburgh University Press (ISBN 978-0-7486-9162-3/hbk; 978-0-7486-9163-0/pbk). viii, 315 p. (2015). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03-01 03B65 03B40 03B42 03B45 03B47 03B50 03B20 PDFBibTeX XMLCite \textit{H. Gregory}, Language and logics. An introduction to the logical foundations of language. Edinburgh: Edinburgh University Press (2015; Zbl 1377.03001)
Marchenkov, Sergey S. Closed classed of three-valued logic that contain essentially multiplace functions. (English. Russian original) Zbl 1345.03049 Discrete Math. Appl. 25, No. 4, 233-240 (2015); translation from Diskretn. Mat. 27, No. 1, 98-107 (2015). MSC: 03B50 08A40 PDFBibTeX XMLCite \textit{S. S. Marchenkov}, Discrete Math. Appl. 25, No. 4, 233--240 (2015; Zbl 1345.03049); translation from Diskretn. Mat. 27, No. 1, 98--107 (2015) Full Text: DOI
Bashov, Maksim A.; Selezneva, Svetlana N. On the length of functions of \(k\)-valued logic in the class of polynomial normal forms modulo \(k\). (English. Russian original) Zbl 1345.03048 Discrete Math. Appl. 25, No. 3, 131-136 (2015); translation from Diskretn. Mat. 26, No. 3, 3-9 (2014). MSC: 03B50 PDFBibTeX XMLCite \textit{M. A. Bashov} and \textit{S. N. Selezneva}, Discrete Math. Appl. 25, No. 3, 131--136 (2015; Zbl 1345.03048); translation from Diskretn. Mat. 26, No. 3, 3--9 (2014) Full Text: DOI
Marchenkov, S. S. On the complexity of solutions of systems of functional equations in countable-valued logic. (Russian. English summary) Zbl 1349.03014 Diskretn. Anal. Issled. Oper. 22, No. 2, 49-62 (2015). MSC: 03B50 03D15 PDFBibTeX XMLCite \textit{S. S. Marchenkov}, Diskretn. Anal. Issled. Oper. 22, No. 2, 49--62 (2015; Zbl 1349.03014) Full Text: MNR
He, Jinrui; Hui, Xiaojing; Shuang, Jingning Conditional randomized truth degree of formulas in the \(n\)-valued Gödel propositional logic system. (Chinese. English summary) Zbl 1349.03012 Math. Pract. Theory 45, No. 20, 244-249 (2015). MSC: 03B50 PDFBibTeX XMLCite \textit{J. He} et al., Math. Pract. Theory 45, No. 20, 244--249 (2015; Zbl 1349.03012)
Li, Xiuqing Randomized truth degree of formulas and approximate reasoning in the \(n\)-valued revised Gödel logic system. (Chinese. English summary) Zbl 1349.03013 Fuzzy Syst. Math. 29, No. 5, 21-27 (2015). MSC: 03B50 03B48 68T37 PDFBibTeX XMLCite \textit{X. Li}, Fuzzy Syst. Math. 29, No. 5, 21--27 (2015; Zbl 1349.03013)
Tomova, N. E. Erratum to: “Natural implication and modus ponens principle”. (English) Zbl 1403.03043 Log. Issled. 21, No. 2, 186-187 (2015). MSC: 03B50 PDFBibTeX XMLCite \textit{N. E. Tomova}, Log. Issled. 21, No. 2, 186--187 (2015; Zbl 1403.03043)
Devyatkin, Leonid Yurievich On the ‘classical’ operations in three-valued logics. (English) Zbl 1370.03031 Log. Issled. 21, No. 2, 61-69 (2015). MSC: 03B50 PDFBibTeX XMLCite \textit{L. Y. Devyatkin}, Log. Issled. 21, No. 2, 61--69 (2015; Zbl 1370.03031)
Pynko, Alexej P. Minimal sequent calculi for Lukasiewicz’s finitely-valued logics. (English) Zbl 1336.03033 Bull. Sect. Log., Univ. Łódź, Dep. Log. 44, No. 3-4, 149-154 (2015). MSC: 03B50 03F05 PDFBibTeX XMLCite \textit{A. P. Pynko}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 44, No. 3--4, 149--154 (2015; Zbl 1336.03033) Full Text: DOI Link
Muravitsky, Alexei Y. Domains as models for semantic information. (English) Zbl 1335.68268 Fundam. Inform. 138, No. 1-2, 207-225 (2015). MSC: 68T37 03B50 06B35 68Q55 PDFBibTeX XMLCite \textit{A. Y. Muravitsky}, Fundam. Inform. 138, No. 1--2, 207--225 (2015; Zbl 1335.68268) Full Text: DOI
Tomova, Natalya Evgenyevna Natural implication and modus ponens principle. (English) Zbl 1338.03049 Log. Issled. 21, No. 1, 138-143 (2015); erratum ibid. 21, No. 2, 186-187 (2015). MSC: 03B50 PDFBibTeX XMLCite \textit{N. E. Tomova}, Log. Issled. 21, No. 1, 138--143 (2015; Zbl 1338.03049)
Karpenko, Aleksandr Stepanovich Lattices of four-valued modal logics. (Russian. English summary) Zbl 1338.03033 Log. Issled. 21, No. 1, 122-137 (2015). MSC: 03B45 03B50 03G10 PDFBibTeX XMLCite \textit{A. S. Karpenko}, Log. Issled. 21, No. 1, 122--137 (2015; Zbl 1338.03033)
Timm, Nils; Gruner, Stefan Parameterisation of three-valued abstractions. (English) Zbl 1335.68148 Braga, Christiano (ed.) et al., Formal methods: foundations and applications. 17th Brazilian symposium, SBMF 2014, Maceió, AL, Brazil, September 29 – October 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-15074-1/pbk). Lecture Notes in Computer Science 8941, 162-178 (2015). MSC: 68Q60 03B44 03B50 PDFBibTeX XMLCite \textit{N. Timm} and \textit{S. Gruner}, Lect. Notes Comput. Sci. 8941, 162--178 (2015; Zbl 1335.68148) Full Text: DOI Link
Andrews, Uri; Keisler, H. Jerome Separable models of randomizations. (English) Zbl 1373.03051 J. Symb. Log. 80, No. 4, 1149-1181 (2015). MSC: 03C15 03B50 03C20 03C40 PDFBibTeX XMLCite \textit{U. Andrews} and \textit{H. J. Keisler}, J. Symb. Log. 80, No. 4, 1149--1181 (2015; Zbl 1373.03051) Full Text: DOI Link
Beziau, Jean-Yves (ed.); Chakraborty, Mihir (ed.); Dutta, Soma (ed.) New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13–17, 2014. (English) Zbl 1338.03003 Springer Proceedings in Mathematics & Statistics 152. New Delhi: Springer (ISBN 978-81-322-2717-5/hbk; 978-81-322-2719-9/ebook). xi, 552 p. (2015). MSC: 03-06 03B53 03B45 03B50 03B52 03A05 00B25 PDFBibTeX XMLCite \textit{J.-Y. Beziau} (ed.) et al., New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13--17, 2014. New Delhi: Springer (2015; Zbl 1338.03003) Full Text: DOI
Barrio, Eduardo; Rosenblatt, Lucas; Tajer, Diego The logics of strict-tolerant logic. (English) Zbl 1350.03007 J. Philos. Log. 44, No. 5, 551-571 (2015). Reviewer: Louis F. Goble (Salem) MSC: 03A05 03B47 03B50 03B53 PDFBibTeX XMLCite \textit{E. Barrio} et al., J. Philos. Log. 44, No. 5, 551--571 (2015; Zbl 1350.03007) Full Text: DOI
Muskens, Reinhard; Wintein, Stefan Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\). (English) Zbl 1345.03050 J. Philos. Log. 44, No. 5, 473-487 (2015). MSC: 03B50 03F03 PDFBibTeX XMLCite \textit{R. Muskens} and \textit{S. Wintein}, J. Philos. Log. 44, No. 5, 473--487 (2015; Zbl 1345.03050) Full Text: DOI
Proceedings of the 45th IEEE international symposium on multiple-valued logic, ISMVL 2015, Waterloo, Canada, May 18th–20th, 2015. (English) Zbl 1334.94005 Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-1777-8). xiii, 212 p. (2015). MSC: 94-06 03-06 03B50 94C10 00B25 PDFBibTeX XMLCite Proceedings of the 45th IEEE international symposium on multiple-valued logic, ISMVL 2015, Waterloo, Canada, May 18th--20th, 2015. Los Alamitos, CA: IEEE Computer Society (2015; Zbl 1334.94005) Full Text: Link
Degauquier, Vincent Normal forms and functional completeness for four-valued languages. (English) Zbl 1334.03020 Bull. Belg. Math. Soc. - Simon Stevin 22, No. 4, 579-588 (2015). MSC: 03B50 PDFBibTeX XMLCite \textit{V. Degauquier}, Bull. Belg. Math. Soc. - Simon Stevin 22, No. 4, 579--588 (2015; Zbl 1334.03020) Full Text: Euclid
Rosenblatt, Lucas Daniel Two-valued logics for transparent truth theory. (English) Zbl 1330.03068 Australas. J. Log. 12, No. 1, 44-66 (2015). MSC: 03B60 03A05 03B50 03B53 PDFBibTeX XMLCite \textit{L. D. Rosenblatt}, Australas. J. Log. 12, No. 1, 44--66 (2015; Zbl 1330.03068) Full Text: Link
Li, Shunqin; Hui, Xiaojing An equivalent definition and some properties of contradiction degrees in the \(n\)-valued propositional logic system \(L^*_n\). (Chinese. English summary) Zbl 1340.03004 J. Yunnan Norm. Univ., Nat. Sci. 35, No. 3, 36-40 (2015). MSC: 03B50 PDFBibTeX XMLCite \textit{S. Li} and \textit{X. Hui}, J. Yunnan Norm. Univ., Nat. Sci. 35, No. 3, 36--40 (2015; Zbl 1340.03004) Full Text: DOI
Ji, Huan; Pei, Daowu; Fu, Li The extensions of uninorms. (Chinese. English summary) Zbl 1340.03003 Appl. Math., Ser. A (Chin. Ed.) 30, No. 2, 223-233 (2015). MSC: 03B50 03B52 PDFBibTeX XMLCite \textit{H. Ji} et al., Appl. Math., Ser. A (Chin. Ed.) 30, No. 2, 223--233 (2015; Zbl 1340.03003)
Baratella, Stefano A note on infinitary continuous logic. (English) Zbl 1372.03089 Math. Log. Q. 61, No. 6, 448-457 (2015). MSC: 03C90 03C75 03C35 03B50 PDFBibTeX XMLCite \textit{S. Baratella}, Math. Log. Q. 61, No. 6, 448--457 (2015; Zbl 1372.03089) Full Text: DOI
Arieli, Ofer Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks. (English) Zbl 1394.68363 J. Appl. Log. 13, No. 4, Part 2, 582-604 (2015). MSC: 68T27 03B50 PDFBibTeX XMLCite \textit{O. Arieli}, J. Appl. Log. 13, No. 4, Part 2, 582--604 (2015; Zbl 1394.68363) Full Text: DOI
Wang, Wen-Fang Three-valued plurivaluationism of vague predicates. (English) Zbl 1471.03009 van der Hoek, Wiebe (ed.) et al., Logic, rationality, and interaction. 5th international workshop, LORI 2015, Taipei, Taiwan, October 28–30, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9394, 379-391 (2015). MSC: 03A05 03B50 03B52 PDFBibTeX XMLCite \textit{W.-F. Wang}, Lect. Notes Comput. Sci. 9394, 379--391 (2015; Zbl 1471.03009) Full Text: DOI
Carnielli, Walter; Matulovic, Mariana The method of polynomial ring calculus and its potentialities. (English) Zbl 1338.03012 Theor. Comput. Sci. 606, 42-56 (2015). MSC: 03B35 03B50 03B53 PDFBibTeX XMLCite \textit{W. Carnielli} and \textit{M. Matulovic}, Theor. Comput. Sci. 606, 42--56 (2015; Zbl 1338.03012) Full Text: DOI
Bianchi, Matteo; Montagna, Franco Erratum to: “Trakhtenbrot theorem and first-order axiomatic extensions of MTL”. (English) Zbl 1330.03062 Stud. Log. 103, No. 6, 1183 (2015). MSC: 03B52 03B50 03D15 PDFBibTeX XMLCite \textit{M. Bianchi} and \textit{F. Montagna}, Stud. Log. 103, No. 6, 1183 (2015; Zbl 1330.03062) Full Text: DOI
Bianchi, Matteo; Montagna, Franco Trakhtenbrot theorem and first-order axiomatic extensions of MTL. (English) Zbl 1330.03061 Stud. Log. 103, No. 6, 1163-1181 (2015); erratum ibid. 103, No. 6, 1183 (2015). MSC: 03B52 03B50 03D15 PDFBibTeX XMLCite \textit{M. Bianchi} and \textit{F. Montagna}, Stud. Log. 103, No. 6, 1163--1181 (2015; Zbl 1330.03061) Full Text: DOI arXiv
Méndez, José M.; Robles, Gemma A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes. (English) Zbl 1373.03026 Log. Univers. 9, No. 4, 501-522 (2015). MSC: 03B47 03B45 03B50 03B53 PDFBibTeX XMLCite \textit{J. M. Méndez} and \textit{G. Robles}, Log. Univers. 9, No. 4, 501--522 (2015; Zbl 1373.03026) Full Text: DOI
Ferraioli, Anna Rita; Gerla, Brunella; Russo, Ciro; Spada, Luca Editorial. Many-valued logic ’12. (English) Zbl 1363.00003 Math. Slovaca 65, No. 4, 723-725 (2015). MSC: 00B15 03-06 03B50 PDFBibTeX XMLCite \textit{A. R. Ferraioli} et al., Math. Slovaca 65, No. 4, 723--725 (2015; Zbl 1363.00003) Full Text: DOI
Della Stella, M. E.; Guido, C. Functional many-valued relations. (English) Zbl 1363.03025 Math. Slovaca 65, No. 4, 891-921 (2015). Reviewer: Libor Běhounek (Ostrava) MSC: 03E72 03G25 06B23 PDFBibTeX XMLCite \textit{M. E. Della Stella} and \textit{C. Guido}, Math. Slovaca 65, No. 4, 891--921 (2015; Zbl 1363.03025) Full Text: DOI
Flaminio, Tommaso; Bianchi, Matteo A note on saturated models for many-valued logics. (English) Zbl 1363.03005 Math. Slovaca 65, No. 4, 747-760 (2015). Reviewer: Enrico Marchioni (Oxford) MSC: 03B50 PDFBibTeX XMLCite \textit{T. Flaminio} and \textit{M. Bianchi}, Math. Slovaca 65, No. 4, 747--760 (2015; Zbl 1363.03005) Full Text: DOI
Belohlavek, Radim; Vychodil, Vilem A logic of graded attributes. (English) Zbl 1477.03079 Arch. Math. Logic 54, No. 7-8, 785-802 (2015). MSC: 03B52 03B50 68T37 PDFBibTeX XMLCite \textit{R. Belohlavek} and \textit{V. Vychodil}, Arch. Math. Logic 54, No. 7--8, 785--802 (2015; Zbl 1477.03079) Full Text: DOI
Marchenkov, S. S. On the enumeration closure operator in multivalued logic. (English. Russian original) Zbl 1337.03034 Mosc. Univ. Comput. Math. Cybern. 39, No. 2, 81-87 (2015); translation from Vestn. Mosk. Univ., Ser. XV 2015, No. 2, 33-39 (2015). MSC: 03B50 03G05 06E30 PDFBibTeX XMLCite \textit{S. S. Marchenkov}, Mosc. Univ. Comput. Math. Cybern. 39, No. 2, 81--87 (2015; Zbl 1337.03034); translation from Vestn. Mosk. Univ., Ser. XV 2015, No. 2, 33--39 (2015) Full Text: DOI
Caleiro, Carlos; Marcos, João; Volpe, Marco Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. (English) Zbl 1331.03024 Theor. Comput. Sci. 603, 84-110 (2015). MSC: 03B50 03B35 PDFBibTeX XMLCite \textit{C. Caleiro} et al., Theor. Comput. Sci. 603, 84--110 (2015; Zbl 1331.03024) Full Text: DOI arXiv
Bou, Félix; Esteva, Francesc; Godo, Lluís On possibilistic modal logics defined over MTL-chains. (English) Zbl 1372.03039 Montagna, Franco (ed.), Petr Hájek on mathematical fuzzy logic. Cham: Springer (ISBN 978-3-319-06232-7/hbk; 978-3-319-06233-4/ebook). Outstanding Contributions to Logic 6, 225-244 (2015). MSC: 03B45 03B50 03B52 68T37 PDFBibTeX XMLCite \textit{F. Bou} et al., Outst. Contrib. Log. 6, 225--244 (2015; Zbl 1372.03039) Full Text: DOI
Dvurečenskij, Anatolij How do \(\ell\)-groups and po-groups appear in algebraic and quantum structures? (English) Zbl 1327.06014 Montagna, Franco (ed.), Petr Hájek on mathematical fuzzy logic. Cham: Springer (ISBN 978-3-319-06232-7/hbk; 978-3-319-06233-4/ebook). Outstanding Contributions to Logic 6, 177-206 (2015). MSC: 06F15 06D35 03G12 03B50 81P10 PDFBibTeX XMLCite \textit{A. Dvurečenskij}, Outst. Contrib. Log. 6, 177--206 (2015; Zbl 1327.06014) Full Text: DOI
Aguzzoli, Stefano; Marra, Vincenzo Two principles in many-valued logic. (English) Zbl 1328.03021 Montagna, Franco (ed.), Petr Hájek on mathematical fuzzy logic. Cham: Springer (ISBN 978-3-319-06232-7/hbk; 978-3-319-06233-4/ebook). Outstanding Contributions to Logic 6, 159-174 (2015). MSC: 03B50 PDFBibTeX XMLCite \textit{S. Aguzzoli} and \textit{V. Marra}, Outst. Contrib. Log. 6, 159--174 (2015; Zbl 1328.03021) Full Text: DOI arXiv
Mundici, Daniele The differential semantics of Łukasiewicz syntactic consequence. (English) Zbl 1386.03022 Montagna, Franco (ed.), Petr Hájek on mathematical fuzzy logic. Cham: Springer (ISBN 978-3-319-06232-7/hbk; 978-3-319-06233-4/ebook). Outstanding Contributions to Logic 6, 143-157 (2015). MSC: 03B50 06D35 03B52 47N10 49J52 94D05 PDFBibTeX XMLCite \textit{D. Mundici}, Outst. Contrib. Log. 6, 143--157 (2015; Zbl 1386.03022) Full Text: DOI arXiv
Font, Josep Maria Consequence and degrees of truth in many-valued logic. (English) Zbl 1353.03014 Montagna, Franco (ed.), Petr Hájek on mathematical fuzzy logic. Cham: Springer (ISBN 978-3-319-06232-7/hbk; 978-3-319-06233-4/ebook). Outstanding Contributions to Logic 6, 117-141 (2015). Reviewer: Daniele Mundici (Firenze) MSC: 03B50 06D35 PDFBibTeX XMLCite \textit{J. M. Font}, Outst. Contrib. Log. 6, 117--141 (2015; Zbl 1353.03014) Full Text: DOI
Gottwald, Siegfried The logic of fuzzy set theory: a historical approach. (English) Zbl 1328.03002 Montagna, Franco (ed.), Petr Hájek on mathematical fuzzy logic. Cham: Springer (ISBN 978-3-319-06232-7/hbk; 978-3-319-06233-4/ebook). Outstanding Contributions to Logic 6, 41-61 (2015). MSC: 03-03 01A60 01A61 03B50 03B52 03E72 PDFBibTeX XMLCite \textit{S. Gottwald}, Outst. Contrib. Log. 6, 41--61 (2015; Zbl 1328.03002) Full Text: DOI
Anglberger, Albert J. J.; Lukic, Jonathan Hilbert-style axiom systems for the matrix-based logics \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^\ast\). (English) Zbl 1358.03035 Stud. Log. 103, No. 5, 985-1003 (2015). Reviewer: Matteo Bianchi (Milano) MSC: 03B50 03G12 03B47 PDFBibTeX XMLCite \textit{A. J. J. Anglberger} and \textit{J. Lukic}, Stud. Log. 103, No. 5, 985--1003 (2015; Zbl 1358.03035) Full Text: DOI
Omori, Hitoshi; Sano, Katsuhiko Generalizing functional completeness in Belnap-Dunn logic. (English) Zbl 1376.03024 Stud. Log. 103, No. 5, 883-917 (2015). Reviewer: Albert Hoogewijs (Gent) MSC: 03B50 PDFBibTeX XMLCite \textit{H. Omori} and \textit{K. Sano}, Stud. Log. 103, No. 5, 883--917 (2015; Zbl 1376.03024) Full Text: DOI
Thomas, Morgan A generalization of the Routley-Meyer semantic framework. (English) Zbl 1329.03044 J. Philos. Log. 44, No. 4, 411-427 (2015). MSC: 03B20 03B50 03B47 PDFBibTeX XMLCite \textit{M. Thomas}, J. Philos. Log. 44, No. 4, 411--427 (2015; Zbl 1329.03044) Full Text: DOI
De, Michael; Omori, Hitoshi Classical negation and expansions of Belnap-Dunn logic. (English) Zbl 1373.03029 Stud. Log. 103, No. 4, 825-851 (2015). Reviewer: Albert Hoogewijs (Gent) MSC: 03B50 03B53 PDFBibTeX XMLCite \textit{M. De} and \textit{H. Omori}, Stud. Log. 103, No. 4, 825--851 (2015; Zbl 1373.03029) Full Text: DOI
Makarov, A. V. Description of all minimal classes in the partially ordered set \(\mathcal L_2^3\) of closed classes of the three-valued logic that can be homomorphically mapped onto the two-valued logic. (English. Russian original) Zbl 1325.03023 Mosc. Univ. Math. Bull. 70, No. 1, 48-48 (2015); translation from Vestn. Mosk. Univ., Ser. I 70, No. 1, 65-66 (2015). MSC: 03B50 PDFBibTeX XMLCite \textit{A. V. Makarov}, Mosc. Univ. Math. Bull. 70, No. 1, 48--48 (2015; Zbl 1325.03023); translation from Vestn. Mosk. Univ., Ser. I 70, No. 1, 65--66 (2015) Full Text: DOI
Alekhina, M. A.; Barsukova, O. Yu. Upper bound of unreliability of circuits in a basis consisting of Webb functions. (English. Russian original) Zbl 1334.94107 Russ. Math. 59, No. 3, 13-24 (2015); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2015, No. 3, 15-27 (2015). MSC: 94C05 03B50 PDFBibTeX XMLCite \textit{M. A. Alekhina} and \textit{O. Yu. Barsukova}, Russ. Math. 59, No. 3, 13--24 (2015; Zbl 1334.94107); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2015, No. 3, 15--27 (2015) Full Text: DOI
Podol’ko, D. K. A family of classes of functions closed with respect to a strengthened superposition operation. (English. Russian original) Zbl 1326.03032 Mosc. Univ. Math. Bull. 70, No. 2, 79-83 (2015); translation from Vestn. Mosk. Univ., Ser. I 70, No. 2, 27-31 (2015). MSC: 03B50 PDFBibTeX XMLCite \textit{D. K. Podol'ko}, Mosc. Univ. Math. Bull. 70, No. 2, 79--83 (2015; Zbl 1326.03032); translation from Vestn. Mosk. Univ., Ser. I 70, No. 2, 27--31 (2015) Full Text: DOI
Herzberg, Frederik Corrigendum and addendum to “Universal algebra for general aggregation theory”. (English) Zbl 1319.91068 J. Log. Comput. 25, No. 3, 979-982 (2015). MSC: 91B14 03B50 06D35 PDFBibTeX XMLCite \textit{F. Herzberg}, J. Log. Comput. 25, No. 3, 979--982 (2015; Zbl 1319.91068) Full Text: DOI
Herzberg, Frederik S. Universal algebra for general aggregation theory: many-valued propositional-attitude aggregators as MV-homomorphisms. (English) Zbl 1319.91069 J. Log. Comput. 25, No. 3, 965-977 (2015). MSC: 91B14 03B50 06D35 PDFBibTeX XMLCite \textit{F. S. Herzberg}, J. Log. Comput. 25, No. 3, 965--977 (2015; Zbl 1319.91069) Full Text: DOI Link
Belluce, L. P.; Di Nola, A.; Lenzi, G. On generalizing the Nullstellensatz for MV algebras. (English) Zbl 1341.06016 J. Log. Comput. 25, No. 3, 701-717 (2015). Reviewer: Stefano Aguzzoli (Milano) MSC: 06D35 06D50 03B50 06A15 18A40 PDFBibTeX XMLCite \textit{L. P. Belluce} et al., J. Log. Comput. 25, No. 3, 701--717 (2015; Zbl 1341.06016) Full Text: DOI
Mizraji, Eduardo Differential and integral calculus for logical operations. A matrix-vector approach. (English) Zbl 1348.03022 J. Log. Comput. 25, No. 3, 613-638 (2015). MSC: 03B50 06E30 PDFBibTeX XMLCite \textit{E. Mizraji}, J. Log. Comput. 25, No. 3, 613--638 (2015; Zbl 1348.03022) Full Text: DOI arXiv
Kamide, Norihiro Trilattice logic: an embedding-based approach. (English) Zbl 1348.03025 J. Log. Comput. 25, No. 3, 581-611 (2015). MSC: 03B53 03B50 03F05 PDFBibTeX XMLCite \textit{N. Kamide}, J. Log. Comput. 25, No. 3, 581--611 (2015; Zbl 1348.03025) Full Text: DOI
Montagna, Franco; Ugolini, Sara A categorical equivalence for product algebras. (English) Zbl 1373.03131 Stud. Log. 103, No. 2, 345-373 (2015). MSC: 03G25 03B50 03G05 06D35 06F15 18A15 PDFBibTeX XMLCite \textit{F. Montagna} and \textit{S. Ugolini}, Stud. Log. 103, No. 2, 345--373 (2015; Zbl 1373.03131) Full Text: DOI
Pailos, Federico; Rosenblatt, Lucas Non-deterministic conditionals and transparent truth. (English) Zbl 1378.03023 Stud. Log. 103, No. 3, 579-598 (2015). MSC: 03B50 03A05 PDFBibTeX XMLCite \textit{F. Pailos} and \textit{L. Rosenblatt}, Stud. Log. 103, No. 3, 579--598 (2015; Zbl 1378.03023) Full Text: DOI
Wintein, Stefan; Muskens, Reinhard A. From bi-facial truth to bi-facial proofs. (English) Zbl 1378.03016 Stud. Log. 103, No. 3, 545-558 (2015). MSC: 03B42 03B50 03F03 03A05 PDFBibTeX XMLCite \textit{S. Wintein} and \textit{R. A. Muskens}, Stud. Log. 103, No. 3, 545--558 (2015; Zbl 1378.03016) Full Text: DOI
Guitart, René Hexagonal logic of the field \(\mathbb{F}_{8}\) as a Boolean logic with three involutive modalities. (English) Zbl 1352.03030 Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer (ISBN 978-3-319-10192-7/pbk; 978-3-319-10193-4/ebook). Studies in Universal Logic, 191-220 (2015). MSC: 03B45 03B50 03G05 06E25 06E30 11T99 PDFBibTeX XMLCite \textit{R. Guitart}, in: The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer. 191--220 (2015; Zbl 1352.03030) Full Text: DOI
Diaconescu, Răzvan The algebra of opposition (and universal logic interpretations). (English) Zbl 1376.03016 Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer (ISBN 978-3-319-10192-7/pbk; 978-3-319-10193-4/ebook). Studies in Universal Logic, 127-143 (2015). MSC: 03B22 03B50 06B05 PDFBibTeX XMLCite \textit{R. Diaconescu}, in: The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer. 127--143 (2015; Zbl 1376.03016) Full Text: DOI
Schölzel, Karsten Dichotomy on intervals of strong partial Boolean clones. (English) Zbl 1372.08006 Algebra Univers. 73, No. 3-4, 347-368 (2015). Reviewer: Radomír Halaš (Olomouc) MSC: 08A55 08A40 03B50 PDFBibTeX XMLCite \textit{K. Schölzel}, Algebra Univers. 73, No. 3--4, 347--368 (2015; Zbl 1372.08006) Full Text: DOI arXiv
Botur, Michal; Paseka, Jan Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola’s theorem. (English) Zbl 1320.06010 Algebra Univers. 73, No. 3-4, 277-290 (2015). Reviewer: Daniele Mundici (Firenze) MSC: 06D35 03B50 PDFBibTeX XMLCite \textit{M. Botur} and \textit{J. Paseka}, Algebra Univers. 73, No. 3--4, 277--290 (2015; Zbl 1320.06010) Full Text: DOI arXiv
Odintsov, Sergei; Wansing, Heinrich The logic of generalized truth values and the logic of bilattices. (English) Zbl 1364.03036 Stud. Log. 103, No. 1, 91-112 (2015). Reviewer: Matteo Bianchi (Milano) MSC: 03B50 03G10 06B75 PDFBibTeX XMLCite \textit{S. Odintsov} and \textit{H. Wansing}, Stud. Log. 103, No. 1, 91--112 (2015; Zbl 1364.03036) Full Text: DOI
Flaminio, Tommaso; Godo, Lluis; Hosni, Hykel Coherence in the aggregate: a betting method for belief functions on many-valued events. (English) Zbl 1328.68227 Int. J. Approx. Reasoning 58, 71-86 (2015). MSC: 68T37 03B48 03B50 06D35 PDFBibTeX XMLCite \textit{T. Flaminio} et al., Int. J. Approx. Reasoning 58, 71--86 (2015; Zbl 1328.68227) Full Text: DOI
Abe, Jair Minoro; Akama, Seiki; Nakamatsu, Kazumi Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning. (English) Zbl 1342.03002 Intelligent Systems Reference Library 88. Cham: Springer (ISBN 978-3-319-17911-7/hbk; 978-3-319-17912-4/ebook). x, 190 p. (2015). Reviewer: Mario Alviano (Rende) MSC: 03-02 03B53 68-02 68T27 68T30 PDFBibTeX XMLCite \textit{J. M. Abe} et al., Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning. Cham: Springer (2015; Zbl 1342.03002) Full Text: DOI
Makarov, Ilya Existence of finite total equivalence systems for certain closed classes of 3-valued logic functions. (English) Zbl 1358.03036 Log. Univers. 9, No. 1, 1-26 (2015). Reviewer: Matteo Bianchi (Milano) MSC: 03B50 06E30 PDFBibTeX XMLCite \textit{I. Makarov}, Log. Univers. 9, No. 1, 1--26 (2015; Zbl 1358.03036) Full Text: DOI