Results for 'Dimiter Driankov'

48 found
Order:
  1.  12
    (1 other version)Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's Class.Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 499-518.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  28
    On a modal-type language for the predicate calculus.Dimiter Skordev - 1984 - Bulletin of the Section of Logic 13 (3):111-116.
    In order to avoid the use of individual variables in predicate calculus, several authors proposed language whose expressions can be interpreted, in general, as denotations of predicates . The present author also proposed a language of this kind [5]. The absence of individual variables makes all these languages rather different from the traditional language of predicate calculus and from the usual language of mathematics. The translation procedures from the ordinary predicate languages into the predicate languages without individual variables and vice (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  19
    Some subrecursive versions of Grzegorczyk's Uniformity Theorem.Dimiter Skordev - 2004 - Mathematical Logic Quarterly 50 (4-5):520-524.
    A theorem published by A. Grzegorczyk in 1955 states a certain kind of effective uniform continuity of computable functionals whose values are natural numbers and whose arguments range over the total functions in the set of the natural numbers and over the natural numbers. Namely, for any such functional a computable functional with one function-argument and the same number-arguments exists such that the values of the first of the functionals at functions dominated by a given one are completely determined by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  5
    Критическата школа Фриз-Нелсон-Торбов.Dimitæur ëtìsaëtìsov - 1999 - Sofii︠a︡: Ik Bogianna.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  12
    (1 other version)Dynamic Mereotopology II: Axiomatixing some Whiteheadean Type Space-time Logics.Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 538-558.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  45
    Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation.Dimiter Vakarelov - 2005 - Studia Logica 80 (2):393-430.
    Constructive logic with Nelson negation is an extension of the intuitionistic logic with a special type of negation expressing some features of constructive falsity and refutation by counterexample. In this paper we generalize this logic weakening maximally the underlying intuitionistic negation. The resulting system, called subminimal logic with Nelson negation, is studied by means of a kind of algebras called generalized N-lattices. We show that generalized N-lattices admit representation formalizing the intuitive idea of refutation by means of counterexamples giving in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  7.  53
    Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation.Dimiter Vakarelov - 2006 - Studia Logica 84 (1):105-127.
    The paper is devoted to the contributions of Helena Rasiowa to the theory of non-classical negation. The main results of Rasiowa in this area concerns–constructive logic with strong (Nelson) negation.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  8.  33
    Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety.Dimiter Vakarelov - 1989 - Studia Logica 48 (4):565 - 575.
    Four known three-valued logics are formulated axiomatically and several completeness theorems with respect to nonstandard intuitive semantics, connected with the notions of information, contrariety and subcontrariety is given.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  9.  55
    A mereotopology based on sequent algebras.Dimiter Vakarelov - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):342-364.
    Mereotopology is an extension of mereology with some relations of topological nature like contact. An algebraic counterpart of mereotopology is the notion of contact algebra which is a Boolean algebra whose elements are considered to denote spatial regions, extended with a binary relation of contact between regions. Although the language of contact algebra is quite expressive to define many useful mereological relations and mereotopological relations, there are, however, some interesting mereotopological relations which are not definable in it. Such are, for (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  44
    Towards a new image of science: Science teaching and non-analytical philosophy of science.Dimiter Ginev - 1990 - Studies in Philosophy and Education 10 (1):63-71.
    This paper describes an attempt to develop a pedagogy for teaching philosophy in science rather than a philosophy of science to be taught in the Bulgarian educational system.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  29
    The scientification of methodology of science.Dimiter Ginev & Asarja Polikarov - 1988 - Zeitschrift Für Allgemeine Wissenschaftstheorie 19 (1):18-27.
    Unter dem Begriff der „Verwissenschaftlichung der Methodologie der Wissenschaft“ verstehen wir den Einfluß wissenschaftlicher Erkenntnis auf die eine oder andere Art und Weise auf die Methodologie der Wissenschaft, insbesondere den Gebrauch von wissenschaftlichen Ideen und Methoden für die Formulierung und Lösung von methodologischen Problemen der Wissenschaft und Problemen der Methodologie selbst. Es werden vier Haupttendenzen im Prozeß der Verwissenschaftlichung der Methodologie vorgestellt: (a) der Übergang vom „statement view“ zum mathematischen Holismus; (b) die Verwissenschaftlichung auf system-theoretischer Basis; (c) der Einzug soziologischer (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  20
    Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers.Dimiter Skordev - 2002 - Mathematical Logic Quarterly 48 (S1):91-106.
    Given a class ℱ oft otal functions in the set oft he natural numbers, one could study the real numbers that have arbitrarily close rational approximations explicitly expressible by means of functions from ℱ. We do this for classes ℱsatisfying certain closedness conditions. The conditions in question are satisfied for example by the class of all recursive functions, by the class of the primitive recursive ones, by any of the Grzegorczyk classes ℰnwith n ≥ 2, by the class of all (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  10
    Rezension.Dimiter Ginev - 1988 - Zeitschrift Für Allgemeine Wissenschaftstheorie 19 (2):391-393.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  8
    Rezeptionsgeschichte ohne Ende.Dimiter Georgiev Saschew - 2005 - Studia Phaenomenologica 5:35-43.
    The following paper discusses from the point of view of the translator the obstacles, both institutional and linguistic, encountered during the introduction of Heidegger’s book Being and Time in the Bulgarian socio-cultural context. In particular some basic terms, which compose the core of Heidegger’s book, have been thoroughly analyzed. These include terms and categories such as: Dasein, Geschichte / Historie, Zeitigkeit / Zeitlichkeit, Gegenwart / Gegen-wart, Zukunft / Zukommen, Gewärtigen, Vergangenheit, Man / Manselbst, Bewandtnis and others. Concrete arguments have been (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  25
    (1 other version)Finnish approaches to Sein und Zeit.Dimiter Georgiev Saschew, Ivan Chvatik, Mark Wildschut, John Macquarrie, Joan Stambaugh, Reijo Kupiainen, Rudolf Boehm, Francois Vezin, Johann Tzavaras & Mihaly Vajda - 2005 - Studia Phaenomenologica 5:119-127.
    In this paper I try to underline both the positive and negative circumstances in which I began translating Heidegger's "Sein und Zeit" in Greek. In 1971 I started, as a young student of philosophy, to study and translate this book, although I misunderstood it and considered it as a paradigm of "existentiell", not existential philosophy. I benefited essentially from both the English and the French translations and I've also received great help from my Greek mentor, E. N. Platis. I published (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  16. (1 other version)Hyper Arrow Structures. Arrow Logics III.Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 269-290.
    No categories
     
    Export citation  
     
    Bookmark  
  17.  12
    Modal Logics of Arrows.Dimiter Vakarelov - 1997 - In Maarten de Rijke (ed.), Advances in Intensional Logic. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 137--171.
  18.  68
    Intuitionistic modal logics incompatible with the law of the excluded middle.Dimiter Vakarelov - 1981 - Studia Logica 40 (2):103 - 111.
    In this paper, intuitionistic modal logics which do not admit the law of the excluded middle are studied. The main result is that there exista a continuum of such logics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  19.  56
    A Proximity Approach to Some Region-Based Theories of Space.Dimiter Vakarelov, Georgi Dimov, Ivo Düntsch & Brandon Bennett - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):527-559.
    This paper is a continuation of [VAK 01]. The notion of local connection algebra, based on the primitive notions of connection and boundedness, is introduced. It is slightly different but equivalent to Roeper's notion of region-based topology [ROE 97]. The similarity between the local proximity spaces of Leader [LEA 67] and local connection algebras is emphasized. Machinery, analogous to that introduced by Efremovi?c [EFR 51],[EFR 52], Smirnov [SMI 52] and Leader [LEA 67] for proximity and local proximity spaces, is developed. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  20.  12
    (1 other version)The “science — methodology” iterative cycle.Dimíter Ginev - 1986 - Zeitschrift Für Allgemeine Wissenschaftstheorie 17 (1):143-153.
  21.  40
    A duality between Pawlak's knowledge representation systems and bi-consequence systems.Dimiter Vakarelov - 1995 - Studia Logica 55 (1):205 - 228.
    A duality between Pawlak's knowledge representation systems and certain information systems of logical type, called bi-consequence systems is established. As an application a first-order characterization of some informational relations is given and a completeness theorem for the corresponding modal logic INF is proved. It is shown that INF possesses finite model property and hence is decidable.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Comparative Analysis of Scientific Knowledge.Dimiter Ginev - 1984 - Epistemologia 7 (1):43-54.
  23.  73
    A System of Relational Syllogistic Incorporating Full Boolean Reasoning.Nikolay Ivanov & Dimiter Vakarelov - 2012 - Journal of Logic, Language and Information 21 (4):433-459.
    We present a system of relational syllogistic, based on classical propositional logic, having primitives of the following form: $$\begin{array}{ll}\mathbf{Some}\, a \,{\rm are} \,R-{\rm related}\, {\rm to}\, \mathbf{some} \,b;\\ \mathbf{Some}\, a \,{\rm are}\,R-{\rm related}\, {\rm to}\, \mathbf{all}\, b;\\ \mathbf{All}\, a\, {\rm are}\,R-{\rm related}\, {\rm to}\, \mathbf{some}\, b;\\ \mathbf{All}\, a\, {\rm are}\,R-{\rm related}\, {\rm to}\, \mathbf{all} \,b.\end{array}$$ Such primitives formalize sentences from natural language like ‘ All students read some textbooks’. Here a, b denote arbitrary sets (of objects), and R denotes an (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  24. A modal approach to dynamic ontology: modal mereotopology.Dimiter Vakarelov - 2008 - Logic and Logical Philosophy 17 (1-2):163-183.
    In this paper we show how modal logic can be applied in the axiomatizations of some dynamic ontologies. As an example we consider the case of mereotopology, which is an extension of mereology with some relations of topological nature like contact relation. We show that in the modal extension of mereotopology we may define some new mereological and mereotopological relations with dynamic nature like stable part-of and stable contact. In some sense such “stable” relations can be considered as approximations of (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  37
    One dimension of the scientific type of rationality (a reflection upon the theory of group rationality).Anguel Stefanov & Dimiter Ginev - 1985 - Studies in History and Philosophy of Science Part A 16 (2):101-111.
  26.  58
    Dynamic Modalities.Dimiter Vakarelov - 2012 - Studia Logica 100 (1-2):385-397.
    A new modal logic containing four dynamic modalities with the following informal reading is introduced: $${\square^\forall}$$ – always necessary , $${\square^\exists}$$ – sometimes necessary , and their duals – $${\diamondsuit^\forall}$$ – always possibly , and $${\diamondsuit^\exists}$$ – sometimes possibly . We present a complete axiomatization with respect to the intended formal semantics and prove decidability via fmp.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  27.  28
    Many-dimensional arrow logics.Dimiter Vakarelov - 1996 - Journal of Applied Non-Classical Logics 6 (4):303-345.
    ABSTRACT The notion of n-dimensional arrow structure is introduced, which for n = 2 coincides with the notion of directed multi-graph. In part I of the paper several first-order and modal languages connected with arrow structures are studied and their expressive power is compared. Part II is devoted to the axiomatization of some arrow logics. At the end some further perspectives of ?arrow approach? are discussed.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  11
    (1 other version)Logics of Space with Connectedness Predicates: Complete Axiomatizations.Tinko Tinchev & Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 434-453.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Elementary canonical formulae: extending Sahlqvist’s theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.
    We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  30.  41
    PDL with intersection of programs: a complete axiomatization.Philippe Balbiani & Dimiter Vakarelov - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):231-276.
    One of the important extensions of PDL is PDL with intersection of programs. We devote this paper to its complete axiomatization.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  31.  13
    (1 other version)Modal logics for mereotopological relations.Yavor Nenov & Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 249-272.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  32. Hyperboolean Algebras and Hyperboolean Modal Logic.Valentin Goranko & Dimiter Vakarelov - 1999 - Journal of Applied Non-Classical Logics 9 (2):345-368.
    Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks the finite model property. The (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  33.  25
    Dynamic extensions of arrow logic.Philippe Balbiani & Dimiter Vakarelov - 2004 - Annals of Pure and Applied Logic 127 (1-3):1-15.
    This paper is devoted to the complete axiomatization of dynamic extensions of arrow logic based on a restriction of propositional dynamic logic with intersection. Our deductive systems contain an unorthodox inference rule: the inference rule of intersection. The proof of the completeness of our deductive systems uses the technique of the canonical model.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  48
    Conditional computability of real functions with respect to a class of operators.Ivan Georgiev & Dimiter Skordev - 2013 - Annals of Pure and Applied Logic 164 (5):550-565.
    For any class of operators which transform unary total functions in the set of natural numbers into functions of the same kind, we define what it means for a real function to be uniformly computable or conditionally computable with respect to this class. These two computability notions are natural generalizations of certain notions introduced in a previous paper co-authored by Andreas Weiermann and in another previous paper by the same authors, respectively. Under certain weak assumptions about the class in question, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  37
    (1 other version)Die pragmatische wende im, widerstreit'?Peter Bachmaier, Dimiter Ginev, Joop Schopman & Ralph Schumacher - 1989 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 20 (1):148-169.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. (1 other version)Sahlqvist Formulas Unleashed in Polyadic Modal Languages.Valentin Goranko & Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 221-240.
    We propose a generalization of Sahlqvist formulae to polyadic modal languages by representing modal polyadic languages in a combinatorial style and thus, in particular, developing what we believe to be the right approach to Sahlqvist formulae at all. The class of polyadic Sahlqvist formulae PSF defined here expands essentially the so far known one. We prove first-order definability and canonicity for the class PSF.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  37. (1 other version)Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.Valentin Goranko & Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 265-292.
    We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  33
    Dynamic logics of the region-based theory of discrete spaces.Philippe Balbiani, Tinko Tinchev & Dimiter Vakarelov - 2007 - Journal of Applied Non-Classical Logics 17 (1):39-61.
    The aim of this paper is to give new kinds of modal logics suitable for reasoning about regions in discrete spaces. We call them dynamic logics of the region-based theory of discrete spaces. These modal logics are linguistic restrictions of propositional dynamic logic with the global diamond E. Their formulas are equivalent to Boolean combinations of modal formulas like E(A ∧ ⟨α⟩ B) where A and B are Boolean terms and α is a relational term. Examining what we can say (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39. Fuzzy control approaches.R. Palm, S. Shenoi, J. Valente de Oliveira, J. M. Lemos, G. Vachtsevanos, D. Driankov & J. -S. Roger Jang - 1998 - In Enrique H. Ruspini, Piero Patrone Bonissone & Witold Pedrycz (eds.), Handbook of fuzzy computation. Philadelphia: Institute of Physics.
    No categories
     
    Export citation  
     
    Bookmark  
  40.  6
    Gabrovskata remkeanska shkola i Dimitŭr Mikhalchev.Mirela Kostadinova, Angel S. Stefanov & Dimitæur ëtìsaëtìsov - 2000 - Sofii︠a︡: Izd-vo "LIK". Edited by Angel S. Stefanov & Dimitŭr T︠S︡at︠s︡ov.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  28
    Dimiter Angelov, The Byzantine Hellene: The Life of Emperor Theodore Laskaris and Byzantium in the Thirteenth Century. Cambridge: Cambridge University Press, 2019. Pp. xx, 441; color plates and black-and-white figures. $49.99. ISBN: 978-1-1084-8071-0. [REVIEW]Nikolaos G. Chrissis - 2022 - Speculum 97 (3):778-779.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  35
    Dimiter G. Angelov, ed., Church and Society in Late Byzantium.(Studies in Medieval Culture, 49.) Kalamazoo, Mich.: Medieval Institute Publications, Western Michigan University, 2009. Paper. Pp. xi, 242; maps. [REVIEW]Andrew Louth - 2010 - Speculum 85 (4):926-927.
  43.  13
    (1 other version)Review: Dimiter G. Skordev, Computability in Combinatory Spaces. An Algebraic Generalization of Abstract First Order Computability. [REVIEW]Dag Normann - 1995 - Journal of Symbolic Logic 60 (2):695-696.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  22
    Ruth Macrides / Joseph A. Munitiz/ Dimiter Angelov. Pseudo-Kodinos and the Constantinopolitan court: offices and ceremonies.Sebastian Kolditz - 2021 - Byzantinische Zeitschrift 114 (1):429-440.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  19
    Ruth Macrides, J. A. Munitiz, and Dimiter Angelov, Pseudo-Kodinos and the Constantinopolitan Court: Offices and Ceremonies. Farnham, Surrey, UK, and Burlington, VT: Ashgate, 2013. Pp. xxii, 540; 24 color and black-and-white figures, 1 map, 5 tables. ₤85. ISBN: 978-0-756-6752-0. [REVIEW]Alexander Riehle - 2015 - Speculum 90 (3):832-834.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  43
    Sahar Bazzaz, Yota Batsaki, and Dimiter Angelov, eds., Imperial Geographies in Byzantine and Ottoman Space. Washington, DC: Center for Hellenic Studies, 2013. Paper. Pp. viii, 274; 8 black-and-white figures and 2 maps. $24.95. ISBN: 9780674066625. [REVIEW]Molly Greene - 2014 - Speculum 89 (1):162-164.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  80
    Routley Star and Hyperintensionality.Sergei Odintsov & Heinrich Wansing - 2020 - Journal of Philosophical Logic 50 (1):33-56.
    We compare the logic HYPE recently suggested by H. Leitgeb as a basic propositional logic to deal with hyperintensional contexts and Heyting-Ockham logic introduced in the course of studying logical aspects of the well-founded semantics for logic programs with negation. The semantics of Heyting-Ockham logic makes use of the so-called Routley star negation. It is shown how the Routley star negation can be obtained from Dimiter Vakarelov’s theory of negation and that propositional HYPE coincides with the logic characterized by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  48.  14
    Advances in Intensional Logic.Maarten de Rijke (ed.) - 1997 - Dordrecht, Netherland: Kluwer Academic Publishers.
    Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and even the foundations of mathematics. The present volume is a collection of carefully chosen papers, giving the reader a taste of the frontline state of research in intensional logics today. Most papers are representative of new ideas and/or new research themes. The collection would benefit the researcher as well as the student. This book (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark