×

Found 111 Documents (Results 1–100)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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).
PDFBibTeX XMLCite

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

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

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

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

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

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

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

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

Filter Results by …

Document Type

Database

all top 5

Author

all top 3

Main Field

Biographic Reference

Software