• No results found

[PDF] Top 20 Program Semantics and Classical Logic

Has 10000 "Program Semantics and Classical Logic" found on our website. Below are the top 20 most common "Program Semantics and Classical Logic".

Program Semantics and Classical Logic

Program Semantics and Classical Logic

... type logic itself then can function as a kind of universal specifi- cation language in the design of programming languages: In order to specify the intended semantics of some construct, the language ... See full document

33

Proof theoretic investigations into integrated logical and functional programming

Proof theoretic investigations into integrated logical and functional programming

... linear logic, arriving at the notion of uniform linear focused (ULF) derivations for first-order hereditary Harrop logic, in ...The semantics of a logic programming language needs to define ... See full document

187

Intuitionistic semantics and the revision of logic

Intuitionistic semantics and the revision of logic

... e program m e of g iv in g a fu ll-b lo o d ed th eo ry of m eaning for a lan gu age sin ce th e aim of su ch a th e o ry is to g iv e an accou n t of w hat it is to sp eak a la n g u a g e and it is c o n siste n ... See full document

309

Abstract: I introduce now for the first time the neutrosophic modal logic. The Neutrosophic Modal

Abstract: I introduce now for the first time the neutrosophic modal logic. The Neutrosophic Modal

... Applications of neutrosophic modal logic are to neutrosophic modal metaphysics. Similarly to classical modal logic, there is a plethora of neutrosophic modal logics. Neutrosophic modal logics is ... See full document

9

A Hybrid Intuitionistic Logic: Semantics and Decidability

A Hybrid Intuitionistic Logic: Semantics and Decidability

... the logic studied is an intuitionistic modal logic derived from IS5, and the modalities have a spatial ...for classical hybrid S5 with network-wide continuations which arise naturally from the ... See full document

35

MoL 2009 18: 
  Inquisitive Semantics and Logic

MoL 2009 18: Inquisitive Semantics and Logic

... inquisitive program we developed and I explore in this thesis couldn’t even have been entertained if it weren’t for his numerous and seminal contributions, past and present, to the study of question ...the ... See full document

50

Model checking quantum protocols

Model checking quantum protocols

... Professor Paulo Mateus at the Instituto Supérior Tecnico in Lisbon, Portugal, invited me to give a seminar for the Security and Quantum Information Group (SQIG) in November . Not only did this give me the opportunity ... See full document

169

SRC TN 1997 025A pdf

SRC TN 1997 025A pdf

... operational semantics for the commands, and a soundness theorem linking the type system with the operational ...axiomatic semantics is ...axiomatic semantics, this paper, like the paper describing ... See full document

38

Observed communication semantics for classical processes

Observed communication semantics for classical processes

... reduction semantics does not; ii) establishing a theory of observational equivalence for CP resolves the status of the ( Cut )-elimination rules on non-principal cuts by reading them as observational equivalences; ... See full document

27

MoL 2009 11: 
  Inquisitive Semantics and Intermediate Logics

MoL 2009 11: Inquisitive Semantics and Intermediate Logics

... in classical logic such that the normal form of each formula contains only negations and conjunctions, and denote by ϕ nf the normal form of a formula ϕ; we ... See full document

128

Hyperfine-Grained Meanings in Classical Logic

Hyperfine-Grained Meanings in Classical Logic

... world semantics’ for modal logic in which the interchangeability property ...a logic in the strict sense, but I think that its main underlying idea, the idea that we can use ‘impossible’ worlds to ... See full document

18

INCORPORATION OF NEGOTIATION PROCESS INTO AN E COMMERCE PLATFORM TO INCREASE SALES

INCORPORATION OF NEGOTIATION PROCESS INTO AN E COMMERCE PLATFORM TO INCREASE SALES

... and classical logic methods (see Table 2), we found the total number of students with the “low” level in Diploma Program in Computer and Network Engineering, Engineering Academy of Kupang, and ... See full document

10

Being coherently vague : the logic and metaphysics of vagueness

Being coherently vague : the logic and metaphysics of vagueness

... Vagueness on this account presents no challenge to orthodox semantics or logic; the sorites paradox has a solution which leaves classical logic intact The widespread view that vagueness [r] ... See full document

9

Logic program specialisation through partial deduction: Control Issues

Logic program specialisation through partial deduction: Control Issues

... a program P can be replaced by a partial deduction of A in P and that both programs are equivalent with re- spect to queries which are constructed from instances of atoms in ...completion semantics as the ... See full document

56

Symmetry breaking in a new stable model search method

Symmetry breaking in a new stable model search method

... define semantics for logic ...first semantics had been proposed by Clark [8]. This semantics is used in several ASP solvers, but the most known semantics in ASP is the one of stable ... See full document

17

MoL 2008 07: 
  Multi Player Logics

MoL 2008 07: Multi Player Logics

... propositional logic are developed, whose semantics is de- scribed not by a two-player, but by a three-player ...of logic has a natural semantics in multi-player games? The two papers share the ... See full document

82

A logical approach to A-Prolog

A logical approach to A-Prolog

... itionistic logic as follows: a literal is entailed by a program in the stable model semantics if and only if it belongs to every intuitionistically complete and con- sistent extension of the ... See full document

12

On the Proper Treatment of Quantifiers in Probabilistic Logic Semantics

On the Proper Treatment of Quantifiers in Probabilistic Logic Semantics

... language semantics are becoming more fine-grained, like Textual Entailment (Dagan et ...by logic-based ...of logic-based ...probabilistic logic (Nilsson, ... See full document

11

A Distributed Kripke Semantics

A Distributed Kripke Semantics

... the logic can also be used to reason about distribution of resources in addition to serving as the foundation of a type ...the logic as a tool to reason about distributed ...Kripke-style semantics ... See full document

32

Locality, probability and quantum mechanics

Locality, probability and quantum mechanics

... principle of complementarity, have quantum probability more or less forced upon them. Here my goal has been somewhat different: to investigate the role of quantum probability in modelling the "complementarity" ... See full document

153

Show all 10000 documents...