Results 61 to 70 of about 209,396 (188)
Bounded Quantifier Instantiation for Checking Inductive Invariants
, 2019 We consider the problem of checking whether a proposed invariant $\varphi$ expressed in first-order logic with quantifier alternation is inductive, i.e. preserved by a piece of code.
Feldman, Yotam M. Y. +4 more
core +1 more source
Ergo, An Open Access Journal of PhilosophyLogical inferentialism is the view that the meaning of logical constants is implicitly defined by the operational rules that govern their behaviour in proofs—particularly in sequent calculus proofs, according to an increasingly dominant tendency.
Bogdan Dicher, Francesco Paoli
doaj +2 more sources
, 2016 [Abridged abstract] The goal is to give structural proof-theoretical analyses of logical constants, and thereby provide a criterion for what a logical constant is. Another goal is to illustrate the thesis that structural assumptions of logic are basic and that alternative logics (later called substructural logics) differ from each other only in their ...
Dosen, K, Dosen, Kosta
openaire +1 more source
O spójności (hiper)syntaktycznej i fraktalach
Stylistyka, 2010 The text consists of two parts: the first is longer and concems the much discussed links between the grammar of natural language and logie, the second - the existence o f surprising geometrical objects called fractals.
Anna Pietryga
doaj
Build your own clarithmetic I: Setup and completeness
, 2016 Clarithmetics are number theories based on computability logic (see http://www.csc.villanova.edu/~japaridz/CL/ ). Formulas of these theories represent interactive computational problems, and their "truth" is understood as existence of an algorithmic ...
Japaridze, Giorgi
core +1 more source
Philosophia Scientiæ, 2004 Hintikka makes a distinction between two kinds of games: truthconstituting games and truth-seeking games. His well-known game-theoretical semantics for first-order classical logic and its independence-friendly extension belongs to the first class of ...
Denis Bonnay
doaj +1 more source
Semantics and Ontology:\ud On the Modal Structure of an Epistemic Theory of Meaning [PDF]
, 2003 In this paper I shall confront three basic questions.\ud First, the relevance of epistemic structures, as formalized\ud and dealt with by current epistemic logics, for a\ud general Theory of meaning. Here I acknowledge M.
Tabet, Chiara
core
Концепт: философия, религия, культура, 2019 The target of research is the structuralist and poststructuralist paradigm of describing and explaining cultural constants through binary or ternary semiotic codes. The author’s hypothesis, based on anthropological theories of V. Turner and Cl.
I. P. Davydov
doaj +1 more source
Logical constants across varying types.
Notre Dame Journal of Formal Logic, 1989 We investigate the notion of «logicality» for arbitrary categories of linguistic expression, viewed as a phenomenon which they can all possess to a greater or lesser degree. Various semantic aspects of logicality are analyzed in technical detail: in particular, invariance for permutations of individual objects, and respect for Boolean structure.
openaire +4 more sources
Czy fizyczne teorie efektywne są wiarygodną strategią osiągnięcia teorii finalnej?
Zagadnienia Filozoficzne w Nauce, 2020 The paper presents the methodology of effective theories as a strategy used in the process of development of modern physics to reach a final theory. We present the definition and characteristic features of an effective theory, as well as the answer to ...
Marek Szydłowski, Paweł Tambor
doaj