Straßer, Christian Adaptively applying modus ponens in conditional logics of normality. (English) Zbl 1398.03146 J. Appl. Non-Class. Log. 22, No. 1-2, 125-148 (2012). MSC: 03B60 03B53 PDFBibTeX XMLCite \textit{C. Straßer}, J. Appl. Non-Class. Log. 22, No. 1--2, 125--148 (2012; Zbl 1398.03146) Full Text: DOI Link
Avron, Arnon; Konikowska, Beata; Zamansky, Anna Modular construction of cut-free sequent calculi for paraconsistent logics. (English) Zbl 1364.03043 Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 85-94 (2012). MSC: 03B53 03B35 03F05 PDFBibTeX XMLCite \textit{A. Avron} et al., in: Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25--28, 2012. Los Alamitos, CA: IEEE Computer Society. 85--94 (2012; Zbl 1364.03043) Full Text: DOI
Loparić, Andréa; da Costa, Newton C. A. Paraconsistency, paracompleteness, and valuations. (English) Zbl 1288.03022 Béziau, Jean-Yves (ed.), Universal logic: An anthology. From Paul Hertz to Dov Gabbay. Basel: Birkhäuser (ISBN 978-3-0346-0144-3/pbk; 978-3-0346-0145-0/ebook). Studies in Universal Logic, 373-385 (2012). MSC: 03B53 01A75 03-03 PDFBibTeX XMLCite \textit{A. Loparić} and \textit{N. C. A. da Costa}, in: Universal logic: An anthology. From Paul Hertz to Dov Gabbay. Basel: Birkhäuser. 373--385 (2012; Zbl 1288.03022)
Béziau, Jean-Yves Paranormal logics and the theory of bivaluations. (English) Zbl 1295.03016 Béziau, Jean-Yves (ed.), Universal logic: An anthology. From Paul Hertz to Dov Gabbay. Basel: Birkhäuser (ISBN 978-3-0346-0144-3/pbk; 978-3-0346-0145-0/ebook). Studies in Universal Logic, 361-372 (2012). MSC: 03B53 03B22 PDFBibTeX XMLCite \textit{J.-Y. Béziau}, in: Universal logic: An anthology. From Paul Hertz to Dov Gabbay. Basel: Birkhäuser. 361--372 (2012; Zbl 1295.03016)
Nasieniewski, Marek; Pietruszczak, Andrzej On the weakest modal logics defining Jaskowski’s logic \(\mathrm{D}_{2}\) and the \(\mathrm{D}_{2}\)-consequence. (English) Zbl 1287.03049 Bull. Sect. Log., Univ. Łódź, Dep. Log. 41, No. 3-4, 215-232 (2012). MSC: 03B45 03B53 PDFBibTeX XMLCite \textit{M. Nasieniewski} and \textit{A. Pietruszczak}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 41, No. 3--4, 215--232 (2012; Zbl 1287.03049) Full Text: Link
Lambert, D.; Hespel, B. From the topology of conciliation to the logic of contradiction. (De la topologie de la conciliation à la logique de la contradiction.) (French) Zbl 1336.03040 Log. Anal., Nouv. Sér. 55, No. 218, 295-328 (2012). MSC: 03B60 03B53 03G30 54H05 PDFBibTeX XMLCite \textit{D. Lambert} and \textit{B. Hespel}, Log. Anal., Nouv. Sér. 55, No. 218, 295--328 (2012; Zbl 1336.03040)
Batens, Diderik It might have been classical logic. (English) Zbl 1283.03054 Log. Anal., Nouv. Sér. 55, No. 218, 241-279 (2012). MSC: 03B53 03B05 PDFBibTeX XMLCite \textit{D. Batens}, Log. Anal., Nouv. Sér. 55, No. 218, 241--279 (2012; Zbl 1283.03054)
Van De Putte, Frederik; Strasser, Christian Extending the standard format of adaptive logics to the prioritized case. (English) Zbl 1336.03042 Log. Anal., Nouv. Sér. 55, No. 220, 601-641 (2012). MSC: 03B60 03B53 PDFBibTeX XMLCite \textit{F. Van De Putte} and \textit{C. Strasser}, Log. Anal., Nouv. Sér. 55, No. 220, 601--641 (2012; Zbl 1336.03042)
Odintsov, Sergei P.; Speranski, Stanislav O. On algorithmic properties of propositional inconsistency-adaptive logics. (English) Zbl 1283.03059 Log. Log. Philos. 21, No. 3, 209-228 (2012). MSC: 03B60 03B53 PDFBibTeX XMLCite \textit{S. P. Odintsov} and \textit{S. O. Speranski}, Log. Log. Philos. 21, No. 3, 209--228 (2012; Zbl 1283.03059)
Estrada-González, Luis Models of possibilism and trivialism. (English) Zbl 1283.03018 Log. Log. Philos. 21, No. 2, 175-205 (2012). MSC: 03A05 03B45 03B50 03B53 PDFBibTeX XMLCite \textit{L. Estrada-González}, Log. Log. Philos. 21, No. 2, 175--205 (2012; Zbl 1283.03018)
Beall, Jc Why Priest’s reassurance is not reassuring. (English) Zbl 1264.03013 Analysis, Oxf. 72, No. 3, 517-525 (2012). MSC: 03A05 03B53 PDFBibTeX XMLCite \textit{J. Beall}, Analysis, Oxf. 72, No. 3, 517--525 (2012; Zbl 1264.03013) Full Text: DOI Link
Popov, V. M. Interpolation theorem for simple paranormal logic \(\text{Int}_{0,\omega}\). (Russian. English summary) Zbl 1271.03041 Karpenko, A. S. (ed.), Логические исследования. 18. Moskva: Tsentr Gumanitarnykh Initsiativ (ISBN 978-5-98712-073-6/hbk). 182-196 (2012). MSC: 03B53 03C40 PDFBibTeX XMLCite \textit{V. M. Popov}, in: Logicheskie issledovaniya. 18. Moskva: Tsentr Gumanitarnykh Initsiativ. 182--196 (2012; Zbl 1271.03041)
Znamenskaya, N. A. On the problem of expressibility operations of characteristic matrices of paraconsistent and paracomplete logics. (Russian. English summary) Zbl 1271.03042 Karpenko, A. S. (ed.), Логические исследования. 18. Moskva: Tsentr Gumanitarnykh Initsiativ (ISBN 978-5-98712-073-6/hbk). 132-140 (2012). MSC: 03B53 PDFBibTeX XMLCite \textit{N. A. Znamenskaya}, in: Logicheskie issledovaniya. 18. Moskva: Tsentr Gumanitarnykh Initsiativ. 132--140 (2012; Zbl 1271.03042)
Kovač, Srećko Logical opposition and collective decisions. (English) Zbl 1272.03108 Béziau, Jean-Yves (ed.) et al., Around and beyond the square of opposition. Basel: Birkhäuser (ISBN 978-3-0348-0378-6/pbk; 978-3-0348-0379-3/ebook). Studies in Universal Logic, 341-356 (2012). MSC: 03B50 03B53 03B80 PDFBibTeX XMLCite \textit{S. Kovač}, in: Around and beyond the square of opposition. Basel: Birkhäuser. 341--356 (2012; Zbl 1272.03108) Full Text: DOI
Cavaliere, Ferdinando Fuzzy syllogisms, numerical square, triangle of contraries, inter-bivalence. (English) Zbl 1272.03012 Béziau, Jean-Yves (ed.) et al., Around and beyond the square of opposition. Basel: Birkhäuser (ISBN 978-3-0348-0378-6/pbk; 978-3-0348-0379-3/ebook). Studies in Universal Logic, 241-260 (2012). MSC: 03A05 03B20 03B52 03B65 03B60 03B53 PDFBibTeX XMLCite \textit{F. Cavaliere}, in: Around and beyond the square of opposition. Basel: Birkhäuser. 241--260 (2012; Zbl 1272.03012) Full Text: DOI
Béziau, Jean-Yves The new rising of the square of opposition. (English) Zbl 1272.03116 Béziau, Jean-Yves (ed.) et al., Around and beyond the square of opposition. Basel: Birkhäuser (ISBN 978-3-0348-0378-6/pbk; 978-3-0348-0379-3/ebook). Studies in Universal Logic, 3-19 (2012). MSC: 03B53 03B45 03B20 PDFBibTeX XMLCite \textit{J.-Y. Béziau}, in: Around and beyond the square of opposition. Basel: Birkhäuser. 3--19 (2012; Zbl 1272.03116) Full Text: DOI
Cartier, Pierre How to take advantage of the blur between the finite and the infinite. (English) Zbl 1262.00004 Log. Univers. 6, No. 1-2, 217-226 (2012). Reviewer: Andrzej Indrzejczak (Łódź) MSC: 00A30 01A05 03A05 03B53 PDFBibTeX XMLCite \textit{P. Cartier}, Log. Univers. 6, No. 1--2, 217--226 (2012; Zbl 1262.00004) Full Text: DOI
Moretti, Alessio Why the logical hexagon? (English) Zbl 1272.03036 Log. Univers. 6, No. 1-2, 69-107 (2012). MSC: 03A05 00A30 03B53 51L99 PDFBibTeX XMLCite \textit{A. Moretti}, Log. Univers. 6, No. 1--2, 69--107 (2012; Zbl 1272.03036) Full Text: DOI
Maksimova, L. L. The decidability of Craig’s interpolation property in well-composed J-logics. (English. Russian original) Zbl 1285.03030 Sib. Math. J. 53, No. 5, 839-852 (2012); translation from Sib. Mat. Zh. 53, No. 5, 1048-1064 (2012). MSC: 03C40 03B25 03B53 PDFBibTeX XMLCite \textit{L. L. Maksimova}, Sib. Math. J. 53, No. 5, 839--852 (2012; Zbl 1285.03030); translation from Sib. Mat. Zh. 53, No. 5, 1048--1064 (2012) Full Text: DOI
Silvestre, Ricardo Sousa Paranormal modal logic. I: The system \(\mathrm{K}_?\) and the foundations of the logic of skeptical and credulous plausibility. (English) Zbl 1267.03039 Log. Log. Philos. 21, No. 1, 65-95 (2012). Reviewer: Manuel Bremer (Düsseldorf) MSC: 03B53 03B45 PDFBibTeX XMLCite \textit{R. S. Silvestre}, Log. Log. Philos. 21, No. 1, 65--95 (2012; Zbl 1267.03039)
Kamide, Norihiro Combining intuitionistic logic with paraconsistent operators. (English) Zbl 1268.03030 Log. Anal., Nouv. Sér. 55, No. 217, 57-71 (2012). MSC: 03B53 03F05 PDFBibTeX XMLCite \textit{N. Kamide}, Log. Anal., Nouv. Sér. 55, No. 217, 57--71 (2012; Zbl 1268.03030)
Asmus, Conrad Paraconsistency on the rocks of dialetheism. (English) Zbl 1266.03003 Log. Anal., Nouv. Sér. 55, No. 217, 3-21 (2012). MSC: 03A05 03B53 PDFBibTeX XMLCite \textit{C. Asmus}, Log. Anal., Nouv. Sér. 55, No. 217, 3--21 (2012; Zbl 1266.03003)
Maksimova, L. L. Interpolation and the projective Beth property in well-composed logics. (English. Russian original) Zbl 1285.03028 Algebra Logic 51, No. 2, 163-184 (2012); translation from Algebra Logika 51, No. 2, 244-275 (2012). MSC: 03C40 03B53 PDFBibTeX XMLCite \textit{L. L. Maksimova}, Algebra Logic 51, No. 2, 163--184 (2012; Zbl 1285.03028); translation from Algebra Logika 51, No. 2, 244--275 (2012) Full Text: DOI
McKubre-Jordens, Maarten; Weber, Zach Real analysis in paraconsistent logic. (English) Zbl 1270.03046 J. Philos. Log. 41, No. 5, 901-922 (2012). Reviewer: Gemma Robles (León) MSC: 03B53 26A03 PDFBibTeX XMLCite \textit{M. McKubre-Jordens} and \textit{Z. Weber}, J. Philos. Log. 41, No. 5, 901--922 (2012; Zbl 1270.03046) Full Text: DOI
Caminada, Martin W. A.; Carnielli, Walter A.; Dunne, Paul E. Semi-stable semantics. (English) Zbl 1267.68223 J. Log. Comput. 22, No. 5, 1207-1254 (2012). Reviewer: Wolfgang Faber (Wien) MSC: 68T27 68N17 68T30 68Q17 68Q55 PDFBibTeX XMLCite \textit{M. W. A. Caminada} et al., J. Log. Comput. 22, No. 5, 1207--1254 (2012; Zbl 1267.68223) Full Text: DOI Link
Kamide, Norihiro Embedding-based approaches to paraconsistent and temporal description logics. (English) Zbl 1267.68224 J. Log. Comput. 22, No. 5, 1097-1124 (2012). Reviewer: Giacomo Bonanno (Davis) MSC: 68T27 03B44 03B53 68T30 PDFBibTeX XMLCite \textit{N. Kamide}, J. Log. Comput. 22, No. 5, 1097--1124 (2012; Zbl 1267.68224) Full Text: DOI
Beall, Jc; Brady, Ross; Dunn, J. Michael; Hazen, A. P.; Mares, Edwin; Meyer, Robert K.; Priest, Graham; Restall, Greg; Ripley, David; Slaney, John; Sylvan, Richard On the ternary relation and conditionality. (English) Zbl 1260.03049 J. Philos. Log. 41, No. 3, 595-612 (2012). Reviewer: Gemma Robles (León) MSC: 03B47 03A05 03B45 03B53 PDFBibTeX XMLCite \textit{J. Beall} et al., J. Philos. Log. 41, No. 3, 595--612 (2012; Zbl 1260.03049) Full Text: DOI
Silvestre, Ricardo Sousa On the logical formalization of theory change and scientific anomalies. (English) Zbl 1246.03020 Log. J. IGPL 20, No. 2, 517-532 (2012). MSC: 03A10 70F15 PDFBibTeX XMLCite \textit{R. S. Silvestre}, Log. J. IGPL 20, No. 2, 517--532 (2012; Zbl 1246.03020) Full Text: DOI Link
Bueno-Soler, Juliana Models for anodic and cathodic multimodalities. (English) Zbl 1256.03024 Log. J. IGPL 20, No. 2, 458-476 (2012). MSC: 03B45 03B53 PDFBibTeX XMLCite \textit{J. Bueno-Soler}, Log. J. IGPL 20, No. 2, 458--476 (2012; Zbl 1256.03024) Full Text: DOI Link
Provijn, Dagmar The generation of abductive explanations from inconsistent theories. (English) Zbl 1256.03031 Log. J. IGPL 20, No. 2, 400-416 (2012). MSC: 03B53 68T27 PDFBibTeX XMLCite \textit{D. Provijn}, Log. J. IGPL 20, No. 2, 400--416 (2012; Zbl 1256.03031) Full Text: DOI
Priest, Graham Realism, antirealism, and paraconsistency. (English) Zbl 1261.03045 Rahman, Shahid (ed.) et al., The realism-antirealism debate in the age of alternative logics. Berlin: Springer (ISBN 978-94-007-1922-4/hbk; 978-94-007-1923-1/ebook). Logic, Epistemology, and the Unity of Science 23, 181-190 (2012). Reviewer: Manuel Bremer (Düsseldorf) MSC: 03A05 03B20 03B53 03B60 PDFBibTeX XMLCite \textit{G. Priest}, Log. Epistemol. Unity Sci. 23, 181--190 (2012; Zbl 1261.03045) Full Text: DOI
Van De Putte, Frederik Hierarchic adaptive logics. (English) Zbl 1260.03056 Log. J. IGPL 20, No. 1, 45-72 (2012). MSC: 03B60 03B53 03B62 PDFBibTeX XMLCite \textit{F. Van De Putte}, Log. J. IGPL 20, No. 1, 45--72 (2012; Zbl 1260.03056) Full Text: DOI Link
Cobreros, Pablo; Egré, Paul; Ripley, David; van Rooij, Robert Tolerant, classical, strict. (English) Zbl 1243.03038 J. Philos. Log. 41, No. 2, 347-385 (2012). MSC: 03B60 03A05 91E99 PDFBibTeX XMLCite \textit{P. Cobreros} et al., J. Philos. Log. 41, No. 2, 347--385 (2012; Zbl 1243.03038) Full Text: DOI
Weber, Zach Transfinite cardinals in paraconsistent set theory. (English) Zbl 1262.03109 Rev. Symb. Log. 5, No. 2, 269-293 (2012). Reviewer: Maarten McKubre-Jordens (Christchurch) MSC: 03E70 03B53 03E25 03E55 PDFBibTeX XMLCite \textit{Z. Weber}, Rev. Symb. Log. 5, No. 2, 269--293 (2012; Zbl 1262.03109) Full Text: DOI
Zhang, Xiaowang; Lin, Zuoquan Quasi-classical description logic. (English) Zbl 1236.68233 J. Mult.-Val. Log. Soft Comput. 18, No. 3-4, 291-327 (2012). MSC: 68T27 03B50 03B53 68T30 PDFBibTeX XMLCite \textit{X. Zhang} and \textit{Z. Lin}, J. Mult.-Val. Log. Soft Comput. 18, No. 3--4, 291--327 (2012; Zbl 1236.68233)
Kamide, Norihiro; Wansing, Heinrich Proof theory of Nelson’s paraconsistent logic: a uniform perspective. (English) Zbl 1382.03048 Theor. Comput. Sci. 415, 1-38 (2012). MSC: 03B53 03F05 PDFBibTeX XMLCite \textit{N. Kamide} and \textit{H. Wansing}, Theor. Comput. Sci. 415, 1--38 (2012; Zbl 1382.03048) Full Text: DOI