Results 241 to 250 of about 1,788,157 (286)
Some of the next articles are maybe not open access.
Mathematical Logic Quarterly, 1999
AbstractIn this paper we make an attempt to study classes of models by using general logics. We do not believe that Lww is always the best logic for analyzing a class of models. Let K be a class of models and L a logic. The main assumptions we make about K and C are that K has the L‐amalgamation property and, later in the paper, that K does not omit L ...
openaire +2 more sources
AbstractIn this paper we make an attempt to study classes of models by using general logics. We do not believe that Lww is always the best logic for analyzing a class of models. Let K be a class of models and L a logic. The main assumptions we make about K and C are that K has the L‐amalgamation property and, later in the paper, that K does not omit L ...
openaire +2 more sources
Symmetric Generalized Galois Logics
Logica Universalis, 2009zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Katalin Bimbó, J. Michael Dunn
openaire +1 more source
Generalizations of the Continuous Logic
Automation and Remote Control, 2001zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
General Logics and Logical Frameworks
1994Abstract This chapter summarizes a theory of general logics first introduced in [39], in which different aspects, or components, of a logic such as its entailment relation, its proof theory, and its model theory are axiomatized. For the model-theoretic component, the theory of institutions of Goguen and Burstall [24] is adopted ...
Narciso Martí-Oliet, José Meseguer
openaire +1 more source
On logics and semantics for general logic programs
1997We suggest a general logical formalism for Logic Programming (called a biconsequence relation) based on a four-valued inference. We show that it forms a proper setting for representing logic programs of a most general kind and for describing logics and semantics that characterize their behavior.
openaire +1 more source
Functional Interpretation of Logics for ‘Generally’
Logic Journal of IGPL, 2004Summary: Logics for `generally' are intended to express some vague notions, such as `generally', `several', `many', `most', etc., by means of the new generalized quantifier \(\nabla\) and to reason about assertions with `generally' (important issues in qualitative reasoning).
Paulo A. S. Veloso, Sheila R. M. Veloso
openaire +2 more sources
A Note on Logicality of Generalized Quantifiers
Logica Universalis, 2021This note follows up an earlier paper in which a possibility of defining logical constants within abstract logical frameworks was discussed, by using duals as a general method of applying the idea of invariance under replacement as a criterion for logicality.
openaire +2 more sources
Minimally Generated Abstract Logics
Logica Universalis, 2009zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Steffen Lewitzka +1 more
openaire +1 more source
Composing general logic programs
1997The program composition approach can be fruitfully applied to combine general logic programs, i.e. logic programs possibly containing negative premises. We show how the introduction of a basic set of (meta-level) composition operations over general programs increases the knowledge representation capabilities of logic programming for non-monotonic ...
BROGI, ANTONIO +2 more
openaire +2 more sources
2005
The Generic Logic Environment described here is designed to manipulate sequent-based presentations of logical systems. This note outlines its characteristics and facilities, and gives a flavour of its utility.
openaire +1 more source
The Generic Logic Environment described here is designed to manipulate sequent-based presentations of logical systems. This note outlines its characteristics and facilities, and gives a flavour of its utility.
openaire +1 more source