Addendum to the Paper “Doctoral Dissertations in Logic from Virtual Library of Faculty of Mathematics in Belgrade”
Mirjana Borisavljević (2010)
Review of the National Center for Digitization
Similarity:
Displaying similar documents to “Doctoral Dissertations in Logic from Virtual Library of the Faculty of Mathematics in Belgrade”
Addendum to the Paper “Doctoral Dissertations in Logic from Virtual Library of Faculty of Mathematics in Belgrade”
Doctoral Dissertations in Logic
Mirjana Borisavljević (2012)
Review of the National Center for Digitization
Similarity:
Helena Rasiowa, 1917-1994
Wiktor Bartol, Ewa Orłowska, Andrzej Skowron (1999)
Banach Center Publications
Similarity:
On non-tabular -pre-complete classes of formulas in the propositional provability logic.
Izbaş, Olga, Rusu, Andrei (2006)
Analele Ştiinţifice ale Universităţii “Ovidius" Constanţa. Seria: Matematică
Similarity:
Dark age (but not obscure) logic -- a brief excursion.
De Freitas, Antonio (2002)
Boletín de la Asociación Matemática Venezolana
Similarity:
Aleksandar Kron in Relevance Logic
Slobodan Vujošević (2012)
Review of the National Center for Digitization
Similarity:
Preface
Zoran Ognjanović (2009)
Zbornik Radova
Similarity:
Dialectics and Logic
Svetlana Knjazev Adamović (2012)
Review of the National Center for Digitization
Similarity:
Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
Bart Jacobs (2010)
RAIRO - Theoretical Informatics and Applications
Similarity:
This paper gives a semantical underpinning for a many-sorted modal logic associated with certain dynamical systems, like transition systems, automata or classes in object-oriented languages. These systems will be described as coalgebras of so-called polynomial functors, built up from constants and identities, using products, coproducts and powersets. The semantical account involves Boolean algebras with operators indexed by polynomial functors, called MBAOs, for Many-sorted Boolean...