-
66On superintuitionistic logics as fragments of proof logic extensionsStudia Logica 45 (1). 1986.Coming fromI andCl, i.e. from intuitionistic and classical propositional calculi with the substitution rule postulated, and using the sign to add a new connective there have been considered here: Grzegorozyk's logicGrz, the proof logicG and the proof-intuitionistic logicI set up correspondingly by the calculiFor any calculus we denote by the set of all formulae of the calculus and by the lattice of all logics that are the extensions of the logic of the calculus, i.e. sets of formulae containing …Read more
-
39Deformation-induced dissolution of the intermetallics Ni3Ti and Ni3Al in austenitic steels at cryogenic temperaturesPhilosophical Magazine 96 (17): 1724-1742. 2016.
-
27Ontology of the nanoworld: system approach and the concept of evolutionismAmazonia Investiga 7 (13). 2018.The article deals with the ontological subsystem of the philosophical foundations of the corresponding picture of the world, defining the typical understanding of the world as a unity in a variety of properties and relations typical of a particular historical period on the basis of appropriate philosophical interpretation of such categories as matter, motion, space and time, necessary and accidental, possible and real, and other categories, attracted from the classical philosophical heritage and…Read more
-
26The problem of aim of science in the philosophy of scientific realismJournal of History Culture and Art Research 6 (3). 2021.The article deals with the problem of immanent aim of the scientific cognition. The relationship between science and reality is viewed from the standpoint of scientific realism, resting upon the axiom that theories are assertions about the reality independent of human experience and even of reason itself. The authors argue that the adoption of scientifically-realistic ideal of science gives us a simple and reliable criterion the demarcation of scientific and non-scientific knowledge.
-
2Multidimensional Logic on the Generalized ConsequencesIn D. van Dalen, Daniel Lascar, T. J. Smiley & Association for Symbolic Logic (eds.), Logic Colloquium '80: Papers Intended for the European Summer Meeting of the Association for Symbolic Logic, North-holland. 1982.
-
1Quasi Matrix Deontic Logic with Truth Value "Gluts"In D. van Dalen, Daniel Lascar, T. J. Smiley & Association for Symbolic Logic (eds.), Logic Colloquium '80: Papers Intended for the European Summer Meeting of the Association for Symbolic Logic, North-holland. 1982.