scientific article; zbMATH DE number 6934359

MaRDI QIDQ4585824zbMATH OpenFDO

Authors

Publication date 10 September 2018

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) General logic (03Bxx) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• scientific article; zbMATH DE number 599028
• Computation, logic, philosophy. A collection of essays
• Intellectics and computational logic. Papers in honor of Wolfgang Bibel
• Logic, meaning and computation. Essays in memory of Alonzo Church
• Logic, language and computation. Festschrift in Honor of Satoru Takasu
• LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science
• Logic, computation and rigorous methods. Essays dedicated to Egon Börger on the occasion of his 75th birthday
• scientific article; zbMATH DE number 49445
• Computational logic: its origins and applications
• Logic in computer science. Selected papers from the 1990 IEEE symposium

Cited in

(13)

• Computation theory and logic. (In memory of Dieter Rödding, 1937--1984. On the occasion of the 50th anniversary of his birth)
• Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Essays dedicated to Samson Abramsky on the occasion of his 60th birthday
• Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
• Thinking and calculating. Essays in logic, its history and its philosophical applications in honour of Massimo Mugnai
• A tribute to José Manuel Valença
• Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems
• scientific article; zbMATH DE number 1288286 (Why is no real title available?)
• A short biography of Luis Fariñas del Cerro
• A question is more illuminating than an answer. A Festschrift for Paulo A. S. Veloso
• Martin Davis on computability, computational logic, and mathematical foundations
• Abstract consequence and logics. Essays in honor of Edelcio G. de Souza
• scientific article; zbMATH DE number 3332420 (Why is no real title available?)
• Editorial

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4585824)