Results 11 to 20 of about 67,438 (158)

Some consequence relations on propositional formulas [PDF]

Serbian Journal of Electrical Engineering, 2011
Consequence relations on propositional formulas are binary relations on propositional formulas that represent certain types of entailment - formal or semi-formal derivation of conclusion from a certain set of premises.
Borovčanin Momčilo
doaj   +1 more source

Locating Logical Necessity in Models or the Nature of Situations

Problemos
Logical necessity is a pivotal notion in accounting for logical consequence, while the source of logical necessity is not widely discussed. In this article I bring to attention one peculiar phenomenon that not only the model-theoretic tradition, but ...
Xianrui Liu
doaj   +3 more sources

Gómez-Torrente on Modality and Tarskian Logical Consequence

Theoria, 2010
...
Manuel García-Carpintero
doaj   +1 more source

Logical Consequence and the Theory of Games

Philosophia Scientiæ, 2004
Logical notions of consequence have frequently been related to game-theoretical solution concepts. The correspondence between a formula being classically valid and the existence of a winning strategy for a player in a related two-person game, has been ...
Paul Harrenstein
doaj   +1 more source

A Structural Characterization of Extended Correctness-Completeness in Classical Logic

Crítica, 2019
In this paper I deal with first order logic and axiomatic systems. I present the metalogical results that show the property of satisfying Modus Ponens as a necessary and sufficient condition for the extended completeness of the system, and to the ...
José Alfredo Amor
doaj   +1 more source

Basic Four-Valued Systems of Cyclic Negations

Bulletin of the Section of Logic, 2022
We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation within this four valued semantics as
Oleg Grigoriev, Dmitry Zaitsev
doaj   +1 more source

Tarski on Logical Consequence

Notre Dame Journal of Formal Logic, 1996
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Analysis of Logical Consequence in Islamic Logic, and its Compatibility with Metaphysical Realism [PDF]

حکمت سینوی
The relationship of logical consequence can be understood through at least two primary perspectives: proof-theoretic and model-theoretic. From a proof-theoretic standpoint, the existence of a proof that derives a conclusion from premises indicates that ...
Hamid Alaeinejad
doaj   +1 more source

Aggregation for quality management [PDF]

Yugoslav Journal of Operations Research, 2006
The problem relevant for quality management such as aggregation of many features into one representative is analyzed. Actually, in quality management practice, standard approaches to aggregation are often trivial and as a consequence - inadequate.
Mirković Marko, Hodolič Janko, Radojević Dragan   +2 more
doaj   +1 more source

Torn Between the Contours of Logic: Exploring Logical Normativity in Islamic Philosophical Theology

European Journal of Analytic Philosophy, 2022
Western contemporary logic has been used to advance the field of Islamic philosophical theology, which historically utilised Aristotelian-Avicennian logic, on grounds of there being an inherent normativity in logic.
Abbas Ahsan, Marzuqa Karima
doaj