Results 301 to 310 of about 8,779,065 (357)

Logical Mistakes, Logical Aliens, and the Laws of Kant’s Pure General Logic

Mind, 2018
There are two ways interpreters have tended to understand the nature of the laws of Kant’s pure general logic. On the first, these laws are unconditional norms for how we ought to think, and will govern anything that counts as thinking.
Tyke Nunez
semanticscholar   +1 more source

Symmetric Generalized Galois Logics

Logica Universalis, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bimbó, Katalin, Dunn, J. Michael
openaire   +1 more source

Minimally Generated Abstract Logics

Logica Universalis, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lewitzka, Steffen, Brunner, Andreas B. M.   +1 more
openaire   +1 more source

Kleene's Logic, Generalized

Journal of Logic and Computation, 1991
Summary: Kleene's well-known strong three-valued logic is shown to be one of a family of logics with similar mathematical properties. These logics are produced by an intuitively natural construction. The resulting logics have direct relationships with bilattices.
openaire   +1 more source

Against logical generalism

Synthese, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nicole Wyatt, Gillman Payette
openaire   +2 more sources

Stability and General Logics

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

General Logics and Logical Frameworks

1994
Abstract 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

Generalized Possibilistic Logic

2011
Usual propositional possibilistic logic formulas are pairs made of a classical logic formula associated with a weight thought of as a lower bound of its necessity measure. In standard possibilistic logic, only conjunctions of such weighted formulas are allowed (a weighted classical conjunction is equivalent to the conjunction of its weighted conjuncts,
Didier Dubois, Henri Prade
openaire   +1 more source

Generative Grammars in Resource Logics

Research on Language and Computation, 2004
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Retoré, Christian, Stabler, Edward
openaire   +1 more source

General Dynamic Logic

1994
Abstract A ‘logical system’ is a complex architecture for analysing one or more styles of reasoning. This paper approaches this notion by example, focussing on current ‘dynamic’ conceptions of logic, as being concerned both with declarative propositions and with cognitive procedures of update, revision, etc.
openaire   +3 more sources