×

Found 36 Documents (Results 1–36)

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
Full Text: DOI

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

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

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 3

Main Field

Software