Results 221 to 230 of about 68,199 (256)
Some of the next articles are maybe not open access.
Logical Consequence in Avicenna’s Theory
Logica Universalis, 2018An in-depth look at Avicenna's notion of logical consequence, mostly in the context of syllogism (Avicenna's syllogism, however, ``is much wider than the Aristotelian kind of syllogisms, because it can be both categorical and hypothetical, and can contain all kinds of propositions, from conditional and conjunctive ones to several kinds of disjunctive ...
openaire +2 more sources
Logical Pluralism and Logical Consequence
2023Logical pluralism is the view that there is more than one correct logic. This is not necessarily a controversial claim but in its most exciting formulations, pluralism extends to logics that have typically been considered rival accounts of logical consequence – to logics, that is, which adopt seemingly contradictory views about basic logical laws or ...
openaire +1 more source
Hypersequents, logical consequence and intermediate logics for concurrency
Annals of Mathematics and Artificial Intelligence, 1991zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Reduction and Tarski's Definition of Logical Consequence
Notre Dame Journal of Formal Logic, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
exaly +3 more sources
The Consequents Of Organizer Ecologies: A Logical Formalization
Academy of Management Review, 2009We apply insights from the burgeoning literature on pre-entry ecologies to make sense of empirical anomalies in tests of density delay theory. Using logical formalization, we synthesize arguments of both theory fragments into a single, logically sound framework.
Kuilman, Jeroen G. +2 more
openaire +3 more sources
The logical consequence relation of propositional tense logic
Mathematical Logic Quarterly, 1975AbstractThis work concerns the model theory of propositional tense logic with the Kripke relational semantics. It is shown (i) that there is a formula y whose logical consequences form a complete II set, and (ii) that for 0 ≦ m < ω+ ω there are formulas γm such that all models of γm are isomorphic and have cardinality xm, where x0 = χ0, xm+1 = 2xm ...
openaire +2 more sources
2005
AbstractThis chapter explores the concept of logical consequence and defends logical pluralism. Logic, in the core tradition, involves the study of formal languages. However, the primary aim is to consider such languages as interpreted: languages which may be used either directly to make assertions and denials, or to analyse natural languages.
openaire +1 more source
AbstractThis chapter explores the concept of logical consequence and defends logical pluralism. Logic, in the core tradition, involves the study of formal languages. However, the primary aim is to consider such languages as interpreted: languages which may be used either directly to make assertions and denials, or to analyse natural languages.
openaire +1 more source
On the Semantic Concept of Logical Consequence
2020In this paper, we give a groundwork for the foundations of the semantic concept of logical consequence. We first give an opinionated survey of recent discussions on the model-theoretic concept, in particular Etchemendy’s criticisms and responses, alluding to Kreisel’s squeezing argument.
openaire +1 more source
Tarski on truth and logical consequence
The Journal of Symbolic Logic, 1988Tarski's writings on the concepts of truth and logical consequence rank among the most influential works in both logic and philosophy of the twentieth century. Because of this, it would be impossible to give a careful and accurate account of how far that influence reaches and of the complex route by which it spread.
openaire +1 more source
On The Computational Consequences of Independence in Propositional Logic
Synthese, 2006zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources