Results for 'Sergey L. Katrechko'

(not author) ( search as author name )
981 found
Order:
  1.  4
    Report of the ‘Transcendental Turn in Contemporary Philo­sophy 2’ Inter­national Seminar.Sergey L. Katrechko - 2018 - Kantovskij Sbornik 37 (1):88-93.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  15
    Kant’s Transcendentalism as Metaphysics of Possible Experience and its Realistic Interpretation in Analytical Philosophy.Sergey L. Katrechko & Катречко Сергей Леонидович - 2023 - RUDN Journal of Philosophy 27 (3):659-676.
    In the “Critique of Pure Reason” and subsequent “Prolegomena to Any Future Metaphysics...”, “Metaphysical Principles of Natural Science”, “Opus Postumum” Kant develops one of the modes of his transcendentalism, the metaphysics of possible experience, whose task is to study the transcendental conditions for the possibility of our (cognition), which, according to Kant, has a priori character. P. Strawson calls this mode of metaphysics ‘ descriptive metaphysics ’ and connects it with the analyzing the ‘conceptual structure’ of our thinking about the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  4
    Modern Images of Transcendental Metaphysics.Sergey L. Katrechko, Pavel A. Vladimirov & Aleksandra S. Perepechina - 2021 - RUDN Journal of Philosophy 25 (4):729-738.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  6
    Transcendental Turn in Contemporary Philosophy-5: The Transcendental Method and Modern Science.Sergey L. Katrechko, Anna A. Shiyan & Maxim D. Evstigneev - 2021 - RUDN Journal of Philosophy 25 (1):165-178.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  11
    Transcendental Turn in Contemporary Philosophy - VII: Transcendentalism and Cognitive Science.Sergey L. Katrechko, Anna A. Shiyan & Tatyana V. Salnikova - 2022 - RUDN Journal of Philosophy 26 (3):720-728.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  19
    Review of the 13th International Kant Congress. [REVIEW]Sergey L. Katrechko - 2022 - Kantian Journal 41 (1):171-180.
    The 13th International Kant Congress was held on August 6-9, 2019 in Oslo, Norway. The main tasks of this review are to analyse the central theme of the Congress, “The Court of Reason”, the related spheres of philosophical inquiry such as metaphilosophy and philosophical methodology, as well as to reveal the main approaches and development trends of transcendental philosophy in “theoretical” and “practical” fields and modern Kant studies, notably transcendental philosophy of language and consciousness. The solution of these tasks will (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  3
    The Concept “World (die Welt)” in the Transcendental Perspective.Sergey Katrechko - 2020 - Studies in Transcendental Philosophy 1 (2-3).
    The topic of this article is the problem of World and Infinity. The concepts “Weltanschauung,” (I. Kant) and “Umgreifende” (K. Jaspers) are introduced. A transcendental analysis of the concepts "World" and "Infinite" as ideas of reason is carried out. The theory of the world by L. Tengely is analyzed. Metaphysical and mathematical interpretations of the infinite are compared (actual and potential infinity, openness, horizon).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  28
    Effects of substitution on low-temperature physical properties of LuFe2Ge2.Sheng Ran, Sergey L. Bud'ko & Paul C. Canfield - 2011 - Philosophical Magazine 91 (34):4388-4400.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  13
    Anisotropic thermal expansion ofAEFe2As2 single crystals.Sergey L. Bud'ko, Ni Ni & Paul C. Canfield - 2010 - Philosophical Magazine 90 (9):1219-1227.
  10.  12
    Frequency dependence of the spin glass freezing temperatures in icosahedral R–Mg–Zn quasicrystals.Sergey L. Bud'ko & Paul C. Canfield - 2012 - Philosophical Magazine 92 (35):4492-4497.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  25
    Physical properties of single crystalline BaSn5.Xiao Lin, Sergey L. Bud'ko & Paul C. Canfield - 2012 - Philosophical Magazine 92 (24):3006-3014.
  12.  15
    Development of viable solutions for the synthesis of sulfur bearing single crystals.Xiao Lin, Sergey L. Bud'ko & Paul C. Canfield - 2012 - Philosophical Magazine 92 (19-21):2436-2447.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  19
    Single crystal growth and superconductivity of Ca2As2.Rongwei Hu, Sheng Ran, Warren E. Straszheim, Sergey L. Bud'ko & Paul C. Canfield - 2012 - Philosophical Magazine 92 (24):3113-3120.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  11
    Kant's "Idea [project] of Transcendental Philosophy".Sergey Katrechko - 2020 - Studies in Transcendental Philosophy 1 (1).
    At the present time, there are several interpretations and modes of Kant’s transcendental philosophy (TP). Which of these interpretations and modes of transcendentalism most adequately express the spirit of TP, i.e. can claim the title of the transcendental ones? For the explication of the ‘idea of transcendental philosophy’ [KrV, A1], here I distinguish two transcendental shifts: methodological and metaphysical ones, which in their totality predetermine the essence and set the specificity of Kant’s transcendental idealism. The methodological transcendental shift that Kant (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15.  17
    Kant's Copernican revolution as an altered method of thinking [in metaphysics]: its structure and status in the system of transcendental philosophy.Sergey Katrechko - 2022 - Studies in Transcendental Philosophy 3 (1-2).
    Kant’s transcendental philosophy of Kant is the metaphysics of possible experience related to the solution of the [semantic] problem set in his famous letter to M. Hertz (02.21.1772): “What is the ground of the relation of that in us which we call 'representation' to the object?” There are two possible ways to solve it: empiricism and apriorism, – and Kant chooses the second of them, thus making his “Copernican Revolution”. In the Preface to the 2nd ed. Critique Kant correlates his (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  27
    Boron isotope effect in single crystals of superconductor.Halyna Hodovanets, Sheng Ran, Paul C. Canfield & Sergey L. Bud’ko - 2013 - Philosophical Magazine 93 (14):1748-1754.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  20
    Thermoelectric power of Ba2As2 and Ba2As2.Halyna Hodovanets, Alex Thaler, Eundeok Mun, Ni Ni, Sergey L. Bud'ko & Paul C. Canfield - 2013 - Philosophical Magazine 93 (6):661-672.
  18.  7
    Is the Kantian Transcendentalism Idealism? Kant's Conceptual Realism.Sergey Katrechko - 2021 - Studies in Transcendental Philosophy 2 (1).
    In my paper I argue, relying on Kantian definitions and conceptual distinctions, the thesis that Kantian transcen-dental philosophy, which he characterizes as a second-order system of transcendental idealism, is not [empirical] idealism, but a form of realism (resp. compatible with empirical realism [A370-1]). As arguments in favor of this “realistic” thesis, I consistently develop a realistic interpretation of the Kant’s concept of appearance (the theory of “two aspects”), as well as of Kantian Copernican revolution, of his theory of intuition as (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  11
    Suppression of ferromagnetism in the LaSb3system.Xiao Lin, Valentin Taufour, Sergey L. Bud’ko & Paul C. Canfield - 2014 - Philosophical Magazine 94 (12):1277-1300.
  20.  53
    Growth and characterization of BaZnGa.Na Hyun Jo, Qisheng Lin, Manh Cuong Nguyen, Udhara S. Kaluarachchi, William R. Meier, Soham Manni, Savannah S. Downing, Anna E. Böhmer, Tai Kong, Yang Sun, Valentin Taufour, Cai-Zhuang Wang, Kai-Ming Ho, Sergey L. Bud’ko & Paul C. Canfield - 2017 - Philosophical Magazine 97 (35):3317-3324.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. On Kant’s Transcendental Argument(s).Sergey Katrechko - 2016 - Con-Textos Kantianos 4:98-117.
    Presented in the “Critique of Pure Reason” transcendental philosophy is the first theory of science,which seeks to identify and study the conditions of the possibility of cognition. Thus, Kant carries out a shift to the study of ‘mode of our cognition’ and TP is a method, where transcendental argumentation acts as its essential basis. The article is devoted to the analysis of the transcendental arguments. In § 2 the background of ТА — transcendental method of Antiquity and Leibniz’s Principle of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  15
    Reflection in the structure of cognition: its modes and types. Reflexive switching and the concept of epigenesis of a priori forms: the onion model of time.Sergey Katrechko - 2023 - Studies in Transcendental Philosophy 4 (1).
    The paper is devoted to the role (function) of reflection in cognition and its modes (types) as part of the cognitive ability. Along with logical and transcendental reflection, Kant's transcendental shift (turn) is discussed, as well as the role of reflection in Kant's schematism (the ability to judge) and the formation of schemas. Particular attention is paid to another mode of reflection – reflexive switching, which underlies not only the formation of pure rational concepts and schemes (Kant's concept of epigenesis; (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  9
    Some Comments to R. Aquila's Paper ‘Kantian Appearances, Intentional Gegenstände, and Some Varieties of Phenomenalism’.Sergey Katrechko & Richard Aquila - 2020 - Studies in Transcendental Philosophy 1 (1).
    In my commentary, I write, firstly, of the dualistic (ambivalent) use of the concept ‘appearance’ by Kant and, secondly, of the need for a semantic (referential) interpretation of the Kantian concept ‘‘appearance’ as opposed to intentional interpretation of R.Aquilla. In his reply to my objections, R. Aquila precisies his initial position and gives additional arguments in it’s favor.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  8
    The Project of the Transcendental Philosophy of I. Kant and the Descriptive Metaphysics of P. Strawson: Similarities and Differences.Sergey Katrechko - 2020 - Studies in Transcendental Philosophy 1 (1).
    The paper discusses the Strawsonian concept of descriptive metaphysics and its various implementations in conceptions of I. Kant, R.G. Collingwood and P.F. Strawson, their similarities and differences. Particular attention is paid to the analysis of Kant's transcendental philosophy (resp. transcendental idealism), or its metaphysics of appearance as a pioneer version of descriptive metaphysics and its comparison with the version of descriptive metaphysics of P. Strawson himself.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  7
    The International Scientific Seminars “Transcendental Turn in Contemporary Philosophy”.S. L. Katrechko - 2018 - RUDN Journal of Philosophy 22 (1):125-130.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  3
    Transcendental Turn in Contemporary Philosophy: Transcendental Metaphysics, Epistemology and Philosophy of Science, Transcendental Theology and Theory of Consciousness.S. L. Katrechko & I. D. Nevazhzhay - 2019 - RUDN Journal of Philosophy 23 (4):548-556.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  49
    Folkbiology of freshwater fish.Douglas L. Medin, Norbert O. Ross, Scott Atran, Douglas Cox, John Coley, Julia B. Proffitt & Sergey Blok - 2006 - Cognition 99 (3):237-273.
  28.  35
    Chromatin loops, illegitimate recombination, and genome evolution.Omar L. Kantidze & Sergey V. Razin - 2009 - Bioessays 31 (3):278-286.
    Chromosomal rearrangements frequently occur at specific places (“hot spots”) in the genome. These recombination hot spots are usually separated by 50–100 kb regions of DNA that are rarely involved in rearrangements. It is quite likely that there is a correlation between the above‐mentioned distances and the average size of DNA loops fixed at the nuclear matrix. Recent studies have demonstrated that DNA loop anchorage regions can be fairly long and can harbor DNA recombination hot spots. We previously proposed that chromosomal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  22
    Kantian Transcendentalism in Contemporary Philosophical Discussions. Report of the “Transcendental Turn in Contemporary Philosophy-3” International Workshop.A. A. Shiyan, N. F. Derzhavina & S. L. Katrechko - 2019 - Kantian Journal 38 (2):103-111.
    The review presents the International Workshop “Transcendental Turn in Contemporary Philosophy-3: Nature of Transcendental Philosophy” held in Moscow on 19-22 April, 2018. The workshop was co-sponsored by the State Academic University for the Humanities, the Russian State University for the Humanities and the Foundation for the Humanities. The review examines the main topics of the workshop, summarises the main presentations and explicates the problem area of modern interpretations of Kant and the development of transcendentalism in the twentieth and twenty-first centuries. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  8
    Société idéale et horizon d'utopie chez J.-J. Rousseau.Sergey Zanin - 2012 - Paris: Classiques Garnier.
    Les notions d'ordre, de raison, de conscience sont des concepts de la philosophie de Rousseau et, en même temps, les valeurs de sa vie. L'idéal de la société constitue un cadre de réflexions sur ces valeurs, exprimant son identité d'écrivain dans la vie sociale et intellectuelle de son temps. Ainsi, il s'écarte de l'utopie au sens propre du mot.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  6
    L’existence sociale de l’utopie.Sergey Zanin - 2022 - Diogène n° 273-274 (1):23-34.
    En partant du constat que les significations du terme « utopie » varient en fonction des différents niveaux de langue (politique, professionnel, commun, etc.) l’auteur s’interroge sur les modalités des « expérimentations utopiques » dans la société. Dans la lignée des analyses de Paul Ricœur et de Robert Nozick, ainsi qu’en s’appuyant sur les conclusions de ses propres recherches consacrées aux représentations utopiques au XVIIIe siècle, l’auteur montre que l’utopie permet à l’individu d’exprimer son idéal de la société basé sur (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  74
    Experimental Bounds on Classical Random Field Theories.Joffrey K. Peters, Jingyun Fan, Alan L. Migdall & Sergey V. Polyakov - 2015 - Foundations of Physics 45 (7):726-734.
    Alternative theories to quantum mechanics motivate important fundamental tests of our understanding and descriptions of the smallest physical systems. Here, using spontaneous parametric downconversion as a heralded single-photon source, we place experimental limits on a class of alternative theories, consisting of classical field theories which result in power-dependent normalized correlation functions. In addition, we compare our results with standard quantum mechanical interpretations of our spontaneous parametric downconversion source over an order of magnitude in intensity. Our data match the quantum mechanical (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  33.  49
    Effective Connectivity within the Default Mode Network: Dynamic Causal Modeling of Resting-State fMRI Data.Maksim G. Sharaev, Viktoria V. Zavyalova, Vadim L. Ushakov, Sergey I. Kartashov & Boris M. Velichkovsky - 2016 - Frontiers in Human Neuroscience 10.
  34.  2
    Compte rendu.Sergey Zanin - 2022 - Diogène n° 273-274 (1):298-302.
    En partant du constat que les significations du terme « utopie » varient en fonction des différents niveaux de langue (politique, professionnel, commun, etc.) l’auteur s’interroge sur les modalités des « expérimentations utopiques » dans la société. Dans la lignée des analyses de Paul Ricœur et de Robert Nozick, ainsi qu’en s’appuyant sur les conclusions de ses propres recherches consacrées aux représentations utopiques au XVIIIe siècle, l’auteur montre que l’utopie permet à l’individu d’exprimer son idéal de la société basé sur (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  7
    The Russian People as They Are. Turgenev’s View.Sergey Nickolsky - 2018 - Russian Journal of Philosophical Sciences 7:71-82.
    The question of the Russian man – his past, present and future – is the central one in the philosophy of history. Unfortunately, at present this area of philosophy is not suffciently developed in Russia. Partly the reason for this situation is the lack of understanding by researchers of the role played by Russian classical literature and its philosophizing writers in historiosophy. The Hunting Sketches, a collection of short stories by I.S. Turgenev, is a work still undervalued, not fully considered (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  5
    How Can the Productive Interaction of Modern Philosophical Traditions Be Possible? (A Comparative Analysis of the Concept of Time in Russell’s and Tengelyi’s Works).Sergey Kulikov - 2020 - Studies in Transcendental Philosophy 1 (2-3).
    The presented article compares the points of view on time developed in analytical philosophy and in phenomenology actively developed by B. Russell and L. Tengelyi. The objective of the study coincides with the identifying a common horizon for understanding time in analytical philosophy and phenomenology. This help to clarify the possibilities of productive interaction between analytical philosophy and phenomenology. The author of the article believes that a positive answer to this question can be ensured by a special thought experiment. The (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  2
    Encyclopedia of philosophical practice (book review: Amir L. Taking Philosophy Seriously, Cambridge Scholars Publishing, 2018, 504 pp.). [REVIEW]Sergey Borisov - 2019 - Sotsium I Vlast 2:132-137.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  28
    Phase pseudowaves and interference on a resonator: to the question of the nature of light and quantum interference.Sergey A. Belozerov - 2012 - Apeiron: Studies in Infinite Nature 19 (3):193.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. Collective Action and the Evolution of Social Norm Internalization.Sergey Gavrilets & Peter J. Richerson - 2017 - Proceedings of the National Academy of Sciences 114 (23):6068--6073.
    No categories
     
    Export citation  
     
    Bookmark   12 citations  
  40.  42
    Unification in linear temporal logic LTL.Sergey Babenyshev & Vladimir Rybakov - 2011 - Annals of Pure and Applied Logic 162 (12):991-1000.
    We prove that a propositional Linear Temporal Logic with Until and Next has unitary unification. Moreover, for every unifiable in LTL formula A there is a most general projective unifier, corresponding to some projective formula B, such that A is derivable from B in LTL. On the other hand, it can be shown that not every open and unifiable in LTL formula is projective. We also present an algorithm for constructing a most general unifier.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  41.  30
    A General Framework for $$ {FDE}$$ FDE -Based Modal Logics.Sergey Drobyshevich - 2020 - Studia Logica 108 (6):1281-1306.
    We develop a general theory of FDE-based modal logics. Our framework takes into account the four-valued nature of FDE by considering four partially defined modal operators corresponding to conditions for verifying and falsifying modal necessity and possibility operators. The theory comes with a uniform characterization for all obtained systems in terms of FDE-style formula-formula sequents. We also develop some correspondence theory and show how Hilbert-style axiom systems can be obtained in appropriate cases. Finally, we outline how different systems from the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42.  45
    Unconscious neural processing differs with method used to render stimuli invisible.Sergey V. Fogelson, Peter J. Kohler, Kevin J. Miller, Richard Granger & Peter U. Tse - 2014 - Frontiers in Psychology 5.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  43.  26
    Tarskian consequence relations bilaterally: some familiar notions.Sergey Drobyshevich - 2019 - Synthese 198 (S22):5213-5240.
    This paper is dedicated to developing a formalism that takes rejection seriously. Bilateral notation of signed formulas with force indicators is adopted to define signed consequences which can be viewed as the bilateral counterpart of Tarskian consequence relations. Its relation to some other bilateral approaches is discussed. It is shown how David Nelson’s logic N4 can be characterized bilaterally and the corresponding completeness result is proved. Further, bilateral variants of three familiar notions are considered and investigated: that of a fragment, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  44.  18
    Value theory in twentieth-century Russian philosophy.Sergey F. Anisimov - 1996 - Journal of Value Inquiry 30 (1-2):91-100.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  10
    The contradictory unity of faith and reason in Christian theoretical thought.Sergey N. Astapov - 2019 - HTS Theological Studies 75 (4):1-9.
    This article aims to demonstrate the unity of faith and reason as irrational and rational elements of the theoretical religious discourse on instances of Christian theoretical thought. This unity was represented as a dialectical contradiction, the violation of which led to the destruction of religious discourse. The contradictory unity of faith and reason was researched in European medieval philosophy and Russian religious philosophy in the first half of the 20th century and in the theoretical systems that were considered ways of (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  54
    The channels model of nuclear matrix structure.Sergey V. Razin & Irina I. Gromova - 1995 - Bioessays 17 (5):443-450.
    The specificity of eukaryotic DNA organization into loops fixed to the nuclear matrix/chromosomal scaffold has been studied for more than fifteen years. The results and conclusions of different authors remain, however, controversial. Recently, we have elaborated a new approach to the study of chromosomal DNA loops. Instead of characterizing loop basements (nuclear matrix DNA), we have concentrated our efforts on the characterization of individual loops after their excision by DNA topoisomerase II‐mediated DNA cleavage at matrix attachment sites. In this review (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Totality of semiosphere (book review).Sergey V. Chebanov - 1998 - Σημιοτκή-Sign Systems Studies 1:417-424.
    No categories
     
    Export citation  
     
    Bookmark  
  48.  25
    Biohermeneutics and hermeneutics of biology.Sergey V. Chebanov - 1999 - Semiotica 127 (1-4):215-226.
  49.  40
    Amalgamating evidence of dynamics.David Danks & Sergey Plis - 2019 - Synthese 196 (8):3213-3230.
    Many approaches to evidence amalgamation focus on relatively static information or evidence: the data to be amalgamated involve different variables, contexts, or experiments, but not measurements over extended periods of time. However, much of scientific inquiry focuses on dynamical systems; the system’s behavior over time is critical. Moreover, novel problems of evidence amalgamation arise in these contexts. First, data can be collected at different measurement timescales, where potentially none of them correspond to the underlying system’s causal timescale. Second, missing variables (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  50.  32
    Proof systems for various fde-based modal logics.Sergey Drobyshevich & Heinrich Wansing - 2020 - Review of Symbolic Logic 13 (4):720-747.
    We present novel proof systems for various FDE-based modal logics. Among the systems considered are a number of Belnapian modal logics introduced in Odintsov & Wansing and Odintsov & Wansing, as well as the modal logic KN4 with strong implication introduced in Goble. In particular, we provide a Hilbert-style axiom system for the logic $BK^{\square - } $ and characterize the logic BK as an axiomatic extension of the system $BK^{FS} $. For KN4 we provide both an FDE-style axiom system (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 981