×

Found 121 Documents (Results 1–100)

Dynamic epistemic preferential logic of action. (English) Zbl 1486.68182

Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 16th international conference, ICAISC 2017, Zakopane, Poland, June 11–15, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10246, 243-254 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Runtime verification monitor construction for three-valued PPTL. (English) Zbl 1461.68122

Liu, Shaoying (ed.) et al., Structured object-oriented formal language and method. 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10189, 144-159 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Gödel logic. From natural deduction to parallel computation. (English) Zbl 1452.03065

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 16, 12 p. (2017).
MSC:  03B50 03B20 03B40
PDFBibTeX XMLCite
Full Text: arXiv Link

The logic for metaphysical conceptions of vagueness. (English) Zbl 1430.03018

Prosorov, Oleg (ed.), Proceedings of the international conference on philosophy, mathematics, linguistics: aspects of interaction (PhML-2012), Euler International Mathematical Institute St. Petersburg, St. Petersburg, Russia, May 22–25, 2012. London: College Publications. Stud. Log. (Lond.) 70, 157-176 (2017).
MSC:  03A05 03B50 03B52
PDFBibTeX XMLCite

Equilibrium semantics for IF logic and many-valued connectives. (English) Zbl 1428.03053

Hansen, Helle Hvid (ed.) et al., Logic, language, and computation. 11th international Tbilisi symposium, TbiLLC 2015, Tbilisi, Georgia, September 21–26, 2015. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 10148, 290-312 (2017).
MSC:  03B60 03B50
PDFBibTeX XMLCite
Full Text: DOI

LP, K3 and FDE as substructural logics. (English) Zbl 1418.03113

Arazim, Pavel (ed.) et al., The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2016. London: College Publications. 257-272 (2017).
MSC:  03B47 03B50
PDFBibTeX XMLCite

Non-classical PDL on the cheap. (English) Zbl 1418.03143

Arazim, Pavel (ed.) et al., The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2016. London: College Publications. 239-255 (2017).
PDFBibTeX XMLCite

Ignorance without \(K\)(nowledge). (English) Zbl 1418.03053

Arazim, Pavel (ed.) et al., The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2016. London: College Publications. 109-123 (2017).
MSC:  03B42 03B45 03B50
PDFBibTeX XMLCite

Gödel logics and the fully boxed fragment of FO-LTL. (English) Zbl 1402.03025

Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 404-416 (2017).
MSC:  03B44 03B50 03B70
PDFBibTeX XMLCite
Full Text: DOI

Minimally many-valued extensions of the monoidal t-norm based logic MTL. (English) Zbl 1401.03048

Petrosino, Alfredo (ed.) et al., Fuzzy logic and soft computing applications. 11th international workshop, WILF 2016, Naples, Italy, December 19–21, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-52961-5/pbk; 978-3-319-52962-2/ebook). Lecture Notes in Computer Science 10147. Lecture Notes in Artificial Intelligence, 106-115 (2017).
MSC:  03B50 03B52
PDFBibTeX XMLCite
Full Text: DOI

Sequences of orthopairs given by refinements of coverings. (English) Zbl 1401.03089

Petrosino, Alfredo (ed.) et al., Fuzzy logic and soft computing applications. 11th international workshop, WILF 2016, Naples, Italy, December 19–21, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-52961-5/pbk; 978-3-319-52962-2/ebook). Lecture Notes in Computer Science 10147. Lecture Notes in Artificial Intelligence, 95-105 (2017).
MSC:  03E72 03G25
PDFBibTeX XMLCite
Full Text: DOI

Eigenlogic: a quantum view for multiple-valued and fuzzy systems. (English) Zbl 1401.03103

de Barros, Jose Acacio (ed.) et al., Quantum interaction. 10th international conference, QI 2016, San Francisco, CA, USA, July 20–22, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-52288-3/pbk; 978-3-319-52289-0/ebook). Lecture Notes in Computer Science 10106, 239-251 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Depth of closed classes of truth functions in many-valued logic. (English) Zbl 1436.03155

Konstantinidis, Stavros (ed.) et al., The role of theory in computer science. Essays dedicated to Janusz Brzozowski. Hackensack, NJ: World Scientific. 203-216 (2017).
MSC:  03B50
PDFBibTeX XMLCite
Full Text: DOI

The minimum number of negations in circuits for systems of multi-valued functions. (English. Russian original) Zbl 1441.94117

Discrete Math. Appl. 27, No. 5, 295-302 (2017); translation from Diskretn. Mat. 28, No. 4, 80-90 (2016).
MSC:  94C11 03B50
PDFBibTeX XMLCite
Full Text: DOI

Proceedings of the 47th IEEE international symposium on multiple-valued logic, ISMVL 2017, Novi Sad, Serbia, May 22–24, 2017. (English) Zbl 1380.94001

Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-5090-5495-4/print; 978-1-5090-5496-1/ebook). xv, 292 p. (2017).
MSC:  94-06 03-06 03B50 94C10 00B25
PDFBibTeX XMLCite
Full Text: Link

First-order interpolation of non-classical logics derived from propositional interpolation. (English) Zbl 1496.03097

Dixon, Clare (ed.) et al., Frontiers of combining systems. 11th international symposium, FroCoS 2017, Brasília, Brazil, September 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10483, 265-280 (2017).
MSC:  03B50 03F03
PDFBibTeX XMLCite
Full Text: DOI

Lattice logic properly displayed. (English) Zbl 1496.03103

Kennedy, Juliette (ed.) et al., Logic, language, information, and computation. 24th international workshop, WoLLIC 2017, London, UK, July 18–21, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10388, 153-169 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry. (English) Zbl 1441.03002

Trends in Logic – Studia Logica Library 49. Cham: Springer (ISBN 978-3-319-70820-1/hbk; 978-3-319-70821-8/ebook). xiii, 198 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

An extended first-order Belnap-Dunn logic with classical negation. (English) Zbl 1496.03104

Baltag, Alexandru (ed.) et al., Logic, rationality, and interaction. 6th international workshop, LORI 2017, Sapporo, Japan, September 11–14, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10455, 79-93 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Countability of the set of closed overclasses of some minimal classes in the partly ordered set \(\mathcal{L}_{2}^{3}\) of all closed classes of three-valued logic that can be mapped homomorphically onto two-valued logic. (English. Russian original) Zbl 1423.03071

Mosc. Univ. Math. Bull. 72, No. 1, 35-36 (2017); translation from Vestn. Mosk. Univ., Ser. I 72, No. 1, 62-64 (2017).
MSC:  03B50
PDFBibTeX XMLCite
Full Text: DOI

A two-tiered propositional framework for handling multisource inconsistent information. (English) Zbl 1491.68199

Antonucci, Alessandro (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10369, 398-408 (2017).
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

Database

all top 5

Author

all top 3

Main Field

Biographic Reference

all top 3

Software