×

Found 201 Documents (Results 1–100)

Recent developments of feedback coding and its relations with many-valued logic. (English) Zbl 1319.03040

van Benthem, Johan (ed.) et al., Proof, computation and agency. Logic at the crossroads. Dordrecht: Springer (ISBN 978-94-007-0920-1/set; 978-94-007-0079-6/hbk; 978-94-007-0080-2/ebook). Synthese Library 352, 115-131 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Conditionals and independence in many-valued logics. (English) Zbl 1245.03031

Sossai, Claudio (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02905-9/pbk). Lecture Notes in Computer Science 5590. Lecture Notes in Artificial Intelligence, 16-21 (2009).
MSC:  03B50
PDFBibTeX XMLCite
Full Text: DOI

Faithful and invariant conditional probability in Łukasiewicz logic. (English) Zbl 1163.03016

Makinson, David (ed.) et al., Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1–4, 2006. Berlin: Springer (ISBN 978-1-4020-9083-7/hbk; 978-1-4020-9084-4/e-book). Trends in Logic–Studia Logica Library 28, 213-232 (2009).
MSC:  03B50 06D35 60A05
PDFBibTeX XMLCite
Full Text: DOI

Embedding in finitely presented lattice-ordered groups: explicit presentation for constructions. (English) Zbl 1125.06013

Campbell, C.M. (ed.) et al., Groups St. Andrews 2005. Vol. II. Selected papers of the conference, St. Andrews, UK, July 30–August 6, 2005. Cambridge: Cambridge University Press (ISBN 978-0-521-69470-4/pbk). London Mathematical Society Lecture Note Series 340, 438-444 (2007).
PDFBibTeX XMLCite

Representation of \(\sigma\)-complete MV-algebras and their associated Dedekind \(\sigma\)-complete \(\ell\)-groups. (English) Zbl 1119.06009

Huynh, Dinh V. (ed.) et al., Algebra and its applications. Proceedings of the international conference, Athens, OH, USA, March 22–26, 2005. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3842-3/pbk). Contemporary Mathematics 419, 219-230 (2006).
PDFBibTeX XMLCite

\(Q\)-ary Ulam-Rényi game with weighted constrained lies. (English) Zbl 1091.68038

Chwa, Kyung-Yong (ed.) et al., Computing and combinatorics. 10th annual international conference, COCOON 2004, Jeju Island, Korea, August 17–20, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22856-X/pbk). Lecture Notes in Computer Science 3106, 82-91 (2004).
MSC:  68P10 91A46
PDFBibTeX XMLCite
Full Text: DOI

Weierstrass approximation theorem and Łukasiewicz formulas with one quantified variable. (English) Zbl 1046.03010

Fitting, Melvin (ed.) et al., Beyond two: Theory and applications of multiple-valued logic. Heidelberg: Physica-Verlag (ISBN 3-7908-1541-1/pbk). Stud. Fuzziness Soft Comput. 114, 315-335 (2003).
MSC:  03B50 03B70 03D15
PDFBibTeX XMLCite

MV-algebras and abelian \(\ell\)-groups: a fruitful interaction. (English) Zbl 1070.06004

Martínez, Jorge (ed.), Ordered algebraic structures. Proceedings of the conference on lattice-ordered groups and \(f\)-rings held at the University of Florida, Gainesville, FL, USA, February 28–March 3, 2001. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0752-3). Developments in Mathematics 7, 57-88 (2002).
MSC:  06D35 06F20 06-02
PDFBibTeX XMLCite

Fault-tolerance and Rota-Metropolis cubic logic. (English) Zbl 1041.03055

Carnielli, Walter A. (ed.) et al., Paraconsistency. The logical way to the inconsistent. Proceedings of the 2nd world congress on paraconsistency, WCP ’2000, in honor of Newton da Costa on the occasion of his 70th birthday, São Paulo, Brazil, May 12–19, 2000. New York, NY: Marcel Dekker (ISBN 0-8247-0805-9/pbk). Lect. Notes Pure Appl. Math. 228, 397-409 (2002).
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software