161.
Uma investigação acerca das regras para a negação e o absurdo em dedução natural
- Wagner de Campos Sanz
O objetivo desta tese é o de propor uma elucidação da negação e do absurdo no âmbito dos sistemas de dedução natural para as lógicas intuicionista e clássica.
162.
The Alma Project, or How First-Order Logic Can Help Us in Imperative
Programming
- Apt, Krzysztof R.; Schaerf, Andrea
The aim of the Alma project is the design of a strongly typed constraint
programming language that combines the advantages of logic and imperative
programming.
163.
A two-dimensional extension of Allen's temporal logic as an intelligent support for the solution of packing problems
- JANSSENS, Gerrit
Inland vessels move goods along canals and rivers and
they visit ports.
164.
Verifying Termination and Error-Freedom of Logic Programs with block
Declarations
- Smaus, Jan-Georg; Hill, Patricia M.; King, Andy
The verified properties are termination and freedom from errors related to
built-ins.
165.
Semantics and Termination of Simply-Moded Logic Programs with Dynamic
Scheduling
- Bossi, Annalisa; Etalle, Sandro; Rossi, Sabina; Smaus, Jan-Georg
Input-consuming derivations were introduced to describe dynamic scheduling
while abstracting from the technical details.
166.
Hypotheses Founded Semantics of Logic Programs for Information
Integration in Multi-Valued Logics
- Loyer, Yann; Spyratos, Nicolas; Stamate, Daniel
We address the problem of integrating information coming from different
sources.
167.
A Note on Extensions of Infinitary Logic
- Shelah, Saharon; Väänänen, Jouko
We show that a strong form of the so called Lindstrom's Theorem fails to
generalize to extensions of L_{kappa,omega} and L_{kappa,kappa}: For weakly
compact kappa there is no strongest extension of L_{kappa,omega} with the
(kappa,kappa)-compactness property and the Lowenheim-Skolem theorem down to
kappa.
168.
A definability theorem for first order logic
- Butz, Carsten; Moerdijk, Ieke
For any first order theory T we construct a Boolean valued
model M, in which precisely the T--provable formulas hold,
and in which every (Boolean valued) subset which is invariant
under all automorphisms of M is definable by a first order
formula.
169.
Raciocínio lógico, experiência escolar e leitura com compreensão
- Dias,Mª. da Graça Bompastor Borges
As habilidades do raciocínio silogístico usadas para alcançar conclusões e detectar incoerência em textos foram avaliadas em 30 crianças de escolas onde contar histórias e discutí-las era freqüentemente usado (Grupo Experimental) e em 30 crianças de escolas onde esta forma de atividade era escassa (Grupo Controle).
170.
Many Valued Logic -- from MathWorld
- Weisstein, Eric W.
...under construction.
171.
A Parameterised Hierarchy of Argumentation Semantics for Extended Logic
Programming and its Application to the Well-founded Semantics
- Schweimeier, Ralf; Schroeder, Michael
Argumentation has proved a useful tool in defining formal semantics for
assumption-based reasoning by viewing a proof as a process in which proponents
and opponents attack each others arguments by undercuts (attack to an
argument's premise) and rebuts (attack to an argument's conclusion).
172.
Design of UPFC Fuzzy-Logic Damping Controller Using the Strategy of Oscillation Energy Descent
- Fang, DZ; Yang, Xiaodong; Bao, Shunxian
Using the UPFC line power as the input signal, the controller can adaptively adjust the control parameters according to the magnitude of power oscillation in the UPFC line using fuzzy rules to effectively damp the power oscillation.
173.
The semilattice, box, and lattice-tensor products in quantum logic
- Ischi, Boris
Given two complete atomistic lattices L_1 and L_2, we define a set
S=S(L_1,L_2) of complete atomistic lattices by means of three axioms (natural
regarding the description of separated quantum compound systems), or in terms
of a universal property with respect to a given class of bimorphisms.
174.
The automorphism group of falsum-free product logic
- Panti, Giovanni
A few things are known, and many are unknown, on the automorphism group of
the free MV-algebra over n-1 generators.
175.
Categorical Abstract Algebraic Logic: Models of ?-Institutions
- Voutsadakis, George
An important part of the theory of algebraizable sentential logics consists of studying the algebraic semantics of these
logics.
176.
The Closed Fragment of the Interpretability Logic of PRA with a Constant for
$\mathrm{I}\Sigma_1$
- Joosten, Joost J.
We will in a sense fully determine what these theories have to say about each other in terms of provability and interpretability.
177.
Lógica y Epistemología de la Ciencia Social
- Jorge Gibert Galassi
Lógica y Epistemología de la Ciencia Social.
178.
La Lógica del Experimento como Instancia Pedagógica
- Néstor Cohen; Gabriela Gómez Rojas
La Lógica del Experimento como Instancia Pedagógica.
179.
Logic Column 17: A Rendezvous of Logic, Complexity, and Algebra
- Chen, Hubie
This article surveys recent advances in applying algebraic techniques to
constraint satisfaction problems.
180.
Evolución Humana: del azar a la lógica
- Eudald Carbonell i Roura
Vídeo de la conferencia de mismo nombre perteneciente a las III Jornadas de Antropología Biológica celebradas en la Universidad de Alicante durante el mes de Enero de 2004 y cuyo tema se centra en algunos aspectos sobre Evolución, comportamiento y cerebro.
