Results 311 to 320 of about 8,779,065 (357)

Continuous logic – II. Main generalizations

Kybernetes, 2000
Outlines the basic results in the generalization of continuous‐valued logic. The survey is based on Russian publications. We consider an order logic, which is a generalization of continuous‐valued logic where operations of maximum selection (disjunction) and minimum selection (conjunction) are substituted with operation of selection of rth order ...
openaire   +2 more sources

The well-founded semantics for general logic programs

JACM, 1991
A. V. Gelder, K. A. Ross, J. Schlipf
semanticscholar   +1 more source

General Logic

Monist, 1932
Jesse V. Mauzey, Ralph M. Eaton
openaire   +2 more sources

Generalizations of the Continuous Logic

Automation and Remote Control, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Generating schematic logic

1996
The process structure, together with the conditions and operations that have been allocated, is converted into schematic logic. Keywords are used to identify each of the constructs.
openaire   +1 more source

Generative logic in digital design

Automation in Construction, 2003
Abstract This exploration of early-stage, architectural design pedagogy is a record of an ongoing transformation underway in architecture from the art of geometry of space to the art of geometry of space–time. A selected series of student experiments, from 1992 to the present, illustrates this transformation from Pythagorean concepts of mathematics ...
openaire   +1 more source

Coherence as Generalized Logical Equivalence

Erkenntnis, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Programming by Combining General Logic Programs

Journal of Logic and Computation, 1997
Antonio Brogi, S. Contiero, F. Turini
semanticscholar   +1 more source

General Intensional Logic

1984
Intensional logic is that part of logic which treats inferences involving meanings or identities of meanings in some strict sense. The contrast is with extensional logic which requires for the statement and justification of its general principles only such concepts as truth and falsity, identity and difference of truth-values (of sentences or ...
openaire   +1 more source

A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics

New generation computing, 1990
F. Fages
semanticscholar   +1 more source