Results 31 to 40 of about 209,396 (188)
Towards a Proof Theory of G\"odel Modal Logics [PDF]
, 2011 Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic.
A. Avron +23 more
core +1 more source
Logic as an internal organisation of language
Science & PhilosophyContemporary semantic description of logic is based on the ontology of all possible interpretations, an insufficiently clear metaphysical concept. In this article, logic is described as the internal organization of language.
Boris Čulina
doaj +1 more source
Química Nova, 2011 This work describes the creation of an very simple calculation algorithm, based in basic chemical and mathematic principles, for the calculation of weak diprotic acid dissociation constants as, for example, amino acids, from potentiometric titrations ...
Elsa M. Gonçalves +1 more
doaj +1 more source
Sharing a Library between Proof Assistants: Reaching out to the HOL Family [PDF]
, 2018 We observe today a large diversity of proof systems. This diversity has the negative consequence that a lot of theorems are proved many times. Unlike programming languages, it is difficult for these systems to co-operate because they do not implement the
Thiré, François
core +4 more sources
Model theory and foundations of logic
Acta Universitatis Carolinae: Philosophica et Historica, 2016 Despite its popularity, model theory based on Tarski’s insights is in need of deeper philosophical reflection. A wide range of stances towards it was proposed, some seeing it as project based on fundamental misconceptions, some asserting it reveals the ...
Pavel Arazim
doaj +1 more source
Dwie (anty)filozoficzne „gramatyki” Wittgensteina [Two (anti )philosophical grammars of Ludwig Wittgenstein] [PDF]
Analiza i Egzystencja, 2013 Wittgenstein is the author of two conceptions of “grammar”, that were meant to be tools of reaching the same goal: discrediting of the traditional, i.e. “metaphysical” questions of philosophy.
Adam Nowaczyk, Ewa Czesna
doaj
Loop-free verification of termination of derivation for a fragment of dynamic logic
Lietuvos Matematikos Rinkinys, 2008 A fragment of a deterministic propositional dynamic logic (DPDL, in short) is considered The language of considered fragment contains propositional symbols, action constants, action operator (repetition) and logical symbols.
Regimantas Pliuškevičius
doaj +1 more source
Systematic construction of kinetic models from genome-scale metabolic networks. [PDF]
PLoS ONE, 2013 The quantitative effects of environmental and genetic perturbations on metabolism can be studied in silico using kinetic models. We present a strategy for large-scale model construction based on a logical layering of data such as reaction fluxes ...
Natalie J Stanford +5 more
doaj +1 more source
VIRTUAL SPACE: A SHIFT FROM THE SOMATIC TO THE SEMANTIC LEVEL OF DEFINITION OF THE ESSENCE
Освітній дискурс, 2021 Virtual space significantly changes the usual notions of possibility and reality. It is logical that the constants of the physical world are to some extent imitated in virtual reality, because under other conditions it is difficult to imagine the ...
Olena Yatsenko
doaj +1 more source
Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most [PDF]
, 2012 This paper proposes a way to compute the meanings associated with sentences with generic noun phrases corresponding to the generalized quantifier most. We call these generics specimens and they resemble stereotypes or prototypes in lexical semantics. The
Retoré, Christian
core +4 more sources