Results 111 to 120 of about 97,467 (324)
Hybrid Deduction–Refutation Systems
Axioms, 2019 Hybrid deduction–refutation systems are deductive systems intended to derive both valid and non-valid, i.e., semantically refutable, formulae of a given logical system, by employing together separate derivability operators for each of these and combining
Valentin Goranko
doaj +1 more source
Pons Asinorum for Classical Propositional Logic
, 2023 Contemporary Logic pays little or, even, no attention to the construction of arguments for a given conclusion, unlike what occurs in Aristotle's Prior Analytics. The procedure of Aristotle was later compiled in the form of a logical diagram known as the “Bridge of Asses” (Pons Asinorum).
openaire +1 more source
Economic Anthropology, EarlyView.ABSTRACT The khipu knotted string records in the ancient Andes were accounting systems, but they did not indicate any concepts of commensurability or exchange value. They were not incipient money; instead, monetized commerce appears to have predated the economic organization of the Inca society. The article begins by tracing the emergence of coinage in
Alf Hornborg
wiley +1 more source
Holistic Type Extension for Classical Logic via Toffoli Quantum Gate
Entropy, 2019 A holistic extension of classical propositional logic is introduced via Toffoli quantum gate. This extension is based on the framework of the so-called “quantum computation with mixed states”, where also irreversible transformations are taken
Hector Freytes +2 more
doaj +1 more source
On Axiomatic Systems for Classical Propositional Logic
, 2022 We describe selected axiomatic systems for classical propositional logic and show how Isabelle/HOL helps investigate such systems. We consider systems based on implicationand falsity, implication and negation, and disjunction and negation.
Eschen, Agnes Moesgård +1 more
openaire +1 more source
New venture team stability and long‐run organizational growth
Strategic Entrepreneurship Journal, EarlyView.Abstract Research Summary We explore the impact of new venture team (NVT) stability on long‐run organizational growth. With an instrumental variable design, we leverage a matched employer‐employee dataset of all Danish new ventures from 1981 to 1997. We find strong evidence that NVT stability has a positive effect on organizational growth in employees ...
Jerry Guo +2 more
wiley +1 more source
Temporal Truth and Bivalence: an Anachronistic Formal Approach to Aristotle’s De Interpretatione 9
Revista de Filosofia Antiga, 2023 Regarding the famous Sea Battle Argument, which Aristotle presents in De Interpretatione 9, there has never been a general agreement not only about its correctness but also, and mainly, about what the argument really is.
Luiz Henrique Lopes dos Santos
doaj
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic
International Journal of Computational Intelligence Systems, 2018 Due to the need of the logical foundation for uncertain information processing, development of efficient automated reasoning system based on non-classical logics is always an active research area.
Yang Xu +4 more
doaj +1 more source
The coevolution of board interlock networks and corporate strategic actions
Strategic Management Journal, EarlyView.Abstract Research Summary Studies on board interlock networks are divided into two streams, one examining their dynamics; the other, their consequences. We propose that both phenomena—board interlock dynamics and consequences—are interdependent. Applying structuration theory, we explain and empirically demonstrate how firms' corporate strategic actions
Steffen Triebel +2 more
wiley +1 more source
Every super-polynomial proof in purely implicational minimal logic has a polynomially sized proof in classical implicational propositional logic [PDF]
, 2015 Edward Hermann Hæusler
openalex +2 more sources