Results 41 to 50 of about 65,097 (137)
Anticipation as prediction in the predication of data types [PDF]
, 2009 Every object in existence has its type. Every subject in language has its predicate. Every intension in logic has its extension. Each therefore has two levels but with the fundamental problem of the relationship between the two.
Heather, Michael, Rossiter, Nick
core
Theories of truth for countable languages which conform to classical logic [PDF]
Every countable language which conforms to classical logic is shown to have an extension which has a consistent definitional theory of truth. That extension has a consistent semantical theory of truth, if every sentence of the object language is ...
Heikkilä, Seppo
core
A Galois connection between classical and intuitionistic logics. I: Syntax
, 2017 In a 1985 commentary to his collected works, Kolmogorov remarked that his 1932 paper "was written in hope that with time, the logic of solution of problems [i.e., intuitionistic logic] will become a permanent part of a [standard] course of logic.
Melikhov, Sergey A.
core
A Logic for Non-Deterministic Parallel Abstract State Machines
, 2017 We develop a logic which enables reasoning about single steps of non-deterministic parallel Abstract State Machines (ASMs). Our logic builds upon the unifying logic introduced by Nanchen and St\"ark for reasoning about hierarchical (parallel) ASMs.
A Blass +9 more
core +1 more source
Logic Programming for Describing and Solving Planning Problems
, 2000 A logic programming paradigm which expresses solutions to problems as stable models has recently been promoted as a declarative approach to solving various combinatorial and search problems, including planning problems.
Bruynooghe, Maurice
core +2 more sources
Rumfitt on truth-grounds, negation, and vagueness [PDF]
, 2018 In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively.
Zach, Richard
core
Requirement patterns in deductive verification of poST Programs
Моделирование и анализ информационных системProcess-oriented programming is one of the approaches to developing control software. A process-oriented program is defined as a sequence of processes. Each process is represented by a set of named states containing program code that define the logic of ...
Ivan M. Chernenko +2 more
doaj +1 more source
Rigid and flexible quantification in plural predicate logic [PDF]
Noun phrases with overt determiners, such as \u3ci\u3esome apples\u3c/i\u3e or \u3ci\u3ea quantity of milk\u3c/i\u3e, differ from bare noun phrases like \u3ci\u3eapples\u3c/i\u3e or \u3ci\u3emilk\u3c/i\u3e in their contribution to aspectual composition ...
Bledin, Justin +2 more
core