Results 251 to 260 of about 59,882 (275)

A Correspondence Between Variable Relations And Three-Valued Propositional Logic

International Journal of Computer Mathematics, 1995
Herein, relations are generalised to variable length tuple relations (variabe relations) wherein tuples are allowed to be of variable length. We define the concept of a functional dependency (FD) holding in variable relations and present a sound and complete axiom system for them.
Mark Levene, George Loizou
openaire   +1 more source

'The general propositional form is a variable' (Tractatus 4.53)

Mind, 2004
Wittgenstein presents in the Tractatus a variable purporting to capture the general form of proposition. One understanding of what Wittgenstein is doing there, an understanding in line with the 'new' reading of his work championed by Diamond, Conant and others, sees it as a deflationary or even an implosive move a move by which a concept sometimes put ...
openaire   +1 more source

On non-local propositional and local one-variable quantified CTL*

Proceedings Ninth International Symposium on Temporal Representation and Reasoning, 2003
We prove decidability of 'non local' propositional CTL*, where truth values of atoms may depend on the branch of evaluation. This result is then used to show decidability of the 'weak' one-variable fragment of first-order (local) CTL*, in which all temporal operators and path quantifiers except 'tomorrow' are applicable only to sentences.
S. Bauer, I. Hodkinson, F. Wolter, M. Zakharyaschev   +3 more
openaire   +1 more source

On formulas of one variable in intuitionistic propositional calculus

Journal of Symbolic Logic, 1960
McKinsey and Tarski [3] described Gödel's proof that the number of Brouwerian-algebraic functions is infinite. They gave an example of a sequence of infinitely many distinct Brouwerian-algebraic functions of one argument, which means that there are infinitely many non-equivalent formulas of one variable in the intuitionistic propositional calculus LJ ...
openaire   +2 more sources

Multiple propositions, contextual variability, and the semantics/pragmatics interface

Synthese, 2012
A ‘multiple-proposition (MP) phenomenon’ is a putative counterexample to the widespread implicit assumption that a simple indicative sentence (relative to a context of utterance) semantically expresses at most one proposition. Several philosophers and linguists (including Stephen Neale and Chris Potts) have recently developed hypotheses concerning this
openaire   +1 more source

Explaining the Variable Utility of Disjointed Incrementalism: Four Propositions

American Political Science Review, 1980
Much of mainstream organization theory has been concerned with the implications for organizational design and policy process of high levels of uncertainty or complexity in task environments. Decentralization, disjointed incrementalist decision strategies, and quasi-market coordinative mechanisms have been advanced as rational responses to the ...
openaire   +1 more source

Natural language processing using a propositional semantic network with structured variables

Minds and Machines, 1993
We describe a knowledge representation and inference formalism, based on an intensional propositional semantic network, in which variables are structures terms consisting of quantifier, type, and other information. This has three important consequences for natural language processing. First, this leads to an extended, more “natural” formalism whose use
Syed S. Ali, Stuart C. Shapiro
openaire   +1 more source

Formulas of One Propositional Variable in Intuitionistic Arithmetic

1982
The present paper circulated originally as Report 73–03, Department of Mathematics, University of Amsterdam. A brief account of its contents is given in Troelstra (1973, 3.1.14–18 and 5.3.20). Since the paper has been referred to repeatedly in the literature, the editors thought it worthwhile to publish the paper in the present volume.
openaire   +1 more source

A note on decidability of variables in intuitionistic propositional logic

Mathematical Logic Quarterly, 2018
AbstractAn answer to the following question is presented: given a proof in classical propositional logic, for what small set of propositional variables p does it suffice to add all the formulae to Γ in order to intuitionistically prove A? This answer is an improvement of Ishihara's result for some cases.
openaire   +1 more source

Violation of the Quantum Ordering of Propositions in Hidden-Variable Theories

Journal of Mathematical Physics, 1968
A general definition of hidden-variable theories in terms of the dual structure of states and propositions is proposed. As a consequence of a theorem due to Zierler and Schlessinger, this definition implies a violation of the quantum ordering of propositions in the corresponding hidden-variable theory.
openaire   +1 more source