Akama, Seiki Non-classical logics and intelligent systems. (English) Zbl 1348.03028 Nakamatsu, Kazumi (ed.) et al., The handbook on reasoning-based intelligent systems. Hackensack, NJ: World Scientific (ISBN 978-981-4329-47-7/hbk; 978-981-4489-16-4/ebook). 189-206 (2011). MSC: 03B70 68T27 03B45 03B50 03B53 68T15 PDFBibTeX XMLCite \textit{S. Akama}, in: The handbook on reasoning-based intelligent systems. Hackensack, NJ: World Scientific. 189--206 (2011; Zbl 1348.03028) Full Text: DOI
Rivieccio, Umberto Paraconsistent modal logics. (English) Zbl 1347.03054 van Ditmarsch, Hans (ed.) et al., Proceedings of the 7th workshop on methods for modalities (M4M’2011), and the 4th workshop on logical aspects of multi-agent systems (LAMAS’2011), Osuna, Spain, November 10–12, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 278, 173-186 (2011). MSC: 03B53 03B45 03B50 03B70 PDFBibTeX XMLCite \textit{U. Rivieccio}, Electron. Notes Theor. Comput. Sci. 278, 173--186 (2011; Zbl 1347.03054) Full Text: DOI
Beall, Jc Adding the relevant restricted quantification. (English) Zbl 1330.03050 Australas. J. Log. 10, 36-44 (2011). MSC: 03B47 03B53 PDFBibTeX XMLCite \textit{J. Beall}, Australas. J. Log. 10, 36--44 (2011; Zbl 1330.03050) Full Text: Link
D’Ottaviano, Itala M. Loffredo; Gomes, Evandro Luís On the development of logic in Brazil. I: The early logic studies and the path to contemporary logic. (English) Zbl 1321.03004 Rev. Bras. Hist. Mat. 11, No. 22, 133-158 (2011). MSC: 03-03 01A99 PDFBibTeX XMLCite \textit{I. M. L. D'Ottaviano} and \textit{E. L. Gomes}, Rev. Bras. Hist. Mat. 11, No. 22, 133--158 (2011; Zbl 1321.03004)
de Amo, Sandra; Pais, Mônica Sakuray A deductive language for querying inconsistent databases. (English) Zbl 1261.68053 Béziau, Jean-Yves (ed.) et al., Logic without frontiers. Festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday. London: College Publications (ISBN 978-1-84890-055-4/pbk). Tributes 17, 361-387 (2011). MSC: 68P15 03B53 03B70 PDFBibTeX XMLCite \textit{S. de Amo} and \textit{M. S. Pais}, Tributes 17, 361--387 (2011; Zbl 1261.68053)
Britz, Katarina; Heidema, Johannes; Varzinczak, Ivan Constrained consequence. (English) Zbl 1278.03030 Log. Univers. 5, No. 2, 327-350 (2011). Reviewer: Alex Citkin (Warren) MSC: 03B20 03B22 03B45 03B53 03B60 PDFBibTeX XMLCite \textit{K. Britz} et al., Log. Univers. 5, No. 2, 327--350 (2011; Zbl 1278.03030) Full Text: DOI
Dutta, Soma; Chakraborty, Mihir K. Negation and paraconsistent logics. (English) Zbl 1272.03117 Log. Univers. 5, No. 1, 165-176 (2011). MSC: 03B53 PDFBibTeX XMLCite \textit{S. Dutta} and \textit{M. K. Chakraborty}, Log. Univers. 5, No. 1, 165--176 (2011; Zbl 1272.03117) Full Text: DOI
Maksimova, L. L. Decidability of the weak interpolation property over the minimal logic. (English. Russian original) Zbl 1285.03029 Algebra Logic 50, No. 2, 106-132 (2011); translation from Algebra Logika 50, No. 2, 152-188 (2011). MSC: 03C40 03B25 03B53 PDFBibTeX XMLCite \textit{L. L. Maksimova}, Algebra Logic 50, No. 2, 106--132 (2011; Zbl 1285.03029); translation from Algebra Logika 50, No. 2, 152--188 (2011) Full Text: DOI
Kaneiwa, Ken; Kamide, Norihiro Paraconsistent computation tree logic. (English) Zbl 1251.68227 New Generation Comput. 29, No. 4, 391-408 (2011). MSC: 68T27 03B53 68Q60 68T37 PDFBibTeX XMLCite \textit{K. Kaneiwa} and \textit{N. Kamide}, New Generation Comput. 29, No. 4, 391--408 (2011; Zbl 1251.68227) Full Text: DOI
Akama, Seiki; Abe, Jair Minoro; Nakamatsu, Kazumi Constructive discursive logic with strong negation. (English) Zbl 1260.03055 Log. Anal., Nouv. Sér. 54, No. 215, 395-408 (2011). MSC: 03B53 PDFBibTeX XMLCite \textit{S. Akama} et al., Log. Anal., Nouv. Sér. 54, No. 215, 395--408 (2011; Zbl 1260.03055)
Małuszyński, Jan; Szałas, Andrzej Logical foundations and complexity of 4QL, a query language with unrestricted negation. (English) Zbl 1242.68091 J. Appl. Non-Class. Log. 21, No. 2, 211-232 (2011). MSC: 68P15 03B50 03B53 PDFBibTeX XMLCite \textit{J. Małuszyński} and \textit{A. Szałas}, J. Appl. Non-Class. Log. 21, No. 2, 211--232 (2011; Zbl 1242.68091) Full Text: DOI arXiv
Gentilini, Paolo Proof theory and mathematical meaning of paraconsistent C-systems. (English) Zbl 1242.03056 J. Appl. Log. 9, No. 3, 171-202 (2011). MSC: 03B53 03F30 03F45 PDFBibTeX XMLCite \textit{P. Gentilini}, J. Appl. Log. 9, No. 3, 171--202 (2011; Zbl 1242.03056) Full Text: DOI
Cobreros, Pablo Paraconsistent vagueness: a positive argument. (English) Zbl 1235.03011 Synthese 183, No. 2, 211-227 (2011). MSC: 03A05 03B53 PDFBibTeX XMLCite \textit{P. Cobreros}, Synthese 183, No. 2, 211--227 (2011; Zbl 1235.03011) Full Text: DOI
Kassoff, Michael; Genesereth, Michael R. Paraconsistent inference from data using existential \(\Omega \)-entailment. (English) Zbl 1234.68375 Int. J. Semant. Comput. 5, No. 3 (2011). MSC: 68T37 68P15 68T27 PDFBibTeX XML Full Text: DOI
Vasyukov, Vladimir L. Paraconsistency in categories: case of relevance logic. (English) Zbl 1248.03041 Stud. Log. 98, No. 3, 429-443 (2011). MSC: 03B47 03B53 03G30 18B25 PDFBibTeX XMLCite \textit{V. L. Vasyukov}, Stud. Log. 98, No. 3, 429--443 (2011; Zbl 1248.03041) Full Text: DOI
Shangin, V. O. Natural deduction systems of some logics with truth-value gluts and truth-value gaps. (Russian. English summary) Zbl 1244.03049 Karpenko, A. S. (ed.), Логические исследования. 17. Moskva-Sankt-Peterburg: Tsentr Gumanitarnykh Initsiativ (ISBN 978-5-98712-073-6/hbk). 293-308 (2011). MSC: 03B22 03B50 03B53 PDFBibTeX XMLCite \textit{V. O. Shangin}, in: Logicheskie issledovaniya. 17. Moskva-Sankt-Peterburg: Tsentr Gumanitarnykh Initsiativ. 293--308 (2011; Zbl 1244.03049)
Tomova, N. E. Natural \(p\)-logics. (Russian. English summary) Zbl 1244.03086 Karpenko, A. S. (ed.), Логические исследования. 17. Moskva-Sankt-Peterburg: Tsentr Gumanitarnykh Initsiativ (ISBN 978-5-98712-073-6/hbk). 256-268 (2011). MSC: 03B50 03B53 PDFBibTeX XMLCite \textit{N. E. Tomova}, in: Logicheskie issledovaniya. 17. Moskva-Sankt-Peterburg: Tsentr Gumanitarnykh Initsiativ. 256--268 (2011; Zbl 1244.03086)
Vasyukov, V. L. Paraconsistent categories for paraconsistent logics. (Russian. English summary) Zbl 1245.03042 Karpenko, A. S. (ed.), Логические исследования. 17. Moskva-Sankt-Peterburg: Tsentr Gumanitarnykh Initsiativ (ISBN 978-5-98712-073-6/hbk). 69-83 (2011). MSC: 03B53 03G30 PDFBibTeX XMLCite \textit{V. L. Vasyukov}, in: Logicheskie issledovaniya. 17. Moskva-Sankt-Peterburg: Tsentr Gumanitarnykh Initsiativ. 69--83 (2011; Zbl 1245.03042)
Ma, Yue; Qi, Guilin; Hitzler, Pascal Computing inconsistency measure based on paraconsistent semantics. (English) Zbl 1228.68046 J. Log. Comput. 21, No. 6, 1257-1281 (2011). MSC: 68T27 03B53 68T30 PDFBibTeX XMLCite \textit{Y. Ma} et al., J. Log. Comput. 21, No. 6, 1257--1281 (2011; Zbl 1228.68046) Full Text: DOI Link
Arieli, O.; Avron, A.; Zamansky, A. Ideal paraconsistent logics. (English) Zbl 1248.03046 Stud. Log. 99, No. 1-3, 31-60 (2011). MSC: 03B53 03B50 PDFBibTeX XMLCite \textit{O. Arieli} et al., Stud. Log. 99, No. 1--3, 31--60 (2011; Zbl 1248.03046) Full Text: DOI
Beall, Jc Multiple-conclusion LP and default classicality. (English) Zbl 1252.03008 Rev. Symb. Log. 4, No. 2, 326-336 (2011). MSC: 03A05 03B53 PDFBibTeX XMLCite \textit{J. Beall}, Rev. Symb. Log. 4, No. 2, 326--336 (2011; Zbl 1252.03008) Full Text: DOI
Kamide, Norihiro Notes on Craig interpolation for LJ with strong negation. (English) Zbl 1241.03029 Math. Log. Q. 57, No. 4, 395-399 (2011). MSC: 03B50 03B53 03C40 PDFBibTeX XMLCite \textit{N. Kamide}, Math. Log. Q. 57, No. 4, 395--399 (2011; Zbl 1241.03029) Full Text: DOI
Beirlaen, Mathieu; Straßer, Christian A paraconsistent multi-agent framework for dealing with normative conflicts. (English) Zbl 1348.68253 Leite, João (ed.) et al., Computational logic in multi-agent systems. 12th international workshop, CLIMA XII, Barcelona, Spain, July 17–18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22358-7/pbk). Lecture Notes in Computer Science 6814. Lecture Notes in Artificial Intelligence, 312-329 (2011). MSC: 68T42 03B53 68T27 PDFBibTeX XMLCite \textit{M. Beirlaen} and \textit{C. Straßer}, Lect. Notes Comput. Sci. 6814, 312--329 (2011; Zbl 1348.68253) Full Text: DOI Link
Coniglio, M. E.; Sernadas, A.; Sernadas, C. Preservation by fibring of the finite model property. (English) Zbl 1233.03034 J. Log. Comput. 21, No. 2, 375-402 (2011). MSC: 03B62 03C40 PDFBibTeX XMLCite \textit{M. E. Coniglio} et al., J. Log. Comput. 21, No. 2, 375--402 (2011; Zbl 1233.03034) Full Text: DOI
Straßer, Christian; Šešelja, Dunja Towards the proof-theoretic unification of Dung’s argumentation framework: an adaptive logic approach. (English) Zbl 1234.03014 J. Log. Comput. 21, No. 2, 133-156 (2011). MSC: 03B53 03F03 68T27 PDFBibTeX XMLCite \textit{C. Straßer} and \textit{D. Šešelja}, J. Log. Comput. 21, No. 2, 133--156 (2011; Zbl 1234.03014) Full Text: DOI
Weber, Zach Reply to Bjørdal. (English) Zbl 1280.03032 Rev. Symb. Log. 4, No. 1, 109-113 (2011). MSC: 03B53 03E30 03E70 PDFBibTeX XMLCite \textit{Z. Weber}, Rev. Symb. Log. 4, No. 1, 109--113 (2011; Zbl 1280.03032) Full Text: DOI
Osorio, Mauricio; Carballido, José Luis; Zepeda, Claudia An application of clasp in the study of logics. (English) Zbl 1327.68069 Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16–19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 278-283 (2011). MSC: 68N17 03B50 03B53 PDFBibTeX XMLCite \textit{M. Osorio} et al., Lect. Notes Comput. Sci. 6645, 278--283 (2011; Zbl 1327.68069) Full Text: DOI
Kamide, Norihiro; Wansing, Heinrich A paraconsistent linear-time temporal logic. (English) Zbl 1228.03012 Fundam. Inform. 106, No. 1, 1-23 (2011). Reviewer: Osamu Sonobe (Follonica) MSC: 03B53 03B44 03B62 03F05 PDFBibTeX XMLCite \textit{N. Kamide} and \textit{H. Wansing}, Fundam. Inform. 106, No. 1, 1--23 (2011; Zbl 1228.03012) Full Text: DOI
Priest, Graham First-order da Costa logic. (English) Zbl 1218.03024 Stud. Log. 97, No. 1, 183-198 (2011). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B53 PDFBibTeX XMLCite \textit{G. Priest}, Stud. Log. 97, No. 1, 183--198 (2011; Zbl 1218.03024) Full Text: DOI
Nasieniewski, Marek; Pietruszczak, Andrzej A method of generating modal logics defining Jaśkowski’s discussive logic \(D_{2}\). (English) Zbl 1215.03040 Stud. Log. 97, No. 1, 161-182 (2011). MSC: 03B53 03B45 PDFBibTeX XMLCite \textit{M. Nasieniewski} and \textit{A. Pietruszczak}, Stud. Log. 97, No. 1, 161--182 (2011; Zbl 1215.03040) Full Text: DOI
Carnielli, Walter The single-minded pursuit of consistency and its weakness. (English) Zbl 1256.03007 Stud. Log. 97, No. 1, 81-100 (2011). MSC: 03A05 03B45 03B53 PDFBibTeX XMLCite \textit{W. Carnielli}, Stud. Log. 97, No. 1, 81--100 (2011; Zbl 1256.03007) Full Text: DOI
Arieli, Ofer; Avron, Arnon; Zamansky, Anna Maximal and premaximal paraconsistency in the framework of three-valued semantics. (English) Zbl 1256.03030 Stud. Log. 97, No. 1, 31-60 (2011). MSC: 03B53 03A05 03B50 PDFBibTeX XMLCite \textit{O. Arieli} et al., Stud. Log. 97, No. 1, 31--60 (2011; Zbl 1256.03030) Full Text: DOI Link