×

Found 116 Documents (Results 1–100)

Negation on the neo-Australian plan. (English) Zbl 1505.03061

Sedlár, Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications. 131-145 (2020).
MSC:  03B47 03B42
PDFBibTeX XMLCite

Checking protocol compatibility using Maude. (English) Zbl 1364.68282

Salaün, Gwen (ed.) et al., Proceedings of the 8th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2009), Rhodes, Greece, July 11, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 255, 65-81 (2009).
PDFBibTeX XMLCite
Full Text: Link

On some operations using the min operator. (English) Zbl 1227.03084

Carnielli, Walter (ed.) et al., The many sides of logic. Selected papers of the simultaneous conferences “CLE 30 – 30th Anniversary of the Centre for Logic, Epistemology and the History of Science”, “XV EBL – 15th Brazilian Logic Conference” and “XIV SLALM – 14th Latin-American Symposium on Mathematical Logic”, Paraty, Brazil, May 11–17, 2008. London: College Publications (ISBN 978-1-904987-78-9/pbk). Studies in Logic (London) 21, 353-368 (2009).
MSC:  03G25 06D20
PDFBibTeX XMLCite

Continuity of compatibility function based on \(t\)-operation. (English) Zbl 1191.68687

Cao, Bingyuan (ed.) et al., Fuzzy information and engineering. Vol. 2. Proceedings of the third international conference on fuzzy information and engineering (ICFIE 2009), Chongqing, China, September 26–29, 2009. Berlin: Springer (ISBN 978-3-642-03663-7/pbk; 978-3-642-03664-4/ebook). Advances in Intelligent and Soft Computing 62, 639-645 (2009).
MSC:  68T37 03E72
PDFBibTeX XMLCite
Full Text: DOI

The logic of complementarity. (English) Zbl 1131.03011

van Benthem, Johan (ed.) et al., The age of alternative logics. Assessing philosophy of logic and mathematics today. Based on the conference on philosophical insights into logic and mathematics, Nancy, France, September 30–October 4, 2002. Dordrecht: Springer (ISBN 978-1-4020-5011-4/hbk; 978-1-4020-5012-7/e-book). Logic, Epistemology, and the Unity of Science 3, 103-120 (2006).
PDFBibTeX XMLCite

Similarity and compatibility in fuzzy set theory. Assessment and applications. (English) Zbl 0992.03066

Studies in Fuzziness and Soft Computing. 93. Heidelberg: Physica-Verlag. xii, 209 p. (2002).
PDFBibTeX XMLCite

Distributed first order logics. (English) Zbl 1021.03007

Gabbay, Dov M. (ed.) et al., Frontiers of combining systems 2. Selected papers from the 2nd international workshop (FroCoS’98), Amsterdam, Netherlands, October 2-4, 1998. Baldock: Research Studies Press. Stud. Log. Comput. 7, 121-139 (2000).
MSC:  03B42 68T30 68T27
PDFBibTeX XMLCite

Unification and matching in process algebras. (English) Zbl 0905.68091

Nipkow, Tobias (ed.), Rewriting techniques and applications. 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1379, 91-105 (1998).
PDFBibTeX XMLCite

A category of transition systems and its relations with orthomodular posets. (English) Zbl 0934.18005

Privara, L. (ed.) et al., Mathematical foundations of computer science 1997. 22nd international symposium, MFCS ’97, Bratislava, Slovakia, August 25-29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1295, 139-148 (1997).
PDFBibTeX XMLCite

Alternatives to the consequence-theoretic approach to metalogic. (English) Zbl 0820.03006

Proceedings of the IX Latin American symposium on mathematical logic, Bahía Blanca, Argentina, August 3-8, 1992. Part 2. Bahía Blanca: Universidad Nacional del Sur, Notas Logica Mat. 39, 1-30 (1994).
MSC:  03B22
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software